{"entities":{"Q4583686":{"pageid":6613271,"ns":120,"title":"Item:Q4583686","lastrevid":53190734,"modified":"2026-01-24T10:29:09Z","type":"item","id":"Q4583686","labels":{"en":{"language":"en","value":"Computing minimally unsatisfiable subformulas: state of the art and future directions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6930338"}},"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":"Q4583686$3C6E4DE9-BC27-4E42-9586-3F27EEA2179C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ea5f799f00bd396022ea7be5c37881f4ac20dea","datavalue":{"value":"1394.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583686$E85E714D-D038-4747-BA92-F6F96BBF1833","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7a86a6aed7188bb3ff3424d78e3001f3e02dd61","datavalue":{"value":{"time":"+2018-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583686$F5503421-0A31-48FD-938E-4C4146DD304E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6774e81566a14076c93fd2a06db78b4596f39d72","datavalue":{"value":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-19-number-1-3-2012/mvlsc-19-1-3-p-163-183/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583686$7A324D67-5F0A-40BD-8A64-F4F3B78FADEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583686$8C9BE49F-1BAC-4C4F-9A36-B8CA6FEF0C70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bda0bc59980c1dc5c1c4920cc4195c2329970922","datavalue":{"value":"6930338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583686$11B2C3B1-0AD9-42F2-A3DA-7B510A919430","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583686$9BB62AE6-0E61-4A5C-9BF7-CA1489860434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a9361b78899e66b3ff7bfa6cc930fe1e61d311a","datavalue":{"value":"minimally unsatisfiable subformulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583686$DA61CA27-3436-4687-8C2B-2ACC148620FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"343b35b6c0dbcec37f2235554c5212fa0c6f2907","datavalue":{"value":"unsatisfiability proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583686$7F76D579-9C03-454B-8DC9-404FFB261617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6fdd90ac9669664c969cf7612e738cce50e5f39","datavalue":{"value":"extensions of Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583686$35180E7A-6E1E-4268-8EBE-A82D0398AF25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583686$A39420E9-5CBB-4689-9F7A-368133836F0D","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":"Q4583686$9CF3EBF9-6F35-4051-AF72-D37901C0B9D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102ae06542615d3fef876d140dde28be952a5aab","datavalue":{"value":{"entity-type":"item","numeric-id":3007680,"id":"Q3007680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c231167dabd8cdfcbedf916340225bba0b0eff","datavalue":{"value":{"amount":"+0.7999690771102905","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":"Q4583686$A144DC85-4541-4397-A5FB-88762E0B9D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39563c7a98c34a833ae5ca4a4d7d0915f18b0c8","datavalue":{"value":{"entity-type":"item","numeric-id":1037449,"id":"Q1037449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f19e88fc40f95b7c82b0d04ad7161c4643ad86","datavalue":{"value":{"amount":"+0.7941898703575134","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":"Q4583686$1A04A395-E22A-4187-852F-02FCCB131E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f7932f2d5f9d14bec23c4ff60e3f47363cac9e8","datavalue":{"value":{"entity-type":"item","numeric-id":2181933,"id":"Q2181933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8293d5d9a7ca11b008c1f0a1917381680d29d4","datavalue":{"value":{"amount":"+0.7689497470855713","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":"Q4583686$4E3CF3F7-6FB2-4E77-B036-8D3BCAC26367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e4d5a06e35da0a59ed8b3cb0f518cd9bff1185","datavalue":{"value":{"entity-type":"item","numeric-id":6108818,"id":"Q6108818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a17ccf8cfefd8d7fda2abe882e6727e979786a","datavalue":{"value":{"amount":"+0.744435727596283","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":"Q4583686$D3DA98CD-D416-4B12-BC96-32D481517F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d8f4144fa41e0aa64fc9f8a1edc902b4d09420","datavalue":{"value":{"entity-type":"item","numeric-id":5463945,"id":"Q5463945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc46164d6487b1d8b86a7f3b5d5855a8393f580d","datavalue":{"value":{"amount":"+0.7430747747421265","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":"Q4583686$CBECBEF7-A752-4DD9-A605-D9EE234F9752","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583686"}}}}}