{"entities":{"Q3502712":{"pageid":5532615,"ns":120,"title":"Item:Q3502712","lastrevid":87276890,"modified":"2026-06-04T11:16:47Z","type":"item","id":"Q3502712","labels":{"en":{"language":"en","value":"How Many Conflicts Does It Need to Be Unsatisfiable?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279252"}},"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":"Q3502712$533CB527-936B-4418-802B-AB1876E567C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2853b8d0086cfebe470ec5f438006912d69d2225","datavalue":{"value":{"text":"How Many Conflicts Does It Need to Be Unsatisfiable?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502712$7E4E30C8-A726-4C54-B00A-E1E7774AB6EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eea8746789af103409539178112c88a75020073","datavalue":{"value":"1138.68553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502712$50FA0C47-865B-4DEF-80F6-3F53A395FF10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f061cf70b97a34e93b962c1606375ba91d03e46","datavalue":{"value":"10.1007/978-3-540-79719-7_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502712$2EBBB6C0-ACA0-4D49-B0BE-2CB5BEA406F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7e84173488f1183a181f28a35218eb7a3c08a8","datavalue":{"value":{"entity-type":"item","numeric-id":1728404,"id":"Q1728404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$4755A80F-089C-46D4-9F41-DD63660ACDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85b24d3cfcd28f3f60e7f34841a26b85b918b979","datavalue":{"value":{"entity-type":"item","numeric-id":834614,"id":"Q834614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$5BCC170C-DAA9-45B3-B030-F037EAB0F549","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$35BD8F0E-FD9D-4BE3-BE53-4BCE0042138F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502712$8BEE3CEC-615D-45EA-9E8D-1C2DF190BD42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6728f62f5b78618468b09381c932aa43cbc67ad","datavalue":{"value":"https://madoc.bib.uni-mannheim.de/41139/1/conflicts-postprint.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502712$4B6F7C6A-B52F-4CA8-81A3-C2CB51A40D9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502712$349E2E92-CADB-426A-9761-9927E3897D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502712$F2CFA7C4-D060-4DE3-8C84-FDD5FFC70122","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e70c3c5f2e86974dc002d53db781cf22ac2c2a1","datavalue":{"value":"5279252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502712$57F1B818-A9DC-4A0B-A16D-63CED5197341","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502712$E84CC04E-4758-44C3-B8F3-7F3F2BE74BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"318d40173c56c7b2ea99904f2e5557adf9953e34","datavalue":{"value":"unsatisfiable formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502712$3BD39ABF-E6CD-4DB4-AC48-B5D1CB50CDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dd2d9c4e4d6c3dac4606c1f2b151c68637ccc72","datavalue":{"value":"conflict graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502712$85338351-6BAF-4AE5-9E1E-FA217EBA73A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f9e08fd37e20b914ec50a19975398951c77c5a","datavalue":{"value":"Lov\u00e1sz Local Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502712$F2425B73-7638-449A-95DF-5C621A7A368B","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":"Q3502712$5E635BFB-31F7-4BB1-876F-1E7E6DD5E601","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdbbebb87521ca37e0baea2fed17578a36264e4a","datavalue":{"value":"W2158947586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502712$73697D5D-4458-48A3-B6E0-75435A4C3CE6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f9295e22400c762c3e47e3c2ed35dc16fd4b5bfc","datavalue":{"value":"Q56475807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502712$4520BE48-EC36-47B5-99B0-9FB6A56E4F43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"673c3d5678692681137b85515e0fa0ad94daa6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5325880,"id":"Q5325880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$7A43C348-2508-4177-88AC-BB0F701EC656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4489ef5da4d77106d4484cc36e5b9ded413e405b","datavalue":{"value":{"entity-type":"item","numeric-id":1227754,"id":"Q1227754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$5ABF5486-ADE8-40BA-86DA-5537CD0F4AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"922dd548bb674c49c9236ead587f6894545a1cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4410010,"id":"Q4410010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$C804AFC5-8033-46F9-A162-AF76E6ECBDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8494cb8104bcd64477a7b1c0a71c10275cef2968","datavalue":{"value":{"entity-type":"item","numeric-id":3440269,"id":"Q3440269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$2F92330F-9978-4D5E-9A63-89361EBF4067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5fa8fb11c78aae21b2eb5b72be3dfa58615b97","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$9A23546D-3C6D-4156-A150-DCD0EA58E5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4ee378a41d931cd10f216e48f4b910155e1a89","datavalue":{"value":{"entity-type":"item","numeric-id":1904401,"id":"Q1904401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$54A55235-4B0A-47E6-9BB6-886517108481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a2fcbc0b2f06aa7a40a2178d6f5aaa3d8e4e297","datavalue":{"value":{"entity-type":"item","numeric-id":3191969,"id":"Q3191969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$CBA98374-7759-4AB8-B8A2-DB104299930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a118f4c4372e51856c754957bd9b998c241312b","datavalue":{"value":{"entity-type":"item","numeric-id":753819,"id":"Q753819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$FBBA4425-D7B2-46FE-907A-74A5ECB3DF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9208528a9398d42022a83d3910fdcc8477ab6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2784326,"id":"Q2784326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$FA8BB88D-5EE1-4D98-AD39-F49E7CA1C534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6f053ad11d1bff5592b7b77665fd28d39d0680","datavalue":{"value":{"entity-type":"item","numeric-id":1010623,"id":"Q1010623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$5D276765-D14A-4F71-AE77-9799CF7D98C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$39A7F2E0-AE93-4DC2-9077-9102DC9CFE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b89a10d5f8399d9170c00181a2ba1cff53d7043","datavalue":{"value":{"entity-type":"item","numeric-id":1765303,"id":"Q1765303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$23DE2D49-BD33-4E44-9445-BA60C8466E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd5410ca0d2d77b14a5f2b371f2b62cdcb84b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1841884,"id":"Q1841884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$131E704B-2257-4AF0-9017-4EC1B588EC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$940AFD8A-6989-4E10-A9E9-D9458872230C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704ca502f4806fb21235efdfafd344f6db7dee37","datavalue":{"value":{"entity-type":"item","numeric-id":5309031,"id":"Q5309031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502712$B367EC7A-C3D8-4DF1-8DCB-714C741F5EC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455e4f7380bdb748763327c69938713b98b631eb","datavalue":{"value":{"entity-type":"item","numeric-id":2872092,"id":"Q2872092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e942e6e14910bd60f7c808ea18f43c85c331b1","datavalue":{"value":{"amount":"+0.9639376401901244","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":"Q3502712$1A905F23-302A-473E-972B-B9C30A895ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8a0039901231d51f19d439120e401e538b3be3","datavalue":{"value":{"entity-type":"item","numeric-id":3113785,"id":"Q3113785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36aacf107eab6d796609e7463c37ed645e387a76","datavalue":{"value":{"amount":"+0.8037761449813843","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":"Q3502712$EE359757-B4C0-418E-8708-16FE5D976F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875e8f2bfecf0bcbd77fc501b60ebbd080fc3230","datavalue":{"value":{"entity-type":"item","numeric-id":2743691,"id":"Q2743691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b33f3121650ea797b80f96bec31ed931eace1b5","datavalue":{"value":{"amount":"+0.7834112048149109","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":"Q3502712$39470084-5D16-4CA9-8526-535C12BF52E0","rank":"normal"},{"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":"3ce6bcd6f46ce5eb4022351524ab2dfa72bd3fb1","datavalue":{"value":{"amount":"+0.7818775177001953","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":"Q3502712$CEF0F0B9-20BB-4C07-A3B1-DB16935F0E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9b1801b3bd9c3218e2c888e2639a852f558172","datavalue":{"value":{"entity-type":"item","numeric-id":2872090,"id":"Q2872090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda233ce16cf599ba1f778a5f58eb482982ab70d","datavalue":{"value":{"amount":"+0.7812604904174805","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":"Q3502712$79C3B1AC-B315-42E2-A89D-6A80166C1B6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How Many Conflicts Does It Need to Be Unsatisfiable?","badges":[]}}}}}