thesis-toulmin
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
2
2
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
P2159-CAC2F486-C874-41BB-91DE-322DE5577B4D
P2159-CAC2F486-C874-41BB-91DE-322DE5577B4D
BestRank
Statement
http://www.wikidata.org/entity/statement/P2159-CAC2F486-C874-41BB-91DE-322DE5577B4D
solves
P1855
P2159-CAC2F486-C874-41BB-91DE-322DE5577B4D
BestRank
Statement
http://www.wikidata.org/entity/statement/P2159-CAC2F486-C874-41BB-91DE-322DE5577B4D
rank
NormalRank
type
BestRank
Statement
P2159
boolean satisfiability problem
P1855
DPLL algorithm