{"entities":{"Q1277336":{"pageid":1288086,"ns":120,"title":"Item:Q1277336","lastrevid":46631604,"modified":"2025-12-25T07:21:28Z","type":"item","id":"Q1277336","labels":{"en":{"language":"en","value":"An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1248228"}},"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":"Q1277336$31A4DFCB-9AA9-4274-887B-EC02BEB48314","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c5a18372241feb278a28a06d665d110508f54ed","datavalue":{"value":{"text":"An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1277336$74EB539B-FF98-4A6C-B88C-8EB155E52C9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21ec4d0f8ed3214c858dbb52513b95debbb85915","datavalue":{"value":"0913.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277336$C7BFA8AC-E230-4DD4-81E3-32D947D2DA74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83f405bd5c74fbb5c7f9a7b2a9d396dd0d984d81","datavalue":{"value":"10.1023/A:1018924526592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277336$EE87C129-68D1-464B-AA21-42924423F44B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fefe5046ad72dee14a9af6756591651b66cc5a4f","datavalue":{"value":{"entity-type":"item","numeric-id":234713,"id":"Q234713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277336$1AEBE994-4EF4-4993-AA43-24963AEB0495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"100af07d4b9e8b08f8c3a3c0fd06f76eda2ece4b","datavalue":{"value":{"entity-type":"item","numeric-id":234714,"id":"Q234714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277336$C39E449E-ED8D-4320-A204-5AE1030982A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277336$6B4F5AB9-0785-4BB6-A25A-F82510B8CD69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277336$70C3277F-AD2A-4E4C-81E3-C92FD59A5DCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bf0a1a1429924599cfd386dc9b5aa0ec5aaa8a5","datavalue":{"value":{"time":"+1999-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1277336$06855C6C-6DDD-4FE6-A186-E91723A309CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277336$BA98C9FD-7AC1-4EAA-B11D-D24833694D9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83a7b45921b250996a7738256d56b43922ff9c39","datavalue":{"value":"1248228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277336$CFA4CE55-3F29-472B-A15B-6905E070A143","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"073429451a5fe2f5e6d385c9e15b82ef19911fec","datavalue":{"value":"unsatisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277336$E0EC0877-92D6-4189-A4FE-961881DA6A14","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":"Q1277336$1EDEF5EA-FABC-4CD8-98CF-271453B9D14D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89f41e630de15473678d3f6aa5f418218efabd09","datavalue":{"value":"https://doi.org/10.1023/a:1018924526592","type":"string"},"datatype":"url"},"type":"statement","id":"Q1277336$35487D2E-2719-4AFD-A37C-D64DD5888235","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ab5997dbcb68eb7ed3ee1b317e9c2f873a0ff23","datavalue":{"value":"W1525293204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277336$4F390463-6A16-4E9A-94B7-438CB77F6D3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46b9d50bd05642ead4f78dd5455c8bbbb978580","datavalue":{"value":{"entity-type":"item","numeric-id":1961649,"id":"Q1961649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705dcc7cac9807d43e594979c1a54b5d775e781c","datavalue":{"value":{"amount":"+0.9279807209968568","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":"Q1277336$54568D4A-D4E7-4CE9-BD1D-7D510FEB8D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cfb41756e8ccfefb4b225fce6e9d3280f5e028","datavalue":{"value":{"entity-type":"item","numeric-id":1841884,"id":"Q1841884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa973e1ef81b96add13c9a8090317c765ede300","datavalue":{"value":{"amount":"+0.8717122077941895","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":"Q1277336$D8EFFDC3-09AA-4477-835F-8D5F737C905A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ecdb3146117de732fbd82638b7e590a701a54eb","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aea7b502e687ca4737d9f60397a71597c02d64c","datavalue":{"value":{"amount":"+0.8449357151985168","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":"Q1277336$4F68351A-8C16-4154-A787-87F129B6907F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f3b959abc5df196425724c440feff6626db7e9","datavalue":{"value":{"entity-type":"item","numeric-id":5309031,"id":"Q5309031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edbc5695bf1c97808b2395e8015bb19f91da4c2e","datavalue":{"value":{"amount":"+0.84482342004776","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":"Q1277336$C94F2B45-77D3-4407-B990-C18F2D21ECC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9063d8828da2a85e9bc93eb404c3a02b388b10b","datavalue":{"value":{"entity-type":"item","numeric-id":3082962,"id":"Q3082962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5dfed966779e601838ffd2b67b4d8642bb3013","datavalue":{"value":{"amount":"+0.8428040742874146","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":"Q1277336$31D7D920-C7FF-46E4-9F71-636A99338A17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1277336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1277336"}}}}}