{"entities":{"Q5326472":{"pageid":7356046,"ns":120,"title":"Item:Q5326472","lastrevid":51791561,"modified":"2026-01-20T01:39:34Z","type":"item","id":"Q5326472","labels":{"en":{"language":"en","value":"Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195204"}},"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":"Q5326472$F2F5AE05-5656-4E35-8EDE-A87FFE5E02D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d101ede369d7982bb03b0340488c6e65fd13d64d","datavalue":{"value":{"text":"Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326472$E0CF2DE4-2EE9-44DD-9705-9A3707F17CF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7a259f61285854d07799d38a81e8b4a2d98e2b0","datavalue":{"value":"1390.68587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326472$253FB556-0561-4A72-91E7-A29154CF8E94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d0ea0c599c48812946d65036c61140ff04be427","datavalue":{"value":"10.1007/978-3-642-39071-5_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326472$0A881007-3B2A-4040-8D24-DBD5CB150150","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac138f1d844429ce6110bd110935b4f4685ff8ac","datavalue":{"value":{"entity-type":"item","numeric-id":861701,"id":"Q861701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326472$D158B32D-40A6-4154-888A-8805D85C11A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f335e0753e4bcae4c0a643b4d38d7559ab0411b7","datavalue":{"value":{"entity-type":"item","numeric-id":903911,"id":"Q903911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326472$4EDED61D-23A0-42EB-A826-169D67EFEB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5030f3a1f4f4cc7743a44d19430b0381408bf85","datavalue":{"value":{"entity-type":"item","numeric-id":630953,"id":"Q630953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326472$57B99454-4046-4D62-881D-C46CBD7FED28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc95ee6522268c529548061426c9a2b08954f382","datavalue":{"value":{"entity-type":"item","numeric-id":5326449,"id":"Q5326449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326472$28001D90-948E-4C6B-8F6A-3D16355642C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326472$5D554B11-C743-4F51-86A3-43695EB05E97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326472$A215DA27-1389-4ED4-8352-0D616D619ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326472$AA1DE86A-5383-491B-A829-36E6D3D504C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06dad2c1a5908c37deb230f587ca3c981614fbd8","datavalue":{"value":"6195204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326472$0EF93903-0168-4018-AB1A-3027BE0EDA99","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326472$E07D5DB4-D1E6-4E69-842D-E4617F7CA794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326472$AE0F2E1D-F8B5-4FED-B5AC-FBA2DF30ADFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326472$6563C4A2-39DE-4A99-84F5-F8F0E14AA346","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":"Q5326472$824C3EBD-49D9-4E07-BAC2-24BF86B8CD3A","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":"Q5326472$E7B4CEED-A69F-4DF5-81F8-022CE4F30949","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72bba7b58e995fcd0fd66d34272751e90ebe7155","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39071-5_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326472$CAB07779-F2FB-4145-B976-29A090D8D180","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd45108bf16d91ca3dc758402e9cfc24da02c55e","datavalue":{"value":"W1511069520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326472$D7A70FD8-8A00-446B-9B78-95BD729CDEFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d421ec7b2abbbdba7b6179718329367b3f0f712b","datavalue":{"value":{"entity-type":"item","numeric-id":5326470,"id":"Q5326470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dfc405b8685c98d8bff15fff2ff3e49784adcc0","datavalue":{"value":{"amount":"+0.8250858783721924","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":"Q5326472$E91DBC54-109E-4EDF-BC8D-C5F43A1E7E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6ad6abcd48709383c08e822d5e3fa1c12b6396","datavalue":{"value":{"entity-type":"item","numeric-id":3192067,"id":"Q3192067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd749acf4a2b5eb9d8d3c356c1faa840bfd43cd","datavalue":{"value":{"amount":"+0.809302031993866","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":"Q5326472$B9949CD1-3851-4065-863E-3692A5701075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc612c398256282a7234f9abb169713f46b99396","datavalue":{"value":{"entity-type":"item","numeric-id":2181929,"id":"Q2181929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814febd50c5dd31b6adfbdbbc34050e9ec7d9928","datavalue":{"value":{"amount":"+0.7813414335250854","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":"Q5326472$C81EF51F-21E8-49C3-9F5A-F946592D99CE","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":"de00ded9cfb0a5153c2a2b849ca975377d95e503","datavalue":{"value":{"amount":"+0.7619028091430664","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":"Q5326472$EA12313F-35D3-43BA-9BC8-92E2674FC540","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":"35f93eddaef3f8ecdd2236edd2964b1fdf6632ec","datavalue":{"value":{"amount":"+0.7473848462104797","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":"Q5326472$1E2EBEE0-548D-493B-A19C-8B362D7EE90F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326472"}}}}}