{"entities":{"Q7255382":{"pageid":24617810,"ns":120,"title":"Item:Q7255382","lastrevid":84858233,"modified":"2026-06-02T14:50:57Z","type":"item","id":"Q7255382","labels":{"en":{"language":"en","value":"Witnesses for non-satisfiability of dense random 3CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8205700"}},"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":"Q7255382$8A0ED27C-316B-4D70-A99E-60288D7CA3AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff22f040b3e458d344c822b14454b58c99219530","datavalue":{"value":{"text":"Witnesses for non-satisfiability of dense random 3CNF formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7255382$0C568DEE-34ED-445F-8867-F674582365C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4ceee707194fe991e963d1728b5b9114ba4e4c5","datavalue":{"value":"10.1109/FOCS.2006.78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7255382$173B4DF9-A355-4F6F-A100-3E9182F48357","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbe35cb61496fa8363dcdb2d9d3a4d54bbef6e2","datavalue":{"value":{"entity-type":"item","numeric-id":6480586,"id":"Q6480586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255382$597D6642-1895-4992-864C-921AF7A3B294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60f6f958ccf9cd09e9d31c01a086fcdad421f3cb","datavalue":{"value":{"entity-type":"item","numeric-id":178483,"id":"Q178483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255382$C09DCE7D-FF6E-4768-A20C-D74D2311BCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b898dfd7f2ad1ed276613fd2916a9e9734ecb566","datavalue":{"value":{"entity-type":"item","numeric-id":3002777,"id":"Q3002777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255382$0A5DD2CA-678E-4BBF-888F-A65B83A9DDA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eed00f8a15e6ee04c7dcccc98e92c47d66129d07","datavalue":{"value":{"time":"+2026-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7255382$EC64C7ED-60AF-4F33-A90F-C37D47136694","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7255382$F64962C1-CC8A-408A-8633-30197F1E086C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b0a6973ac5be2b5b792774ef56422a8ae7456ed","datavalue":{"value":"8205700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7255382$48367EDF-CE2F-4121-A4B7-C9DE2E299CA3","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":"Q7255382$0FADD02A-2D30-49FD-8448-6B92EAAB36E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Witnesses for non-satisfiability of dense random 3CNF formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Witnesses_for_non-satisfiability_of_dense_random_3CNF_formulas"}}}}}