{"entities":{"Q2939527":{"pageid":2950247,"ns":120,"title":"Item:Q2939527","lastrevid":85259225,"modified":"2026-06-03T06:32:10Z","type":"item","id":"Q2939527","labels":{"en":{"language":"en","value":"Refuting random 3CNF formulas in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6389557"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2939527$BDA6DFB9-2BBC-46F0-9E0F-15B9BA5D1875","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1687a040758ceba57b8859c29174f62f933fa503","datavalue":{"value":"1320.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939527$FDD0FE8A-2697-475B-8621-82FF3B5FBB64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bb6c16b18fb3fcb7c20a96f2fcd94ae71f0f929","datavalue":{"value":{"time":"+2015-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2939527$3B894762-548B-4FA2-B563-745F9A12EFB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939527$E0A14ADE-4120-4699-8943-D352216E11E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939527$5F4619C1-AE8B-4D75-AF2F-4FDD9AFD0C42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"765b791b276e4cb9c4f66ef36fb23442bcf3a6a9","datavalue":{"value":"6389557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939527$D938025F-1A9D-4EA5-B74C-40A2A1BED144","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cef20d1c7d4ab35bb020672673801b13884b74ab","datavalue":{"value":"random 3CNF refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939527$3C6BB797-4A2D-479A-8D18-757ECBA76C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b776b88c5e028a6ae98f4a6f5ff1a9ecbcab20fc","datavalue":{"value":"random 3CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939527$F6B73064-0228-469B-8788-36BDF3F999B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454c79744b91c35bd2f7b6bdc612fa8b575147fd","datavalue":{"value":"\\(\\mathrm{TC}^0\\)-Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939527$45B39149-090F-4539-8597-3E3AF373D3E4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2939527$E1627AD5-289D-49A0-9DAD-70A4B21B0791","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72ebd5ba42a7b350c8370f88997b631f6111f57","datavalue":{"value":{"entity-type":"item","numeric-id":741088,"id":"Q741088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db860470005c244a0cde436cee8f8c1447b26de","datavalue":{"value":{"amount":"+0.9824374318122864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939527$E9E322B6-ED9E-4AC8-B4D9-4EA2E7AF61EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad17e3776099c6bc73b43c18ae884fd06a6b03","datavalue":{"value":{"entity-type":"item","numeric-id":2986826,"id":"Q2986826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52604c87fd505634402ace32828c828f782311d","datavalue":{"value":{"amount":"+0.980327308177948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939527$2E578470-B28B-491C-8640-52932230153F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8a9635fbb364cca9516f92e620ee63245068d6","datavalue":{"value":{"entity-type":"item","numeric-id":3002778,"id":"Q3002778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b66af47befe9ad997190e6ff951a9c64870faf","datavalue":{"value":{"amount":"+0.8670914769172668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939527$E7FC21D7-D53B-4F8B-AA02-EB4DBA936EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6d27e9c44e51cd9b30063f611cd0352e58336a","datavalue":{"value":{"entity-type":"item","numeric-id":4542576,"id":"Q4542576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c9e3aa70423ba0f6be6eca23f1f07f42a568f6","datavalue":{"value":{"amount":"+0.8557358384132385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939527$99C5C2F9-06C7-43F2-8101-C070C6DF5326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5521b9b35c9d8f6ddc180172455f875701913f3","datavalue":{"value":{"entity-type":"item","numeric-id":5167811,"id":"Q5167811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c9e3aa70423ba0f6be6eca23f1f07f42a568f6","datavalue":{"value":{"amount":"+0.8557358384132385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939527$B6C20480-DFBB-422E-8B6A-ADCD525EE48B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refuting random 3CNF formulas in propositional logic","badges":[]}}}}}