awgldk
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
1
Q29394502-C26979AF-6DAC-48C9-80BA-E7F89212CB0E
Q29394502-C26979AF-6DAC-48C9-80BA-E7F89212CB0E
BestRank
Statement
http://www.wikidata.org/entity/statement/Q29394502-C26979AF-6DAC-48C9-80BA-E7F89212CB0E
A linear-time algorithm for testing the truth of certain quantified boolean formulas
P2093
Q29394502-C26979AF-6DAC-48C9-80BA-E7F89212CB0E
BestRank
Statement
http://www.wikidata.org/entity/statement/Q29394502-C26979AF-6DAC-48C9-80BA-E7F89212CB0E
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
1ffcc0432b03714f5ab1806b35b1bc97fd36d133
P1545
2
http://www.w3.org/2001/XMLSchema#string
P2093
Michael F. Plass
http://www.w3.org/2001/XMLSchema#string