{"entities":{"Q5326468":{"pageid":7356042,"ns":120,"title":"Item:Q5326468","lastrevid":51791534,"modified":"2026-01-20T01:39:32Z","type":"item","id":"Q5326468","labels":{"en":{"language":"en","value":"Quantified maximum satisfiability: a core-guided approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195200"}},"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":"Q5326468$068A3783-8724-42DB-9F28-717D6051F1FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53c53fa54bac28eb998ba206ca9c331365e1ff6f","datavalue":{"value":{"text":"Quantified Maximum Satisfiability:","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326468$F7B22FBA-2DC7-426E-A41E-440847888BFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73c95216ad8ec0499929a20f42dc972729cc40d4","datavalue":{"value":"1390.68598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326468$7DE5B67E-C1C8-4FE8-8C3A-652D9E19371B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efa21a11f7b83364c6d4ff8412215134231f9b2d","datavalue":{"value":"10.1007/978-3-642-39071-5_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326468$8371FABF-30DD-4FCD-A5FE-921C356DB10B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2914f32562ebd9ae230eceac7c78b1ac22a86f7","datavalue":{"value":{"entity-type":"item","numeric-id":272015,"id":"Q272015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326468$CCE68112-ED46-4121-AA90-430ABDAD2A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326468$B9477507-F3EB-4B2E-BE5D-1A5B59BE8436","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":"Q5326468$59DBDC18-DF70-48C9-A048-01D5DC6EED5E","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":"Q5326468$ABEE8D8C-EEC2-44EC-B29E-CDA4B630A330","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":"Q5326468$FF4EB4C7-FA57-4F09-B535-63F3D7C404EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326468$0F91BFAB-F9FF-455B-B6C4-87C1D3F06F17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d11262cf274d95ef9f31941dda5de04bad0745f3","datavalue":{"value":"6195200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326468$5C169828-01E2-44EB-9F7B-905946F9E173","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":"Q5326468$0D4FC128-57A1-4926-BAD4-B3F37DE50F87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53cf20c168648269cf29ff4b4fa9c40e02911514","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39071-5_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326468$B2C55485-219B-4EC9-BE58-07A66EFC1A04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"596d48f4fc1949d25fc77bb929bead46ba369610","datavalue":{"value":"W2221194109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326468$FEFA9D8E-9199-4BA1-A7EE-645542DA35AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03757c4c169a4643f27fcb29ea31f0abc2b953cd","datavalue":{"value":{"entity-type":"item","numeric-id":272016,"id":"Q272016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d332e3d8e1cf5f491f99e8ae5be5f6acc2beea","datavalue":{"value":{"amount":"+0.9616965055465698","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":"Q5326468$D879B1FA-1929-4785-B63C-975247A4C50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94851d8563ba275202b8910bc97ac866bde4824","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36e8a08a864dda6078318e1dd4e08b870cf890c","datavalue":{"value":{"amount":"+0.7955989837646484","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":"Q5326468$A0D67DA1-88C8-4D68-814E-4D6549177C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9921438c2a07bb80e04ae819c1b06940513e50f1","datavalue":{"value":{"entity-type":"item","numeric-id":2843334,"id":"Q2843334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68372d03ccda949d6e55abde6027576cd4827f0d","datavalue":{"value":{"amount":"+0.7816963791847229","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":"Q5326468$51730369-EBD0-4765-8EAE-7509F9129692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d9e4774b7e1934b5f5fc21702e6649798cef0c","datavalue":{"value":{"entity-type":"item","numeric-id":3637181,"id":"Q3637181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3af9d0eba1c5b26bb52294e4bda4c1a24f635c","datavalue":{"value":{"amount":"+0.7764264345169067","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":"Q5326468$DE143879-1E99-4FB0-BA4B-202215D9868B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302bf781e7c6aef1fafc15abf0c564904cd1a1f6","datavalue":{"value":{"entity-type":"item","numeric-id":2828249,"id":"Q2828249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ceff56cc5f2d9d83400a415cfcdd1850059eea","datavalue":{"value":{"amount":"+0.7643648982048035","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":"Q5326468$88A3A64B-4932-4AE3-B6F8-66E0937D8C3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326468"}}}}}