{"entities":{"Q1961649":{"pageid":1972391,"ns":120,"title":"Item:Q1961649","lastrevid":47435929,"modified":"2026-01-01T18:12:39Z","type":"item","id":"Q1961649","labels":{"en":{"language":"en","value":"Two tractable subclasses of minimal unsatisfiable formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394423"}},"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":"Q1961649$69C3FD55-9670-4C99-9FDD-10B5B5C3DD28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9036749d630040a4455e95034e9ecc2cc48859bd","datavalue":{"value":{"text":"Two tractable subclasses of minimal unsatisfiable formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961649$E44F8FBC-3AF4-42C1-AD8E-5CDB5BD21492","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dd14029a1249262b1d5073adc586750718862cf","datavalue":{"value":"0937.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961649$2EE4B935-55D9-436E-A738-7ADCC53D00F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76c6b8278c442ea4c94b0aa556a52fae19965ea1","datavalue":{"value":"10.1007/BF02878991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961649$C2ED8F50-22B9-4ED2-8778-6A094098E5FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961649$2903D2D0-AEC8-4576-BBD7-DE65C6753392","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9064e7c5b1833d7d4b89f5a4c09b74bb0655a242","datavalue":{"value":{"time":"+2000-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961649$4F296C43-5FF1-458B-913E-83115CF6E005","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961649$04BB9EA2-2B67-4F1A-BABB-50A7E5117B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961649$8232F1D0-5D0D-456E-B539-C88DB3E7DBEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1691685e3c7b87ddb12c927aff33ef9d073fbff3","datavalue":{"value":"1394423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961649$070FF686-E25A-4256-AABD-4EBFD959EE5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a4bc88850ae01a6fe18879d51308150e88b1a6","datavalue":{"value":"simplification procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961649$F33E2D0A-EC4B-4CA8-8422-0B5CAE6BAD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71846a59cac391b8c8c64a7b39318937071a156a","datavalue":{"value":"satisfiability test","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961649$F10A0EB9-1F4C-4E40-87A6-27FBF176CB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fab1d7dadc9c096095fb8f4f755156daf4bb08","datavalue":{"value":"splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961649$57C835AF-90FB-4FD5-8171-2E090A085063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a93779cd96385ff06e69863059d0e0761cf3157","datavalue":{"value":"collapsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961649$13A82E69-F756-41FB-90D0-E989E3175586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961649$3932A7C5-2F66-4BCD-8C63-7D3B3050EE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bc1107713b7cb9537df133dc1c97d1f3a18c9e","datavalue":{"value":"minimal unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961649$2A6DE89A-C59C-44E1-AA23-313D44DB0169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961649$40265E01-5CD1-4677-B53B-48E0D5D9154F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961649$FC8FA396-7589-4197-B89C-37BF397BA147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18eb78d6e16e1b42b714676493ccae392d5911af","datavalue":{"value":{"entity-type":"item","numeric-id":162006,"id":"Q162006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961649$43FA28BF-0CB0-433E-B900-C17713D679E9","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":"Q1961649$E5FD873C-A80B-43AF-85E8-68C7348B7E42","rank":"normal"}],"P223":[{"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":"Q1961649$89198AA6-A0CE-4A5D-9FBE-5B53A3210097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800321fe9f6efe205a2eb283e0da5841a2b5eaad","datavalue":{"value":{"entity-type":"item","numeric-id":1061485,"id":"Q1061485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961649$9B8993ED-F409-414F-9A35-BBFA9F93AFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961649$592A9E6F-77BC-44DE-8C26-A1C5EF6E8D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961649$16C10E77-C466-471C-BAD3-123D5946B57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37ce4f1cfb9664043144ee5c4830da7fa562af9","datavalue":{"value":{"entity-type":"item","numeric-id":1901822,"id":"Q1901822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961649$900131E4-4D6B-4E7D-893B-4FB2B86D0315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961649$A306B68A-8FC2-48B6-9C17-3DB474E3BEEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae02f1045f7565e768e0af18e78dc11abf32c96","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"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":"Q1961649$59F047DE-16CA-4FF7-B394-55A8A06415A5","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":"6c05c52fd29b37426898a425b9a66cfc836bebbc","datavalue":{"value":{"amount":"+0.8821582794189453","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":"Q1961649$80C445B7-9223-497E-95A4-8EB3ECF3D5C2","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":"0f0d248b3bde1343b6582b624daa8efa2a45e61f","datavalue":{"value":{"amount":"+0.8734959363937378","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":"Q1961649$E67BA15B-D907-4B76-A327-25F235F4F82B","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":"69963841f8b3745ccf0f374857dd838d47f3bc95","datavalue":{"value":{"amount":"+0.8451614379882812","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":"Q1961649$7D94B76D-6554-4F79-9110-38F89DA405CB","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":"d98d17c51b67ba0c9e9bdbd2b788e5b8e853c684","datavalue":{"value":{"amount":"+0.8429666757583618","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":"Q1961649$316256A3-8E32-473A-83C3-A5E5B5D6204A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1961649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1961649"}}}}}