{"entities":{"Q2942635":{"pageid":2953355,"ns":120,"title":"Item:Q2942635","lastrevid":85119569,"modified":"2026-06-03T05:56:59Z","type":"item","id":"Q2942635","labels":{"en":{"language":"en","value":"A short implicant of a CNF formula with many satisfying assignments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6480920"}},"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":"Q2942635$EE7F4E4E-656D-4C12-884B-2668B4C42B7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9da727acdbe95f416e5b8010f48e9cda78025e7","datavalue":{"value":{"text":"A Short Implicant of a CNF Formula with Many Satisfying Assignments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942635$3BF7DC3C-58B7-4C60-A8F8-14482214EC2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a68dee05184577e4a9b571fe1115190cb157a71","datavalue":{"value":"1351.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942635$8521CDAF-BC9A-464E-8AA0-4A1B9408C3D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71ad073189d69218604ff3664a0f5ed9dece7c67","datavalue":{"value":"10.1007/978-3-319-13075-0_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942635$CBEC34F8-E367-44A1-93AC-B337EB3771E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbaf5a4d530e6a191750a8553ce21ff0b2b9bbf1","datavalue":{"value":{"entity-type":"item","numeric-id":289683,"id":"Q289683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942635$9D1A3872-1FA5-4E56-9D36-4DCAC2E7C1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9977966a206c32ef4456e9d3d93668d79c9cf98","datavalue":{"value":{"entity-type":"item","numeric-id":354651,"id":"Q354651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942635$63A7AB59-C52B-433F-B95C-D2C8CE5D802A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1f23f6c685108e278a483090ddf4cef029237a5","datavalue":{"value":{"entity-type":"item","numeric-id":2729094,"id":"Q2729094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942635$96DB2FEE-7088-412C-BD5E-6DB925F83410","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942635$D91265F9-7F42-4E8D-89C2-B41705910524","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3fd062337706120202d7ee3b1ef8f717c6ae65c","datavalue":{"value":"http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100715512","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942635$EAC8FA68-C088-4799-8EB0-D77C75042F53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942635$8D861037-2CF6-42A5-B2DA-22185B9A008D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942635$C5A73079-45CB-49B1-B0A7-BD55B4A7B92D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e75ce060455bbacff68febec813820e0baa7e497","datavalue":{"value":"6480920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942635$B60FBB42-C5DA-4AAD-8F76-858876BB68CE","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":"Q2942635$2DA7CB41-C64B-46D8-96EE-B170E4ADE4F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e46228aa9650f418268356adba00f72c8893ae4","datavalue":{"value":"W297482899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942635$5777F96F-30CD-4AAA-8A9B-8D0455A12CF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942635$3105524A-A26C-4F05-8025-62684B001FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e29d43c9efe277a57c06ffdcaf98fb64c2b44cc","datavalue":{"value":{"entity-type":"item","numeric-id":5417683,"id":"Q5417683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942635$818DB5B1-B84C-46A1-9E4C-0E617F5B0BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d44d594158b46d7626257750a29857255d94a89","datavalue":{"value":{"entity-type":"item","numeric-id":3588430,"id":"Q3588430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942635$A6484F9D-ED1D-4BFE-9C52-DCC98D0260DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29468871e34a4fe2bd19bedb1b1bd4542771e2d2","datavalue":{"value":{"entity-type":"item","numeric-id":4380447,"id":"Q4380447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942635$7835D795-09E0-4C10-93C4-5833BC4BB54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afd6af18f6b3e851b76214fa76a694c5f4b58bc","datavalue":{"value":{"entity-type":"item","numeric-id":5172728,"id":"Q5172728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942635$C2A39ADA-C4EB-41D4-86F6-C862DBC17639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d06f971812093fe6317243e078dd346e71338f6","datavalue":{"value":{"entity-type":"item","numeric-id":3578191,"id":"Q3578191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942635$DCDE2852-E74E-4D6A-A688-B92F73F7AB62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d755cbcea9ea1530e84cf28bed7a4adc673ad0","datavalue":{"value":{"entity-type":"item","numeric-id":727982,"id":"Q727982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8058315d678e29b88071fa43c25911d670901f2","datavalue":{"value":{"amount":"+0.9987441897392272","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":"Q2942635$1510B0DA-903B-45CD-9310-1786150C46E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692cbe50a2c080af0831461ddcdf939a6eb30321","datavalue":{"value":{"entity-type":"item","numeric-id":4380447,"id":"Q4380447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5c3115f05afc8779cb2c16fa7690dc3c4ef483","datavalue":{"value":{"amount":"+0.8323356509208679","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":"Q2942635$9051879A-2878-40C5-8CAB-CCA98D8856A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e764e3d1332b136924b1d17cbe317eb3813977a","datavalue":{"value":{"entity-type":"item","numeric-id":2309479,"id":"Q2309479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5c3115f05afc8779cb2c16fa7690dc3c4ef483","datavalue":{"value":{"amount":"+0.8323356509208679","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":"Q2942635$A040C971-DC9D-4458-9BFF-5B2829B66500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26de0a16565dd484a4cfbfeb2a8ea142008f1680","datavalue":{"value":{"entity-type":"item","numeric-id":1285568,"id":"Q1285568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebb3ba071b54e17e6a73f2af994a58d3b2b0002","datavalue":{"value":{"amount":"+0.8252209424972534","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":"Q2942635$9B44657A-4D3D-4516-BAFC-653E4184E033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce923eacc97dcf52d2ee2c6ad6cb58dbda7f936","datavalue":{"value":{"entity-type":"item","numeric-id":3576756,"id":"Q3576756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65a087d835746ad94cefeedf0de3c79582a130c","datavalue":{"value":{"amount":"+0.8098641037940979","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":"Q2942635$CDDC96AF-B02A-40AF-BB3B-7060431A2500","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A short implicant of a CNF formula with many satisfying assignments (scientific article; zbMATH DE number 6480920)","badges":[]}}}}}