{"entities":{"Q2192070":{"pageid":2202813,"ns":120,"title":"Item:Q2192070","lastrevid":71513241,"modified":"2026-04-13T22:45:17Z","type":"item","id":"Q2192070","labels":{"en":{"language":"en","value":"The complete set of minimal simple graphs that support unsatisfiable 2-CNFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7215469"}},"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":"Q2192070$2C852FB8-E1F4-445E-9194-0646E4CEBA0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"004367c72683f42142a41361716117174915be9b","datavalue":{"value":{"text":"The complete set of minimal simple graphs that support unsatisfiable 2-CNFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2192070$87BFD1BC-E3EB-4A08-974F-85C94B55DE74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8c074e0563f29479bfec92460dbab4d0fe45c98","datavalue":{"value":"1442.05217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2192070$1497687B-97AC-4277-B01F-D91042A65602","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c08ceaf8d7f17a46c05c03b7512757b864cf3378","datavalue":{"value":{"entity-type":"item","numeric-id":2192069,"id":"Q2192069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$48C962A1-5C10-4731-B971-E23DA5E69A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61a7f8ae5f74e3ea6ec738ddbbfb180258c31b8a","datavalue":{"value":{"entity-type":"item","numeric-id":486693,"id":"Q486693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$48263D5C-F6AD-40CD-8432-5421C978A360","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$1DCC81CA-0B3C-416E-BB32-AFD5FE823BAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84104d31e9807321231709817e5a13b0b564e2e6","datavalue":{"value":{"time":"+2020-06-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":"Q2192070$F0431450-3925-496A-890A-F40D8C05894E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c4df313b6b181fff120e8b687392519cfc795cb","datavalue":{"value":"https://arxiv.org/abs/1812.10849","type":"string"},"datatype":"url"},"type":"statement","id":"Q2192070$FB7BE819-B577-48EB-A151-7F7091A0A558","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49261cbbd2f3b64e072aca4630c2592536037a47","datavalue":{"value":"05C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2192070$29CEED07-F535-4E3E-BD25-77DD0FF704C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2192070$8D507754-FD48-4228-80FB-2F9D2940DE7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37f4e4388f3f57ddef8c6c257b366a03d9226e3a","datavalue":{"value":"7215469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2192070$5519B839-1E34-442D-8A04-52BB7D119576","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2192070$2FA16216-A85E-4FB0-8652-778579DF3060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2192070$13D1B917-76DD-46AC-94D5-608B22ED02B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2192070$F567F4ED-38B9-485B-8393-A9FD51B4C2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b4a7e94f67b1256fa87c9c444c77ea9a3d63a5","datavalue":{"value":"graph minors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2192070$C996FE3F-BDA0-45D6-8857-7740E97EBF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580d546ea28fc286cbae73e3e0e05ab8af4e1154","datavalue":{"value":"topological minors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2192070$1FA635A2-BBFC-489E-BB15-D7947620767F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60a7d005574d1904e5e8595d3e0199a52832782","datavalue":{"value":"edge contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2192070$30650A9D-0EE5-4AE5-89E1-9D08C848D508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d959bd733318746098f9611a2534b0fcaba0c1f","datavalue":{"value":"subdivision","type":"string"},"datatype":"string"},"type":"statement","id":"Q2192070$E49B7CB9-D244-4F59-A44E-640C8A5A0442","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":"Q2192070$06579D04-F654-4F0A-9D6C-94749D10ADD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad3c30a424cdc7c5a6648a280b51a0b8c1b4afe5","datavalue":{"value":"W3002522980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2192070$614AE122-EA59-46BC-9391-48FA5968A7B6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8a2d5784156c80e35b12da48de3b42add1b549e9","datavalue":{"value":"Q126330617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2192070$0695824B-95AB-4375-9C1A-BD6DDA1DFB0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$0481C67A-C05B-4DEB-8157-0F75C4C118EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526fcad6e5950bfcacc9d75ab59dad5e04bf5291","datavalue":{"value":{"entity-type":"item","numeric-id":5193151,"id":"Q5193151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$AF21423B-EECC-45B7-AC5F-E997F1D3D2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$B187A9E7-D91A-45DC-818D-53D27C80F09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$A3FFCADF-0FB8-4959-A318-D9F9198915E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7b660937930adbd0ff364afa7db1889b982e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1317481,"id":"Q1317481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$49F3DB32-78CE-466F-9426-44D3180AA8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$493DDCC3-969F-4828-9CD3-30A9C6952D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85b992a547600b84caee010e54e47cb289d3eaa","datavalue":{"value":{"entity-type":"item","numeric-id":5545955,"id":"Q5545955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$00B215AD-A486-4EBF-BA16-031DFDEAFDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b67c0c7a5a44ff323d18e1363803acffd4565","datavalue":{"value":{"entity-type":"item","numeric-id":4071737,"id":"Q4071737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$E83A87F3-0D61-4B70-ACE5-2292614BB1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398ef8bc27e00efd8312d46a33efaa0333728c17","datavalue":{"value":{"entity-type":"item","numeric-id":1892832,"id":"Q1892832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$726D867F-C94C-4122-AE49-D6BEE61CC16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2192070$1E7BD086-654A-4F36-AFD2-C91C82523825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c49c24242d011fa49a3a6e62a7bcf55c0d0b6509","datavalue":{"value":"10.1016/J.DAM.2019.12.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2192070$1EF3A783-3E03-4C92-A718-45B90855454F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a8d01fe2bdc8b006dc4bf8b9029d4908258164","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e45dc2876c524f3b2e076a1617852a74840126a","datavalue":{"value":{"amount":"+0.8097783923149109","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":"Q2192070$2F0D663A-4C4C-493D-9EA7-177E7BC409F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6686e6bd84dca7fd0d190c36d22681e6c3d2348","datavalue":{"value":{"entity-type":"item","numeric-id":5756552,"id":"Q5756552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e4ef28e4a0f17970f702bc3bb44c5bfdd81832","datavalue":{"value":{"amount":"+0.793000340461731","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":"Q2192070$6EFCB6BB-CED8-4A16-A50E-E87EBC544DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e1c75a1d9886354ccda37be3abf7d4fce49dac","datavalue":{"value":{"entity-type":"item","numeric-id":5096838,"id":"Q5096838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ff280d378061ee8da85c7fdefeb38a3daea218","datavalue":{"value":{"amount":"+0.7861281037330627","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":"Q2192070$BD84B598-E0C1-4415-AA87-973C93498E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8e35f8e3bb7b596a6ae2dd0e6c20e4c92f9e21","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c044f38fd10203dceb845c2c70fb0feaeae61e77","datavalue":{"value":{"amount":"+0.7548230886459351","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":"Q2192070$96F9334B-E427-4FAD-BD6D-21813BB1F66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50eec5530d1d7a8570a36ea5d7bab4bb7d293232","datavalue":{"value":{"entity-type":"item","numeric-id":1656590,"id":"Q1656590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423b81aa29475119a64eb9c6198b24ca3cdb0ee9","datavalue":{"value":{"amount":"+0.7541621327400208","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":"Q2192070$926BEFDE-4229-4115-884C-C35655255D8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complete set of minimal simple graphs that support unsatisfiable 2-CNFs","badges":[]}}}}}