{"entities":{"Q2872092":{"pageid":2882812,"ns":120,"title":"Item:Q2872092","lastrevid":51902471,"modified":"2026-01-20T12:28:40Z","type":"item","id":"Q2872092","labels":{"en":{"language":"en","value":"Unsatisfiable CNF formulas contain many conflicts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6245137"}},"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":"Q2872092$9D4A4B18-2F30-4B94-9398-9CEC2DF5E4D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83e899cde39dcfb133e4f9158978d8dd50fe25f5","datavalue":{"value":{"text":"Unsatisfiable CNF Formulas contain Many Conflicts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2872092$551C1E1D-BE08-4CAA-A12E-00F9E1DEDE87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fad404f1708c820bb2321798438b529aa051afd7","datavalue":{"value":"1406.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2872092$E29A927E-1412-40AA-BA87-69040616CBF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab89dda66424d6f3154a76586b869fa587007036","datavalue":{"value":"10.1007/978-3-642-45030-3_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2872092$48824BD9-DE74-4E18-BF7B-7215F39A1D37","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":"Q2872092$C29EC8C6-C533-4443-A146-E3A92FCE0118","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":"Q2872092$CD74DB53-2060-4A2F-952F-28E523B7CB93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"819179e1ce3d26ef126a75c0ecf5c026c92211c9","datavalue":{"value":{"time":"+2014-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2872092$53FC0145-B83C-4189-A299-AEB358F85338","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2872092$3C3F3B96-0476-435A-AE7D-D7A52D081C37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cc4d9924731fc149ed677fd2af3eb31686377b8","datavalue":{"value":"6245137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2872092$FACB1273-435B-455C-B996-72781F5A9712","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":"Q2872092$D2ECEC4E-C3CC-4219-9149-18A05DD8F146","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"388394334f0cf8c6b485fc81952c5298eb55cc35","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45030-3_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2872092$0B439782-DE49-44FC-A071-C2681B667229","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b318a1ed97cdf076f9cfcbc9ff61cbbed23cbaeb","datavalue":{"value":"W2275226011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2872092$421596E3-E1F8-4221-9FBE-9240BEEB6866","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff63281f26becdb526a225e7a9b20e2a0c7b8b26","datavalue":{"value":{"entity-type":"item","numeric-id":3502712,"id":"Q3502712"},"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":"Q2872092$20DA1AA3-9C42-4A27-998F-19C640F61821","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":"aa9340e074c2de25ac50b429ff79f1686bcfdfca","datavalue":{"value":{"amount":"+0.8231443762779236","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":"Q2872092$539C8706-6D6E-4584-9C77-863F41F4A969","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":"a54ce1e2992c2bf7f6396a51b6a7a3a93eb70b8c","datavalue":{"value":{"amount":"+0.7967365384101868","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":"Q2872092$F51D0543-79E4-407D-BCA8-7375DB0642BB","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":"1b8e4a648ee2ea1547503333ddf71db461060df8","datavalue":{"value":{"amount":"+0.7956916689872742","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":"Q2872092$99444D07-C7AB-46B7-985A-A50601831E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8deccf2299418ba261318ae6062ae293cd70989","datavalue":{"value":{"entity-type":"item","numeric-id":5425474,"id":"Q5425474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f73931c2dfa31e7d6a81097d8618fcd0edd4df","datavalue":{"value":{"amount":"+0.7890860438346863","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":"Q2872092$D08ADB2D-90E2-468C-859E-C385E5F23292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2872092","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2872092"}}}}}