{"entities":{"Q5309031":{"pageid":7338605,"ns":120,"title":"Item:Q5309031","lastrevid":92220377,"modified":"2026-06-05T01:10:28Z","type":"item","id":"Q5309031","labels":{"en":{"language":"en","value":"The complexity of some subclasses of minimal unsatisfiable formulas."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5198530"}},"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":"Q5309031$02DAD0ED-5E7B-4713-9AF5-F53FBD99C01C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b12192856d47468d259c503279703b1a78d09d7","datavalue":{"value":"1137.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309031$DF2D4A9A-E8E3-4F2A-8C75-55099FEE13D8","rank":"normal"}],"P16":[{"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":"Q5309031$AD9CB9F5-4971-430E-BE54-A57B198DFDB8","rank":"normal"},{"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":"Q5309031$2C5EA142-1AD6-497C-BCF0-C046376A79F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1c6d1eb5a1881a1c15c479f8c9d6be5d5505633","datavalue":{"value":{"time":"+2007-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5309031$9B491FFA-0A35-41E8-B0FC-D96DDA675308","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309031$53C009D0-C40B-487C-89E6-BBCCE3D85DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309031$1580C301-62FE-4C4D-A9FB-6FF20FBF7118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309031$96F4E0C0-EB98-4E48-B7C7-743198B07394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309031$B9C6A797-6156-466F-850B-7D036CB2CB39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ceff4a7b36c4012c700080cff9437434eb0352fd","datavalue":{"value":"5198530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309031$B2329347-3AC6-4B21-829F-35C300DD9774","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7390a4ff52dd86c09e8b932f6a2cb9f6017e2b1","datavalue":{"value":"minimal unsatisfiable formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309031$F56AC149-F6EF-4A82-8CAF-7C2597ACE2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b910481013f826bda838bffab0edf196885c4a","datavalue":{"value":"maximal MU","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309031$970ACD58-1709-47FB-9F2F-F5078511BBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b14df11527f25826d5d349b0c1083e87b9b9c7","datavalue":{"value":"marginal MU","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309031$2804842A-2E14-4A4C-BB5A-843CCD9D45F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b4a1c903bdbad63491df93be09359d9b4e135b","datavalue":{"value":"unique satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309031$B3C0D6FC-8377-4D85-A11F-A381F5080F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30f12e17d5fefa875b7b4aaf40b69ecd80cf6721","datavalue":{"value":"disjunctive splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309031$525530B2-BE84-42F8-9FB0-39A86259099F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309031$1BB325C2-6EAD-4F5B-B29E-4E81A69C165F","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":"Q5309031$8C4F9479-0B92-42A5-AA42-1065F58DA749","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103d5b4da1f69720b579cf5f7a30ea292acbb947","datavalue":{"value":{"entity-type":"item","numeric-id":3434502,"id":"Q3434502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d66242d86797dc4ffee4311a42d1573689c89f4","datavalue":{"value":{"amount":"+0.8894979953765869","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":"Q5309031$BC78B740-E593-4B78-8770-92DCE346170D","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":"8f359335d3c35441601b34a69ea788809229df9e","datavalue":{"value":{"amount":"+0.8801936507225037","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":"Q5309031$54D57767-67B5-413E-A579-1C371FB75665","rank":"normal"},{"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":"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":"Q5309031$143E2AB6-6C3A-4388-876F-CDFCEDF4B07E","rank":"normal"},{"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":"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":"Q5309031$145945E4-00AB-4AD6-8EDF-D1B15650DEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b794518fd502dcea6c4eacc8cbe76fd24be9682","datavalue":{"value":{"entity-type":"item","numeric-id":1408380,"id":"Q1408380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fb1eecd41241d282bbb5e0ba753db4d0719e41","datavalue":{"value":{"amount":"+0.8401541113853455","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":"Q5309031$AD9575D7-8082-4CD5-9C1D-2B4D76EB6F6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of some subclasses of minimal unsatisfiable formulas.","badges":[]}}}}}