{"entities":{"Q3408150":{"pageid":3418853,"ns":120,"title":"Item:Q3408150","lastrevid":50913539,"modified":"2026-01-15T17:42:05Z","type":"item","id":"Q3408150","labels":{"en":{"language":"en","value":"An optimal automata approach to LTL model checking of probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5674842"}},"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":"Q3408150$33FCEC98-DEB3-4338-B61F-F3816DB3C66D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab5c55308cca78d3e00e73721964aade2bce6c08","datavalue":{"value":"1273.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408150$BB7D58BA-7DA4-422F-A2C6-4B070B455219","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81dfff41ef8bd471c2c0ce88bda98a144d983b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2766556,"id":"Q2766556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408150$CBC20F36-13FC-4E09-B37F-38C0C1564006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8959a5a3622fdb12acec198f3d04204bdd272b5b","datavalue":{"value":{"entity-type":"item","numeric-id":672090,"id":"Q672090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408150$9B0F2694-0D55-4FDA-AF38-8BC82723C8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408150$AFB2BF81-475F-41BA-AF03-5322F9D2DA28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cd58fa7916be1dadd68e97310e9b33bd528be1d","datavalue":{"value":{"time":"+2010-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3408150$FFCD6D5C-C546-4E80-87C0-E258BC04297D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408150$804EF6EE-6BA6-4081-9EA6-68BBE27C0FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408150$936985DC-CDD4-43E4-B4A4-38CDCE4287B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408150$1493F140-8E37-48B3-8830-0EC307A18E1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73c7048f1399fea0d0302b7bb04fd15d5a1387bd","datavalue":{"value":"5674842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408150$9006CF02-CCE1-4727-96F2-BCDF455AEA82","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":"Q3408150$CBA3CB78-A840-497A-9601-9CEFD755B7D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40febbc263f8d1bea2e6fdcba546d88d0930af5b","datavalue":{"value":{"entity-type":"item","numeric-id":2938064,"id":"Q2938064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9334d5febd78fd84348bb0c86969e6d7078e870","datavalue":{"value":{"amount":"+0.7713100910186768","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":"Q3408150$11EDC84F-09E2-4E62-AFC1-8FA8877AA45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d971d740b4f75418707268d96278134fcf087794","datavalue":{"value":{"amount":"+0.7571753263473511","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":"Q3408150$30F07B60-F0DD-4CB8-9E38-91ADB7867992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c573938e85c0b2ca81197b627607f48161f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":3457793,"id":"Q3457793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24312de19407e05bcf094383c51efbbee5b68b7","datavalue":{"value":{"amount":"+0.7570316791534424","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":"Q3408150$53DD5AA5-4F42-4EE2-832D-ACCDEC610ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527fa8af777d27b52d2cd65bfd9010a03c415fe1","datavalue":{"value":{"entity-type":"item","numeric-id":2272912,"id":"Q2272912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e7e81ad8cf84438a815875fabd051d363fc21a","datavalue":{"value":{"amount":"+0.7514597773551941","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":"Q3408150$24B2FE1B-14BE-4AA4-A950-54879A5B2C0B","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":"6a57fba8c7db460bf1636f55731aa96cf64e2f63","datavalue":{"value":{"amount":"+0.7500311732292175","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":"Q3408150$C994BDEC-865B-4624-A71E-B0C5F2C3B2EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3408150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3408150"}}}}}