{"entities":{"Q4608660":{"pageid":6638243,"ns":120,"title":"Item:Q4608660","lastrevid":82282238,"modified":"2026-05-06T20:31:58Z","type":"item","id":"Q4608660","labels":{"en":{"language":"en","value":"Minimizing expected cost under hard Boolean constraints, with applications to quantitative synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851931"}},"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":"Q4608660$3AC586DD-B265-4CD4-BCCA-9BECA81138E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c454397c0babec437b0e0ea0ebd4767863d815ec","datavalue":{"value":"1392.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608660$83F6FE90-160F-4834-872A-DC2F0F73068A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a72c2897604ebcff4918a7f3620c211271fb0d8","datavalue":{"value":{"entity-type":"item","numeric-id":1622946,"id":"Q1622946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608660$6098A7A2-5949-4FC6-AE68-A69A97496AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608660$B31E8DA4-E0BC-4625-A057-DC6B606A2E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bdf04a2eda4f33adea02eefb05fb5ab89217254","datavalue":{"value":{"entity-type":"item","numeric-id":2164235,"id":"Q2164235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608660$DE83354B-E832-4C21-B535-45F2779BB125","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608660$6BAF8C9A-A526-4936-8776-F559F1987A39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6e2a75c6810a09e2f6e33d192e16697e8a19d4c","datavalue":{"value":"https://arxiv.org/abs/1604.07064","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608660$07E25F58-6259-42D3-9ADE-A65C0A7F3A1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608660$20A2394E-5C52-49D2-ABAA-A1A7E3B02717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608660$43E09C1C-0A88-4BF0-BC97-15E9C0A47B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608660$E426BE98-C906-4D5E-905E-41E86225DD9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e5590aeaabc83048e330a493a19479e0665c076","datavalue":{"value":"6851931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608660$18914672-DEE0-4889-9906-9ADCC44E4F64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53a8ca4107058c78ca89dfc0bb23686430f5d102","datavalue":{"value":"stochastic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608660$0332EC71-BD95-45F1-AB1D-8BEE9288E538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb834ba55dfae28fa2caa2c5712498c6fc425ce1","datavalue":{"value":"quantitative synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608660$B69F4327-B9C6-4DD5-9B82-E082A14D4647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0180d853fbea02ba71da2703974527dd59fa502","datavalue":{"value":"mean-payoff games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608660$EB40CC2C-DE4A-4FEB-96DE-7C4F99905819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d04dbdad035a1499bdd567da951749fef0c1ded","datavalue":{"value":"sensing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608660$9BE097A8-BCCA-4ECD-B40F-1300EF400B7D","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":"Q4608660$48215D01-AB52-46E5-9F94-526A6E021B8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3c0c078e3bdb3f5fc989bc122da0d0d1f15a708","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608660$EEE62AB4-DCE7-4057-9D47-26E7F63FE3A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da56ffde914eeb52c5272b9c13ca816520afd05","datavalue":{"value":{"entity-type":"item","numeric-id":5278414,"id":"Q5278414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ebecbd4f836b8392a78e0a41b2012ea2ade1705","datavalue":{"value":{"amount":"+0.7792336344718933","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":"Q4608660$37C78B18-B5B5-41C1-8B0E-5BA0AD16FAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6b166ecf7fd7445718355f002efa34eead7b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5326323,"id":"Q5326323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ad4175a55d72a0fe4594563f668f8af135ad87","datavalue":{"value":{"amount":"+0.7709401249885559","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":"Q4608660$D1A252A2-2B0D-451E-A103-5EA2FA42BC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a55efd8a55ac22ef8dce18fe2aa0347417d889","datavalue":{"value":{"entity-type":"item","numeric-id":2965484,"id":"Q2965484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80449ec3d577515abd17bb32bd2f0c309ec08a03","datavalue":{"value":{"amount":"+0.765060305595398","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":"Q4608660$F84B7A43-CBBE-4A80-ABC6-7A8CFF603859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bb28b7692af1dd673173b78c0c92a536c25d3c","datavalue":{"value":{"entity-type":"item","numeric-id":528191,"id":"Q528191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab0299bf1f9809d74618f0777c1b4c8c754adc8","datavalue":{"value":{"amount":"+0.7649391889572144","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":"Q4608660$B57DC10B-1275-45F3-83DC-B2C40C798DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a63c2884cbf58bc139e6d746415ff2bd453333f","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb7733ce3549b0158445f00aceb3b9679b87d783","datavalue":{"value":{"amount":"+0.758371889591217","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":"Q4608660$465DF95C-EFE8-429C-9CBF-9B5952561BAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimizing expected cost under hard Boolean constraints, with applications to quantitative synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimizing_expected_cost_under_hard_Boolean_constraints,_with_applications_to_quantitative_synthesis"}}}}}