{"entities":{"Q727982":{"pageid":729831,"ns":120,"title":"Item:Q727982","lastrevid":63882369,"modified":"2026-04-11T16:11:08Z","type":"item","id":"Q727982","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 6667673"}},"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":"Q727982$469CD842-75FB-4B15-8DC2-4ED2626C657D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"773c70871ec87ed88e33f93f8735f86b7f59f9f0","datavalue":{"value":{"text":"A short implicant of a CNF formula with many satisfying assignments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q727982$8724AE7E-B8CF-4484-86A6-F20DFF03141D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ad86b680b13588007c5066855f978c04c78454d","datavalue":{"value":"1355.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q727982$2A4E6A3C-6068-4E34-83E3-619168912BCB","rank":"normal"}],"P16":[{"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":"Q727982$988C75CC-5E99-4072-9BDE-B17923202B81","rank":"normal"},{"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":"Q727982$2F655015-8F1D-41FA-8836-5302387918D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q727982$4D43F53C-E3F3-461A-BB1B-ED7D657150AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q727982$32216B87-5067-468A-AF02-B01E7E3CC30F","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":"Q727982$1CFDCA98-F6A0-4D71-92B9-3FFE517BD0C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q727982$3F55E167-9A68-4E09-B536-7D680C055F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q727982$AF109D35-0680-4F14-9816-884ADEDB55E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c146807c39bf596a08e5f2cc5e64bf8c5a18c8a","datavalue":{"value":"6667673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q727982$9E065884-0DA7-47C2-9B17-3ECC7CB7A6DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f37a441c8d469e72c8fe92c5814e841cd4bd8cf","datavalue":{"value":"short satisfying partial assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q727982$02A31D2C-A56E-4F35-8C20-5A14679DC334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0085683a7bec1bd771a42f34988387547c4a29a2","datavalue":{"value":"conjunctive normal form formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q727982$38008C27-5D1B-4772-9CAF-C1CFB5C6134F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489324903f714e52d94323bd7c65cb35edc6be98","datavalue":{"value":"large satisfying assignment ratio","type":"string"},"datatype":"string"},"type":"statement","id":"Q727982$75A95F72-8CBE-48BE-B207-C2FA4971DA06","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":"Q727982$EEC0D968-FEDD-406E-801E-80AC5CFC6215","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3250fa1a482026caa0be7001170065bee59a7a6f","datavalue":{"value":"W2292871600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q727982$E8D0039A-8A48-4C0A-BA3C-ABFB5EFF5D4D","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":"Q727982$0F36F9FD-6B00-41D4-9CDF-D7BE37CA5266","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":"Q727982$9D9592A1-E274-4564-9B89-23A6FC8C81A9","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":"Q727982$3B1313D8-A0E2-49F5-8829-7FDCF668020A","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":"Q727982$A0CE09A7-7CE1-4CBF-A380-3CC37C32548D","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":"Q727982$6801131D-E76E-4DC8-A7DA-B61FA9B395AD","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":"Q727982$3FDB28F9-E64B-41F5-87B8-70F00B5FBD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q727982$93C1819E-486F-4363-9B4F-A850DC256340","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d1e09973178afc04f28a22dabd7a445bb1029e7","datavalue":{"value":"10.1007/S00453-016-0125-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q727982$F2305109-7435-4D8B-8F89-B112F448BAC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e0bc311994bdf87e3efaff257b0465926553a2","datavalue":{"value":{"entity-type":"item","numeric-id":2942635,"id":"Q2942635"},"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":"Q727982$BDF008F9-6A6E-437B-822A-222724033284","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":"b9fd5979ce5cd5baa7ac396b17688f092f9aec6b","datavalue":{"value":{"amount":"+0.8284571170806885","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":"Q727982$6DD11A99-9361-47BA-9487-3CE27F1DAC7E","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":"b9fd5979ce5cd5baa7ac396b17688f092f9aec6b","datavalue":{"value":{"amount":"+0.8284571170806885","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":"Q727982$E8DDD807-9FBB-4B06-951D-D17BBB755B07","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":"d6fc7b5e26af61f9c1397367f9776c0ee02606c6","datavalue":{"value":{"amount":"+0.8264192342758179","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":"Q727982$10E14644-6D6A-4655-B9E9-A8C12B1AC125","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":"3cde8820c4862dcf04d9931d208f48b29c0d7f9f","datavalue":{"value":{"amount":"+0.8083434104919434","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":"Q727982$8BE9324E-52E7-4A85-98A7-A9DF57161E88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A short implicant of a CNF formula with many satisfying assignments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_short_implicant_of_a_CNF_formula_with_many_satisfying_assignments"}}}}}