{"entities":{"Q5166673":{"pageid":7196245,"ns":120,"title":"Item:Q5166673","lastrevid":52037093,"modified":"2026-01-20T19:39:11Z","type":"item","id":"Q5166673","labels":{"en":{"language":"en","value":"Automated verification and strategy synthesis for probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314142"}},"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":"Q5166673$B52E0AC3-2E99-4611-AA7D-97621603EE2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71c22cc00c3b7f933a841ca7a6c95ff9d7f0357a","datavalue":{"value":{"text":"Automated Verification and Strategy Synthesis for Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166673$A2FD963B-5AFA-47E2-90B7-2A0D864A8DC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d9a68701146ae4890b865d913d8e163bedc0ee1","datavalue":{"value":"1410.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166673$45EF232C-97ED-4822-92CA-92909B28DC77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"587d4de3b25689ad7173b46797d2fcebececa7e5","datavalue":{"value":"10.1007/978-3-319-02444-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166673$816ABEF7-70AF-43C5-AFDB-2EF58E89029C","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":"Q5166673$B05A0EE8-D446-449B-A2CC-DD877934A260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166673$B0C19CEC-C156-45A0-82FA-8AF82B032E00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166673$7F704329-FD7A-4A2D-AA32-DF4DF6716F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166673$01B83DCC-E51A-4BCA-BB84-7A38A367DD5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f8470a93d232364639ec14e770802a87ff9cd9f","datavalue":{"value":"6314142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166673$8ACAEF27-128C-4832-A45D-1B098FC8A318","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166673$30598A05-4061-4161-BA84-2A59AB7839DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70f3fe4d2fe10b7c926cf6b5186ff4c9bbf9e099","datavalue":{"value":{"entity-type":"item","numeric-id":24857,"id":"Q24857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166673$113C9E9B-B0AC-4537-AC06-A42723E304D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166673$705FE93D-53F0-4249-BC50-B8549E79603D","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":"Q5166673$DA34AC1F-3E09-473C-9F60-F6EC0032522E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56a2153ac1e23d80d46f69b5f909ae3d501e1855","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166673$831ECF4C-43ED-494D-9DCD-276F7F45E8BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"594f742bdc8a4337713784916425d55f4cfba549","datavalue":{"value":"W117911312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166673$5CDEE8E7-53CE-4A8C-AE3E-C7132CB81B30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38df574bcda4459ff8af7b227358dc29f7cc426","datavalue":{"value":{"entity-type":"item","numeric-id":4598136,"id":"Q4598136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c5df9fd255ffc34b3e08c9e321accc610ec6e3","datavalue":{"value":{"amount":"+0.816852331161499","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":"Q5166673$36204ED5-9B91-410B-9E9B-A374639211C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e98e9a8c1c8cb2d5abc6a2ca591b07594f66b7e","datavalue":{"value":{"entity-type":"item","numeric-id":386007,"id":"Q386007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a3ca008a1ddc3a487d1aa631ee8171612fec56","datavalue":{"value":{"amount":"+0.7935932874679565","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":"Q5166673$DBB76492-E2EB-4F11-9988-2DC320BBD852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52afcdf1c63fe967a49023340bae7bc23892f419","datavalue":{"value":{"entity-type":"item","numeric-id":3000641,"id":"Q3000641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01415ef4e98c48a4ef94e95a9d5b753d0e134d9a","datavalue":{"value":{"amount":"+0.7926127314567566","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":"Q5166673$3D4C05EE-66AA-4630-8A8D-892752977C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513d6e0fdf49f0b9c781d5b1bb445392634b3d98","datavalue":{"value":{"amount":"+0.7782489061355591","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":"Q5166673$B6EF29D2-C248-4FC0-902B-DA914220E0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6940affb1624d667aea4dee3ebacacb9b345af66","datavalue":{"value":{"entity-type":"item","numeric-id":5072555,"id":"Q5072555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ce08bd2c5fd3a04257912b84f9ea39941aca38","datavalue":{"value":{"amount":"+0.7661342024803162","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":"Q5166673$6EA2B52D-091B-4173-AFEF-633835AAA066","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166673"}}}}}