{"entities":{"Q4649307":{"pageid":6678888,"ns":120,"title":"Item:Q4649307","lastrevid":51600941,"modified":"2026-01-19T00:38:34Z","type":"item","id":"Q4649307","labels":{"en":{"language":"en","value":"Verification of partial-information probabilistic systems using counterexample-guided refinements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109379"}},"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":"Q4649307$FF4CEB95-5A68-46B4-9EC9-79E39583303F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"091dbc62295693674d2a58d4d86b30a54ad9965f","datavalue":{"value":{"text":"Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649307$FCDDE92E-848D-4FF0-A6D1-4DB844BB3EE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf1346a90a2d0e97b668bb2aa9178b58b55066d","datavalue":{"value":"1374.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649307$D514F08D-E28D-4833-BAF3-EB95DE0AACE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68195dbc34e05d5fa6ed4fb0eb502cad77fa6c7b","datavalue":{"value":"10.1007/978-3-642-33386-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649307$D9EDA00A-F4A4-4D1F-A646-B1AAFA858201","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5a88c9258d1d7eeba3f936cd26eef9a02ebfd9","datavalue":{"value":{"entity-type":"item","numeric-id":2453110,"id":"Q2453110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649307$7049D053-308B-4822-BD8D-3AEDAF97465D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2454ef4c60ffd42a384ce6155facd03e877811ba","datavalue":{"value":{"entity-type":"item","numeric-id":259049,"id":"Q259049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649307$FB5F7AEE-8395-4830-822A-DEE1732AAF63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649307$707DFAB9-CD46-4251-9A84-3C8B1F9325D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-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":"Q4649307$D59D1DC2-7C7A-4FE0-AB85-BF02BC817C70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649307$D1D58929-1039-4D34-85E3-B91B0902E175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649307$377DCD76-5883-4441-AAC9-113920FA5446","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5aa7a8b86a2ec1abd5b66809bfea29fc77422461","datavalue":{"value":"6109379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649307$826B438F-948E-4CA4-B453-A1B44D31BC10","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649307$DC69BF2C-24AD-4BD3-BA04-A7D59A1E1E32","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":"Q4649307$73F0425E-CF35-4D0A-8E90-69986DC21458","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5b40e28c69225a83f599430c887da7f4358dcc7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33386-6_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649307$97A01DC7-5CB3-4FD6-BF93-440276B986A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c60ac7d8ea7617abfc1b3a48ac144c702dedbae","datavalue":{"value":"W105489851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649307$E74671D9-A706-404F-B026-B9F5AB2DF530","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0db4b9fa6254fc1affc1d8cdcbe888144c92828","datavalue":{"value":{"entity-type":"item","numeric-id":1699230,"id":"Q1699230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a656db6d92eab49c10d005ef28a266f27deb15e","datavalue":{"value":{"amount":"+0.7664917707443237","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":"Q4649307$D3D891C5-0782-4DD7-90F6-4E0F0F61556F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455599aa24a576c7bfbacea34713159d1e675b48","datavalue":{"value":{"entity-type":"item","numeric-id":2945599,"id":"Q2945599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1343d36d78ba55b780e991528d711ea73d89bc8d","datavalue":{"value":{"amount":"+0.7523768544197083","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":"Q4649307$ACE9FA35-E62E-40A6-BB6F-561ECF90B9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c309999bbf974b7132c51b3b41f6b52e6548b44","datavalue":{"value":{"entity-type":"item","numeric-id":3651281,"id":"Q3651281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0120ed998e0c466699ffc92ebc710ee2d204e1b","datavalue":{"value":{"amount":"+0.7465476989746094","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":"Q4649307$53500C56-DE81-4AB5-914C-2C8B1DFF7FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f98f6f76a8455a7573440823a0a5c4197f95d0","datavalue":{"value":{"entity-type":"item","numeric-id":4798031,"id":"Q4798031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9930af9ab60121585f4b78811108d591da9a4714","datavalue":{"value":{"amount":"+0.7400598526000977","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":"Q4649307$3BF72FD9-6C63-4CC7-B581-A42C10E26A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a0960144cd582f58081595ad5f5d7fcc34fe36","datavalue":{"value":{"entity-type":"item","numeric-id":3184684,"id":"Q3184684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52dfeb6e36835d62866509a449dae31aa92112c5","datavalue":{"value":{"amount":"+0.7340441346168518","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":"Q4649307$C8FFEA12-1FB2-4DA6-A3E8-F2AF3982FB82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649307"}}}}}