{"entities":{"Q3557072":{"pageid":5586976,"ns":120,"title":"Item:Q3557072","lastrevid":50968970,"modified":"2026-01-16T00:02:25Z","type":"item","id":"Q3557072","labels":{"en":{"language":"en","value":"Satisfiability modulo the theory of costs: foundations and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702233"}},"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":"Q3557072$BA800F65-816D-4CD3-927E-1F20ACEA90F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e146faf6dffffecec1cdc2901161d539a119f6b","datavalue":{"value":{"text":"Satisfiability Modulo the Theory of Costs: Foundations and Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557072$6022BE7B-73B3-4206-ACF2-A6F1C0E98250","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb684af5d093016a4fb8704527f8014d105dc017","datavalue":{"value":"1284.68388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557072$3C33F3DF-0A6E-4653-BF0F-DA783CC7E6F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e3e0e02f26cf6f16215026e8bbcc2793ad09964","datavalue":{"value":"10.1007/978-3-642-12002-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557072$6F66A9E8-12C9-40DE-9D07-4B8074133730","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557072$F82448BB-9616-4733-AF2A-A8655679B822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd48eb61e203d5044e95bf99a9a9627aeaf2505","datavalue":{"value":{"entity-type":"item","numeric-id":1037398,"id":"Q1037398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557072$4FF54BF1-9CCD-422B-BE9E-44FAFF2BBEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557072$BF08234C-6FCE-4B46-AD94-9D30D9DB5552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557072$A8418545-895A-4B27-AC96-B6FBCFBFBF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83d8ec61027439beacb1c7637bee8423d090f3b5","datavalue":{"value":{"entity-type":"item","numeric-id":3557071,"id":"Q3557071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557072$2496BB99-4FD0-4597-B877-2F86F88C2915","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557072$9584ADB7-5E1E-4799-B481-571FB0868F3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557072$C46D0615-73B2-4962-877E-8CA943F3D8B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557072$EDDA1D83-D054-4B2F-A9C0-AC2CAE001AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557072$2A46A9DA-ECA9-4BF7-90A6-8FC2254C43F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1e2b86532a7d76208dd35af14e0de78f942a7ba","datavalue":{"value":"5702233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557072$16F4D078-88E7-4A24-88DB-484C74A70FEE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c8c84a072cc5c3de5a5cd7ba5a8a1a3a297d4f51","datavalue":{"value":"Q62041254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557072$9E007367-9088-4CF9-82D1-20779D2BB972","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8159bf0a919a0b8aef1e30e19d8f9c6cbe3ba79","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557072$CA89D39B-39AB-493C-B0BB-5C0A3D22A2F5","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":"Q3557072$141B4B67-E37F-4ADF-BFBA-3B3605D31FE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b20647eef014a1092e7dd3b65b301f50af206442","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12002-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557072$A0A24D3C-5ECD-41D2-9B62-EA8180E5E945","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa5c094f933cdaedae764bf64e9e5b8692bbd381","datavalue":{"value":"W1553068379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557072$A8538FA2-0459-4048-8844-6FE39BF62C02","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e964a67f9418566684c9a1ed4c6f7472d04e2829","datavalue":{"value":"conf/tacas/CimattiFGSS10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557072$819045BD-885E-4033-BC8E-9CBCA6BDF96D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9106f5e86e101ad9763bfa8efced152930103c0","datavalue":{"value":{"entity-type":"item","numeric-id":5756563,"id":"Q5756563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4cdd23636cfe8f05ef476f0d7dd81654fffb6a","datavalue":{"value":{"amount":"+0.8368770480155945","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":"Q3557072$83DF8B49-B31D-4EBD-8531-7343EBEB7C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16839c25443af1f0ca407fedc6c659d44618ee57","datavalue":{"value":{"entity-type":"item","numeric-id":2946768,"id":"Q2946768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36480596ce93be7c824d94542a387e1e9219078","datavalue":{"value":{"amount":"+0.8359836339950562","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":"Q3557072$55DA155D-E235-41D9-91F1-46618E7C0E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b961233a3efb66f19644c6ce2a0707e040dc24e1","datavalue":{"value":{"entity-type":"item","numeric-id":2908520,"id":"Q2908520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154cc860435242bb0a6fa0a10546bf5e721e6a4c","datavalue":{"value":{"amount":"+0.8112286925315857","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":"Q3557072$29BCF117-02F7-4FA2-9960-26CDEA5A95BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d7e2dbd9b7415727ff385a150af3699897965b","datavalue":{"value":{"amount":"+0.7879869937896729","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":"Q3557072$58BD0821-F2BB-488A-A277-3575A3DB986F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f72eaf64504f2ccdb990ca833e860e59816256","datavalue":{"value":{"entity-type":"item","numeric-id":5194955,"id":"Q5194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a0a8a0b1efbe9b2c38456269e10b8f39cbe5c8","datavalue":{"value":{"amount":"+0.7861406803131104","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":"Q3557072$E2D1108A-7831-4670-A190-986D96D62B22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557072"}}}}}