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
Q57001444-5FF4BDD5-98D8-47A2-92AE-E141D346F610
Q57001444-5FF4BDD5-98D8-47A2-92AE-E141D346F610
BestRank
Statement
http://www.wikidata.org/entity/statement/Q57001444-5FF4BDD5-98D8-47A2-92AE-E141D346F610
A variant of the Kochen-Specker theorem localising value indefiniteness
P2860
Q57001444-5FF4BDD5-98D8-47A2-92AE-E141D346F610
BestRank
Statement
http://www.wikidata.org/entity/statement/Q57001444-5FF4BDD5-98D8-47A2-92AE-E141D346F610
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
751acf43bd175dbe3ea4ce726eaac58748d69366
P2860
Two simple proofs of the Kochen-Specker theorem