{"entities":{"Q6535604":{"pageid":14146747,"ns":120,"title":"Item:Q6535604","lastrevid":57343527,"modified":"2026-03-30T14:03:32Z","type":"item","id":"Q6535604","labels":{"en":{"language":"en","value":"Correct probabilistic model checking with floating-point arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798019"}},"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":"Q6535604$843A46CB-243A-4A5B-85C3-403040D4D72D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce96bd073e710d02e6b8c81648afb691fadbaf59","datavalue":{"value":{"text":"Correct probabilistic model checking with floating-point arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535604$13FDEEDA-CDCF-4D18-B290-942AE565A500","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14e1e6a302f7d8a9cf090745040ab7ba0064fb92","datavalue":{"value":"1547.68429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535604$62FB5DCA-D283-4078-BEEB-D9E7F27E63E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9bcc7a6472b04ee3285249ca761726bb3e6fee7","datavalue":{"value":"10.1007/978-3-030-99527-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535604$B289D7CB-6377-4783-AD2A-1B28B5550B03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7587b268e1527b1fafbccca805f2d5bdc79d38c","datavalue":{"value":{"entity-type":"item","numeric-id":832047,"id":"Q832047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$09B74273-2002-4EBF-A647-AC826A99E240","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535604$4132798C-19BA-4375-B9D0-CA96F8B1E65E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535604$43AD6F25-9966-48D4-8921-8013EAAF8A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535604$50DEAB3C-45F6-472B-BF1B-46F439107194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e06e46022647731fefc35326d4089720de4281a","datavalue":{"value":"7798019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535604$9504FE15-0D4D-49E5-9C73-FBE75D9A8BB8","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":"Q6535604$D3D124DC-BE57-4ECF-A89A-E1AE7C5A5EA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$C0B32C8F-E7AC-4D18-A107-C85882A85727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57993b759db3263493d9535a7fbb42946774ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2151242,"id":"Q2151242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$65132B3E-131D-40B6-B01D-86899EBF76EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$77BC0118-3371-46C9-814A-F9DB3166EBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7478f7e5eb6073b49fc25f1cf590815bd02a9a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3457782,"id":"Q3457782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$FDEB0B54-95F9-46C4-9ED1-0C361F2630AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782d668c2c8d680b64d5fbe30ceacb4e76140a53","datavalue":{"value":{"entity-type":"item","numeric-id":5365120,"id":"Q5365120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$C9ABBFBA-F533-4A50-A776-4833E94DF214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce32087d1da7cec38389830a5d4c77282c9a4c6d","datavalue":{"value":{"entity-type":"item","numeric-id":3512436,"id":"Q3512436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$AD074AE2-8713-490E-8450-F3AF36C2C51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58400827380938aad7d677a98b8a5e5ffe76ed0c","datavalue":{"value":{"entity-type":"item","numeric-id":3000641,"id":"Q3000641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$4E742B33-5397-4FC3-AB2A-C17978A43D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c7d2585bbc0e61d6a06515c003be877f00a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":3447700,"id":"Q3447700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$72518CD0-3F4A-4BA0-9E29-592A58CFFB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95487db302426a7e48ab59e40ae2b09099ff781f","datavalue":{"value":{"entity-type":"item","numeric-id":2636515,"id":"Q2636515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$EBBED21C-76F8-49CE-BE3A-F1BA7E830130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b406f9b9ed254ac478a4a13f1c477e4396481d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2248073,"id":"Q2248073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$DD3DFE21-130C-44C1-B93C-16E2727EBC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$0432B3E9-393D-454D-B702-34465D742DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b120062f57339fca997efc29520af66709e19b5","datavalue":{"value":{"entity-type":"item","numeric-id":2441804,"id":"Q2441804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$B2F8E491-7750-49D3-ACBB-EB93C4C864B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02b4e6f5ed1a2113f1a8462fe48b8cc23c4fb92","datavalue":{"value":{"entity-type":"item","numeric-id":2226755,"id":"Q2226755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$B250807F-7AC2-4EA4-9CA8-3BDFC32D36B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$2ACD49CD-6822-4D6A-9F18-958D7AE5C1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$08BE1A06-6FD4-4172-AFEC-17420A1B91B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$7B650B8D-F24C-4CEC-A610-8E47A8DCA817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d033e9f6c2e008bae337aef25622a51fec6636ac","datavalue":{"value":{"entity-type":"item","numeric-id":6041136,"id":"Q6041136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$831C5DB8-80B4-474A-9115-2D79022AC702","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfec6b3a03c5f4610c8c700d29930cf42eb3b5ae","datavalue":{"value":{"entity-type":"item","numeric-id":3528912,"id":"Q3528912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9892e4ff2bfd65412de1013b37ddc9c8089386d","datavalue":{"value":{"amount":"+0.8023679852485657","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":"Q6535604$C344E8F7-1307-4F5D-A817-CEF55833E187","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":"f68bf3759c77781b42b8d6623d29c3c8515e5615","datavalue":{"value":{"amount":"+0.7784293293952942","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":"Q6535604$7E1E1037-8E32-46E5-B879-CB051179F70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1785c1e07de294da8d3d7ad6c8946c960b6bc8","datavalue":{"value":{"entity-type":"item","numeric-id":5898615,"id":"Q5898615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a056e0f71f95c5d6ce6598fde1ec13f5082803ce","datavalue":{"value":{"amount":"+0.768036961555481","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":"Q6535604$CED41B9B-F09C-4D2E-9C82-F5586A8B040A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7f4d63151a11e936f0012ed4eb5ea493dbeed9","datavalue":{"value":{"entity-type":"item","numeric-id":2151242,"id":"Q2151242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd3c897c742fac3a1e8d8cf681a8622da38a73f","datavalue":{"value":{"amount":"+0.7484331130981445","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":"Q6535604$23E33B13-D90F-4AFA-856B-94D26B7E7FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0014a567cade21aae6bc9842fabd6fed518993","datavalue":{"value":{"entity-type":"item","numeric-id":3510828,"id":"Q3510828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96edcdd0ee440e440d7b9788ce95ea4cb38d41bb","datavalue":{"value":{"amount":"+0.7475726008415222","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":"Q6535604$BD00ADE5-6234-46FD-84E3-4D69A7E2D36C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535604$667AB396-5306-49BA-A362-E5FA7E8F247A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535604"}}}}}