{"entities":{"Q2232607":{"pageid":2243350,"ns":120,"title":"Item:Q2232607","lastrevid":71626740,"modified":"2026-04-13T23:29:51Z","type":"item","id":"Q2232607","labels":{"en":{"language":"en","value":"Improved algorithms for the general exact satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7407471"}},"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":"Q2232607$492E710D-2E43-4819-B49C-D0AF4F48A0A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b0a15cead1a531f75b374a79ebc40cddef7ba5b","datavalue":{"value":{"text":"Improved algorithms for the general exact satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2232607$1A9DB14F-F21F-4C7A-804B-45EF7EABC9A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb831d7dba23bdbb51273e02933f449931a58f5f","datavalue":{"value":{"entity-type":"item","numeric-id":2232606,"id":"Q2232606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$34740311-BAC1-4A13-B381-E2A338676FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56bc7b07f95b5885e3133c205b9456af5cfa030","datavalue":{"value":{"entity-type":"item","numeric-id":324251,"id":"Q324251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$4AE55256-D9C2-44BD-AABA-3DB5E27B21B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$ED3F8024-9C65-4350-BC22-16611FD3E6E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d831a136a8c3291bfe95f04a1a80e048b37a4b58","datavalue":{"value":{"time":"+2021-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2232607$76C0FB0F-6C57-4EAF-9B7C-3F1D0875254C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fbf4060c47d97779711f98bc6e4e4219710fd17","datavalue":{"value":"https://arxiv.org/abs/2101.08637","type":"string"},"datatype":"url"},"type":"statement","id":"Q2232607$F718A6E2-8E32-4B34-A68D-E414011615DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232607$95FD719D-BB7D-4DD4-9272-A96FFA9AA203","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4a4f5b6c07fdf78c572f3985f26ccd4c280159e","datavalue":{"value":"7407471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232607$937EC6B5-65B0-4BDD-957B-D15B216AFCA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f013677e1babc04e166747a4ac70dfe005d44e9","datavalue":{"value":"measure and conquer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232607$C188D4F9-68D6-4990-8FDA-1D3A00C3BFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232607$59343435-6BCA-4D82-A90E-E47D3AE7400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed47e6e9ddad80b51aa220a709be136fcb7a275","datavalue":{"value":"exponential time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232607$A81356F2-2C52-495F-A06A-0E6A3809EBE2","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":"Q2232607$C2F98195-C8F7-4E56-B4B5-B49CE8B78F1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72393f122367e6fcd99975e8512bd0f5f20b6ae5","datavalue":{"value":"W3190027049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232607$DA8FB5F9-F54F-4E89-9695-77BE357DA81C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e499f0b3beca4ddc75aa026fbc706daa8f56ce95","datavalue":{"value":{"entity-type":"item","numeric-id":958212,"id":"Q958212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$6C5A047E-F2B1-41EC-809D-FE6DFC14C08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4804a3d5e22e55dd2988f314aab0480d1661c0c","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$69DFDD9B-F4A4-4B86-855C-5A9E5702EFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241fb72f269fa5678843d550686791be4a940ac8","datavalue":{"value":{"entity-type":"item","numeric-id":818673,"id":"Q818673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$9AFCCEAF-6D4D-430A-B08C-0842243E4607","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":"Q2232607$D15EBCA7-4B82-42D2-9C76-2E23DFBE4CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cc9856a58bad86223d35e985cc1a28dcc5bf54","datavalue":{"value":{"entity-type":"item","numeric-id":5705953,"id":"Q5705953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$0C1C7A13-866E-4E06-99AE-DF3775A53DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472c650eebffa190ff686cb13b622055eb339dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5897915,"id":"Q5897915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$F294F2FA-CBBC-453D-805C-4E3AA3C5DCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315e8d6e6021b4878350ddba09efe7c96a57721c","datavalue":{"value":{"entity-type":"item","numeric-id":596105,"id":"Q596105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$448E3F00-267A-47EC-8182-2D606F8CB770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$37464A2D-33DA-48AC-AF89-E7F11B2BF9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$2086C4DB-24CF-4C32-9DED-E61624C3B626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f77347970e953e82d8dddf1fddbdb2c14d24ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3452221,"id":"Q3452221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$7BCB7FAB-250D-462C-A8ED-110CDF3A50C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08679e1302d53c12ee04f803b2320a1e4c7b1a0b","datavalue":{"value":{"entity-type":"item","numeric-id":606873,"id":"Q606873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$59E59547-A703-46D0-8392-22D4D9476F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52fa587f89a3d31822f9beaa00112cc81c6fd50","datavalue":{"value":{"entity-type":"item","numeric-id":2692222,"id":"Q2692222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$139650A8-179D-46C0-B715-39F6FBD6C039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eae76d6fb6bbc9ffc68403c1b728f21ae14a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$8735B5B4-DCEF-42DC-9373-631F04B9CA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$F4E1233F-4178-41C3-99CD-66F453BA59A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8004eae2ffc5a942ba5a6e8374f263f0fbb9e96","datavalue":{"value":{"entity-type":"item","numeric-id":3912012,"id":"Q3912012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$EF466148-1D25-4D6E-A18F-57E3558E45BA","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":"Q2232607$D71ECE16-EA20-45DD-980B-ACC9E463EC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938609f90fc1d3125b134c7e53a669d97c3748a6","datavalue":{"value":{"entity-type":"item","numeric-id":4736814,"id":"Q4736814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232607$A6F41A56-D98C-41F3-B721-ABAA4447E25A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"020bc7b217a2c2354d2bd94d21bd7c01035b7603","datavalue":{"value":"10.1016/J.TCS.2021.07.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232607$7B5D6E85-740F-49E4-8666-814F6477312C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69c1864d8d72ba106a26af3be9f669bbb1df736","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32207942051e5c39ffa676fd50e03a20f740d7bc","datavalue":{"value":{"amount":"+0.8879273533821106","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":"Q2232607$DFBE4A0C-33B6-4077-A105-DEEEB42F6FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a656f063de935ced5cb23a06c4a0b1791f8e1531","datavalue":{"value":{"entity-type":"item","numeric-id":596105,"id":"Q596105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7cb6300a448777420c03f93551184ada23fcc8","datavalue":{"value":{"amount":"+0.8549988865852356","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":"Q2232607$594C8B24-CB28-48EE-85BD-288D9013A33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa560bb2f14c8e40c30f2ae2b06ffe5efdd65862","datavalue":{"value":{"entity-type":"item","numeric-id":5705953,"id":"Q5705953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55fb502d50fae91703286fe48943c97faed79e5","datavalue":{"value":{"amount":"+0.8371087312698364","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":"Q2232607$2603BD32-C148-4866-ABAE-C450C046706E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e020baa285480e1d6376d4ef1a0f52fe495bf60","datavalue":{"value":{"entity-type":"item","numeric-id":1045885,"id":"Q1045885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3849e81cf41246d8efd3aabf6aa432beddd8c4","datavalue":{"value":{"amount":"+0.8308666348457336","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":"Q2232607$0A976F62-8E05-4914-B853-7C3EF6DC3B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364518d8413330694049cf3ab925de858aa2ab22","datavalue":{"value":{"entity-type":"item","numeric-id":2941085,"id":"Q2941085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b838e006f06c2bc8b8ce06ed9a70fafee5d01be2","datavalue":{"value":{"amount":"+0.8246631622314453","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":"Q2232607$034F3A1D-1F39-4058-AD81-B4515FBDC610","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved algorithms for the general exact satisfiability problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improved_algorithms_for_the_general_exact_satisfiability_problem"}}}}}