{"entities":{"Q1037642":{"pageid":1039490,"ns":120,"title":"Item:Q1037642","lastrevid":66603486,"modified":"2026-04-12T11:14:22Z","type":"item","id":"Q1037642","labels":{"en":{"language":"en","value":"A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5633630"}},"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":"Q1037642$C65608D1-49FC-478C-9A54-AADFEB143A37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"882f97e2600a7bfe939b911aa9771117700a8b44","datavalue":{"value":{"text":"A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1037642$6C5EA0A7-1687-4515-A826-AE5D17F37C03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22a2ad3fce0a9f5ccc071306ea4494b63665a06f","datavalue":{"value":"1181.90291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037642$1EF44FAC-4C3A-4F7C-98DC-5F35D35838C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f963cda1fb3200f29721abeb0ea7280204306ed4","datavalue":{"value":{"entity-type":"item","numeric-id":1037639,"id":"Q1037639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$5F6A6D54-900B-4071-AE48-B50A5172408E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$E52BE1AC-8910-4AA7-B2C3-84C51F81ED82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"630ca3960cc466dcf9601d2313ce5a15acdc4d40","datavalue":{"value":{"entity-type":"item","numeric-id":1037640,"id":"Q1037640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$A49BE954-7C3F-41EF-8E6F-769471764B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"529723ee5f6982b56cdb7507d9245342c9f966b8","datavalue":{"value":{"entity-type":"item","numeric-id":272006,"id":"Q272006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$71C80233-3831-47DC-ABDF-8E04EC3B2962","rank":"normal"},{"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":"Q1037642$A0F3656A-B649-4D4E-AE97-057AADE47E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$B219F51D-E5AA-4B1F-B194-1E0BCEC0EFD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$8D123B8D-C09C-4DC0-88A2-686806087F21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a063ddf8a89ca70cf9f598d7256c305bf346c0e5","datavalue":{"value":{"time":"+2009-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1037642$6AA46CC4-3460-4524-BFDB-3D448D3A530A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037642$7807332B-3675-41B3-9655-F89E18746A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037642$71F2D7AE-9722-4B61-AC4A-D40025CBAA3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a67dfc785636648b3e0a1e629b0eefad9a52f23","datavalue":{"value":"5633630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037642$E5D05558-CC2D-4BAC-9730-915D14F71629","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037642$414B1B41-F368-4E8A-8FEA-1168B29892B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6b8f91b4d594637780eaeea48dddd8cb34f4ff3","datavalue":{"value":"infeasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037642$65EE4F2D-498C-4C3E-AD50-F1D36661CD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c233a9983a53b81beee6cbfe2165fe8bc60308de","datavalue":{"value":"MUS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037642$1D2D6470-07CA-4AD1-9015-AB0671CA6118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558bd9feae253c36b21fc8cab9525cef7c7cf272","datavalue":{"value":"SMUS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037642$A892C4DB-294D-409F-AF77-D4ED2ECF5F3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$CCF38C43-5229-4BEB-9FCF-5F7AAC8E6789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$4B5B731B-912B-4B57-BE7C-5AE6DD117740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9610c11cc8a90dd542e7dbbf77c0e56d86b59abe","datavalue":{"value":{"entity-type":"item","numeric-id":23846,"id":"Q23846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$B718A9BF-8B92-427F-8778-42F616F7DF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7940ddd2cf390857912577a8a65fd86fda5b260","datavalue":{"value":{"entity-type":"item","numeric-id":23851,"id":"Q23851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$4ABA727E-284C-4F57-AB4E-A8A94D52BCD2","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":"Q1037642$911C42D5-8632-40BD-A3B1-692296203514","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fb2c594740d3432960e3c1f96f124ed9ab764ca","datavalue":{"value":"https://doi.org/10.1007/s10601-008-9058-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1037642$4DDB9610-C7CA-457E-9BB7-2D5CEAEE551C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35104fec785119cde06bae6041f6c8c0b54221b5","datavalue":{"value":"W1966998067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037642$031CBFA5-65A0-4603-9D73-AED433E2990B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"725c84c2ebc6f4b154eb6d601e5b793715036a34","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$EDB0D199-3CEE-4084-90DF-AC4103991EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca9cd7786a555a68bf8f9117f3115c81729ee6b","datavalue":{"value":{"entity-type":"item","numeric-id":4407240,"id":"Q4407240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$B906B8CD-6FAA-416C-9A20-EE8419E15625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0166ce76d2ce3cfbf78b55b964d693319214d9","datavalue":{"value":{"entity-type":"item","numeric-id":2741521,"id":"Q2741521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$670D8BDF-EFDC-46DB-84C5-232E70C09F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd5410ca0d2d77b14a5f2b371f2b62cdcb84b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1841884,"id":"Q1841884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$B653181D-AB09-4859-A931-D1A7AE73AC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67e0353a75c69b5d0706e5292e3cf18f607f6ca","datavalue":{"value":{"entity-type":"item","numeric-id":5463945,"id":"Q5463945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$5D90683A-2F66-49D4-BFB4-A686DDF0BEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c56aaf8ccd46e3192e050c0368f83b3d69dc51b","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$AB7BC8FA-BE32-4CD4-8E00-682627EFE57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$E6BA3E04-B839-450F-9682-C46D44B1D88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$D26AB75C-EAAD-4FEF-A51B-54193C640962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf42b1d7f232909dbb6ecc8beda225b7876a9df","datavalue":{"value":{"entity-type":"item","numeric-id":2385174,"id":"Q2385174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$784EF30D-270F-4D0C-A3BF-E63ED5CD54BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d86aea778343072a3160fb17bfd25242a00010","datavalue":{"value":{"entity-type":"item","numeric-id":4888830,"id":"Q4888830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$2186946B-D96C-4FCC-83BF-35C763C997C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$47428F23-03AA-42EC-B641-08E8C63EE1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a33ce35f676b680d016698e0b2b6311d0722e3","datavalue":{"value":{"entity-type":"item","numeric-id":5713708,"id":"Q5713708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$7A8C5360-9CA4-401F-B3D4-B25D79887FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$678E49E7-FEB2-4250-AB7A-02CA72D94E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3821cba10f9ba32847ffe54a67883c54c1cae65a","datavalue":{"value":{"entity-type":"item","numeric-id":5713745,"id":"Q5713745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$74174A97-53DD-4A82-8417-EBF70C7FE3B8","rank":"normal"},{"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":"Q1037642$5026B9F7-2485-4B12-8D62-B46F71FAA141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b89a10d5f8399d9170c00181a2ba1cff53d7043","datavalue":{"value":{"entity-type":"item","numeric-id":1765303,"id":"Q1765303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037642$B9485546-62FF-47E0-A316-784B6C517686","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cb8fc35ea34dca4e2edcb3fc0b58ff051ea4658","datavalue":{"value":"10.1007/S10601-008-9058-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037642$CACBD0A6-5432-464D-822E-55C32341EAE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd15885a5b8b0934c2129f31489db29033f99dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5713745,"id":"Q5713745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab9b008f78ef79e52a84253b6b997aafa5cea73","datavalue":{"value":{"amount":"+0.9186183214187622","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":"Q1037642$5F736FAD-C47C-49A7-9C02-DB59218C46EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad905d83d2a10e210e82c599b9f179dad7ea7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5713708,"id":"Q5713708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5e43676e97334954ce7cc735dadcfe356fe45a","datavalue":{"value":{"amount":"+0.8398414254188538","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":"Q1037642$77730DC2-CFF5-482F-993D-FDE74A611EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e919585733e4e0e444af90ed3a2b761251c84723","datavalue":{"value":{"entity-type":"item","numeric-id":3164969,"id":"Q3164969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57838fc01ae9ecd20874f58fe9fb9cc3e1cf962b","datavalue":{"value":{"amount":"+0.822430431842804","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":"Q1037642$435CC22C-8D56-40BA-B848-3EB15F80FE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8c52bd953e9c62610877b37ac8a67577777d58","datavalue":{"value":{"entity-type":"item","numeric-id":3007681,"id":"Q3007681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520e13fdbd1a4c6d8782c3417574e136470de47d","datavalue":{"value":{"amount":"+0.8182911276817322","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":"Q1037642$37CB58C3-51B6-4E73-A10B-3C130103D3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dfa35810581070e46f5460196bbfa0b7cfee83","datavalue":{"value":{"entity-type":"item","numeric-id":4473049,"id":"Q4473049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6793dafd05f25b9ea5ba9ab91ec9a5ed0c187dfb","datavalue":{"value":{"amount":"+0.8127654790878296","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":"Q1037642$3234AAF1-4D69-4F1B-9C19-4DFC5B815CC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_branch_and_bound_algorithm_for_extracting_smallest_minimal_unsatisfiable_subformulas"}}}}}