{"entities":{"Q4296521":{"pageid":6326122,"ns":120,"title":"Item:Q4296521","lastrevid":81650408,"modified":"2026-05-06T19:01:33Z","type":"item","id":"Q4296521","labels":{"en":{"language":"en","value":"The Minimum Satisfiability Problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 591223"}},"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":"Q4296521$A911AFFA-CE12-4F2A-8D52-E63B186BA9A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2589157302fbc353f17f272af34d1d8fc30d884","datavalue":{"value":{"text":"The Minimum Satisfiability Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4296521$450CEB27-D950-4AAC-BC51-A64F26579D1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f81d23e4c633b1c383f0feb9d019d003cb06980","datavalue":{"value":"0806.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296521$900B89B6-9ACE-4DB2-81FB-276EDE7B39E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72112d6466d156d714953c98c02780834b0d6fb4","datavalue":{"value":"10.1137/S0895480191220836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296521$88107421-52D8-4A9E-9262-2C6AB8623E85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2ec684c95630124c387d76af8ebb6da7f65c3a3","datavalue":{"value":{"entity-type":"item","numeric-id":623466,"id":"Q623466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4296521$417269A2-232E-4879-91B2-8AE6817A0929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"744c540515f598ba217e8f0870e6840b595e73f8","datavalue":{"value":{"entity-type":"item","numeric-id":203718,"id":"Q203718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4296521$C3B14281-E676-4B47-A44F-E5D4F68162DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab37aed07a85ef7ee3990c74674e355a6703d003","datavalue":{"value":{"entity-type":"item","numeric-id":221932,"id":"Q221932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4296521$49993486-20DC-44AD-9098-76CAB3D2CBB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39a509948a5fd41054da3e7af81581f39adaebc1","datavalue":{"value":{"entity-type":"item","numeric-id":2706174,"id":"Q2706174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4296521$786BFBC9-B2D6-47FD-B2D3-63B4C181D93B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3f5020bb391825f091a9eb9719aa6d72bf1e1b","datavalue":{"value":{"time":"+1995-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4296521$8363FA0E-E7CA-4332-957D-583765AA2A5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296521$BB175781-7AB6-4323-9624-773620FF993A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ad14bd55057b640add55b9e45f6761fdcea0543","datavalue":{"value":"591223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296521$AAE67892-6FC5-47A2-940A-2F67BE29DE3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296521$70EF4E94-A95B-46CB-9EC5-0DE17205BD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"246f7ec450425474c12ba7eba3306726221aebbc","datavalue":{"value":"probabilistic greedy heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296521$D9B84BB2-3433-4850-AF76-2DB790BB3E99","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":"Q4296521$84137493-C3CC-4D93-A234-5E5922AC92BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f9200e1a43cd7afef68a034c74667e054b7e46","datavalue":{"value":{"entity-type":"item","numeric-id":1351157,"id":"Q1351157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fe3736081d0f864f171922dfacac660aa299a9","datavalue":{"value":{"amount":"+0.8728566765785217","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":"Q4296521$28636AF8-8654-40E7-92AA-33059551A162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9eb3060490046a168a66b4ee1d58b60894e6171","datavalue":{"value":{"entity-type":"item","numeric-id":779212,"id":"Q779212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72aeda1169752ec1858477ef7f72a514e4bc28ca","datavalue":{"value":{"amount":"+0.8516249060630798","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":"Q4296521$F313A01C-066C-4DCA-B6C6-721BEF607BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a1ad9646d1d3ec90187d1cd82616002aa9c17a","datavalue":{"value":{"entity-type":"item","numeric-id":2161258,"id":"Q2161258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe897b1310022a90c9f4b589b0fb601037cbac1","datavalue":{"value":{"amount":"+0.8110291361808777","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":"Q4296521$81A883AD-B24B-47EB-8F1B-DFAD63D52386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e839a47c09dfa18abb63f2275844b93176461cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4729354,"id":"Q4729354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7516ca29522cceee2a6dd3e6463a1571b7b130c","datavalue":{"value":{"amount":"+0.8082837462425232","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":"Q4296521$13C8CC4B-82D2-49BA-882A-D09CB11685B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec9455f54c32283ad7953bf6c8ed6237e5816a","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230e0fc8bca5ebac42d347ecd7ac6873f306d528","datavalue":{"value":{"amount":"+0.8013872504234314","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":"Q4296521$D0EE9D0B-EB54-46C2-864D-CB7BF312DB1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Minimum Satisfiability Problem","badges":[]}}}}}