{"entities":{"Q3655210":{"pageid":5685116,"ns":120,"title":"Item:Q3655210","lastrevid":50867126,"modified":"2026-01-15T12:11:10Z","type":"item","id":"Q3655210","labels":{"en":{"language":"en","value":"Efficient combination of decision procedures for MUS computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654248"}},"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":"Q3655210$CA7FFB86-10DC-4470-AE26-E10C217DDD70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcd93ec0c9c15fa2665c024e84a6e5235fa6154b","datavalue":{"value":{"text":"Efficient Combination of Decision Procedures for MUS Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655210$88CD665E-96C7-4EE3-9533-82739C2D6FF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"909f09496ebdde96e87bf5a5f8b8d82a09dbbd24","datavalue":{"value":"1193.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655210$EA63E220-B83C-49AB-8A77-55AD58F4F98B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb248871ee894405bd4501e7daa981cf4894d6be","datavalue":{"value":"10.1007/978-3-642-04222-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655210$3A570D4A-2499-4ACC-BF97-DAEB90CAD2A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fda148735553016690e2619598fce8816178ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":1042193,"id":"Q1042193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$DE60B4BC-4A0C-4D3C-9B20-CA1C73D1C916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cda698754ec34aa18ba66c57a2afb9aa1743fae","datavalue":{"value":{"entity-type":"item","numeric-id":427557,"id":"Q427557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$A82D4415-16FD-4B16-970A-D26D05C3A68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$4C99E180-F863-40BA-B9CD-79FA49DCBAA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$C740CAAB-614F-4168-88A9-A41F940DF6F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-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":"Q3655210$E4D445AF-37A9-42D8-B37B-49CB9B81F352","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655210$362CFCD4-5891-4562-9CC0-84731C278D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655210$C1812AA8-752F-4B60-BC13-FE93FF4DD013","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f187eedc7869e9696ec4c52444f7de35716c7e1","datavalue":{"value":"5654248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655210$8E304B91-DDBD-4E78-9E91-B8A82F30C98E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b419e9e06fab46801d1f159517b25d63f9edfec","datavalue":{"value":{"entity-type":"item","numeric-id":40339,"id":"Q40339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$2159FD3D-3915-4C23-91BE-BBD902F89F9F","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":"Q3655210$D10D3139-8EDE-4B16-84C4-056105D1065C","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":"Q3655210$9416A65B-85A9-4577-B2C3-23698FC6253D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20ed87e0f91fffabcbe3305811504c419ce861ad","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04222-5_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655210$E82238DB-CB91-4FBC-947B-2A89F3C46DEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cea87ddb4d1f6bb20aa4e9d0f37828a72c97ef3","datavalue":{"value":"W1545513444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655210$C053966A-7708-4289-BF34-FD9AF199761A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ee42bcb5651ff1d6441d36735f61656172044f","datavalue":{"value":{"entity-type":"item","numeric-id":4417909,"id":"Q4417909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$54255AF0-D147-41F2-8CBD-905FFFAB36FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fc57724798b1f4f5d16b3ee29953bbaadefc63","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$41CF284B-AD13-4E97-9FD1-705928C71163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb737acaf9b258a46f538a45cc30017d84a826c","datavalue":{"value":{"entity-type":"item","numeric-id":3502716,"id":"Q3502716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$F866FE5D-D6F8-41E4-9A33-3DF45B5E8E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$E4E4C818-4672-42D5-9CC1-27DB1E1F2543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd793e3cc41e1cfdd728dd923578990c02b6660","datavalue":{"value":{"entity-type":"item","numeric-id":1199919,"id":"Q1199919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$A078B141-8D48-4064-9419-C4FBB4B82F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aafcb2eb6cfc5dc42790ff126c4e75a14da6921","datavalue":{"value":{"entity-type":"item","numeric-id":5756578,"id":"Q5756578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$25C47245-011E-4F8F-B249-1E05206970B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655210$F997E291-81B3-4B9E-A272-FD53C16EFEBB","rank":"normal"}],"P1643":[{"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":"ba621eac0183b94da4a99a67f09cadadfbfed739","datavalue":{"value":{"amount":"+0.87606281042099","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":"Q3655210$C171C2F8-53D4-4021-944C-AD37EDD4A9B3","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":"8bcdc61be584799a31d6e171e04a56ec4d8142ec","datavalue":{"value":{"amount":"+0.865211009979248","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":"Q3655210$28A134BB-FAE9-48B3-9762-AAD50558BE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d78e76115a51ba3497ed472251f0345044b210e","datavalue":{"value":{"entity-type":"item","numeric-id":3194802,"id":"Q3194802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59dc3ceae857b990c3de57aa0f3eaabdbb387f5b","datavalue":{"value":{"amount":"+0.8576555848121643","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":"Q3655210$A6648A0E-E1F5-4D5C-8815-4A58B6B0ED7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa6c6b31111eeade84d2ff432ead8862cfeb872","datavalue":{"value":{"entity-type":"item","numeric-id":2385174,"id":"Q2385174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87f3504749629b65f01ef20bc4acf50ea8f8f51","datavalue":{"value":{"amount":"+0.853716254234314","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":"Q3655210$CE3E19FF-9505-4FAF-917D-6CE1DC4EBBCC","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":"ca9a5e6f78f5f2cff4ff6988817e5b4a51e904cc","datavalue":{"value":{"amount":"+0.8519658446311951","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":"Q3655210$F30CE864-DCAC-401F-9477-8E28D65266DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3655210","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3655210"}}}}}