awgldk
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Q58001606-5266B1FD-B190-41FF-A6F7-E6E95F0E5618
Q58001606-5266B1FD-B190-41FF-A6F7-E6E95F0E5618
BestRank
Statement
http://www.wikidata.org/entity/statement/Q58001606-5266B1FD-B190-41FF-A6F7-E6E95F0E5618
Simplest randomK-satisfiability problem
P2860
Q58001606-5266B1FD-B190-41FF-A6F7-E6E95F0E5618
BestRank
Statement
http://www.wikidata.org/entity/statement/Q58001606-5266B1FD-B190-41FF-A6F7-E6E95F0E5618
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
6168c4ebb551b3c2b5c0106b64d39da915138592
P2860
A linear-time algorithm for testing the truth of certain quantified boolean formulas