{"entities":{"Q5404935":{"pageid":7434509,"ns":120,"title":"Item:Q5404935","lastrevid":75627472,"modified":"2026-04-20T10:28:08Z","type":"item","id":"Q5404935","labels":{"en":{"language":"en","value":"Are good-for-games automata good for probabilistic model checking?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275882"}},"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":"Q5404935$ADFC60E3-FF68-408C-BC10-0CCBA2BFBD3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d76a60b292a52162b507729d9547d27be0e5c551","datavalue":{"value":{"text":"Are Good-for-Games Automata Good for Probabilistic Model Checking?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404935$BD3EDE2F-1348-4E4A-BF70-E131CE44CFAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c528c09dc95bcc6ff8976b26c62428db2c236956","datavalue":{"value":"1408.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404935$6428F8A9-A747-4D82-ABBE-6CADFE3303CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aabff7222da783fd63bc6a96106aea539b1bc885","datavalue":{"value":"10.1007/978-3-319-04921-2_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404935$CF5DD85F-A7DB-4A51-B504-225076CAEA47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25777c84de0bec6686a1c05a5e686b2e7021d4cd","datavalue":{"value":{"entity-type":"item","numeric-id":860861,"id":"Q860861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404935$CE0408DB-F4C2-4D37-940C-9CBB9A4F467F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab0b86ebccd10592dbeeb4a2884ac12bc359108","datavalue":{"value":{"entity-type":"item","numeric-id":321897,"id":"Q321897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404935$0E9F8C62-15D9-48B5-953A-E8B5274196A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed2781b53a0a8b46d604dc9c062a87a23780da56","datavalue":{"value":{"entity-type":"item","numeric-id":967522,"id":"Q967522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404935$BB60D2BF-35A9-4BAE-B974-87B3A3427E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404935$55948F10-BEB6-4361-A6A2-2762D8DD4D81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404935$29555AAF-55CA-43A6-93B5-B04CECE222C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e689efeed0c46be7915f5b012baebda52ae8ac8e","datavalue":{"value":{"time":"+2014-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404935$E2833E3E-D185-4CDB-8CFA-C8629A3CD76C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404935$66DF5C1B-732C-4BFC-84F0-FB753C4AC1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404935$B1A40533-7F5B-4612-A3E0-3CEFDDF6803F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b590a4537d3986afebb9313f9484ccd87777afb4","datavalue":{"value":"6275882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404935$3E5F733D-7F67-45BC-BBDC-843C641C7271","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":"Q5404935$38BA2840-02FE-4136-8212-46662691E998","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41933becad8d31b0e339acbbe8b1bf128a1229e9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-04921-2_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404935$0E6B90B6-A856-432B-A136-334F10736738","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af828929198b97519a85a83a2291d8dee87b6836","datavalue":{"value":"W2295849114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404935$AFE64A8D-4C81-40CE-967B-5277397153C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771760150652959d5ae0ede78e5a9e6926c508fd","datavalue":{"value":{"entity-type":"item","numeric-id":3449484,"id":"Q3449484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d96857fd49a53314d1a5a861e5d897fe5cf9518","datavalue":{"value":{"amount":"+0.8319568634033203","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":"Q5404935$AA760437-FAAD-42E5-8E17-52DDF2DB0674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f389a5f49b16d3badfcdbb472f9ea33feada4ce","datavalue":{"value":{"entity-type":"item","numeric-id":5145673,"id":"Q5145673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acde711af6b7b2e101cd936193c2177634b73f2c","datavalue":{"value":{"amount":"+0.8096479773521423","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":"Q5404935$C16E75CC-DAA7-4B49-9AE8-C39F06358DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f53c1d7a7743b43e958bcc3819e844fa2928e05","datavalue":{"value":{"entity-type":"item","numeric-id":5028456,"id":"Q5028456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65e7118f400e18d32ff34a107c4cd485d750bf4","datavalue":{"value":{"amount":"+0.8031403422355652","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":"Q5404935$65A33F22-023D-4A48-86BB-B3A363E13F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942a00b32d00d6ed84ebd7f000aca00f86386c81","datavalue":{"value":{"entity-type":"item","numeric-id":5136308,"id":"Q5136308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899569851f214aa6985aee671324e7035842259e","datavalue":{"value":{"amount":"+0.7801988124847412","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":"Q5404935$F4654FBF-5062-43AC-B9B2-3912EFB4520E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8f2ec2d9658e2b40782456474bbe3455a07554","datavalue":{"value":{"entity-type":"item","numeric-id":5039514,"id":"Q5039514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5176100b9a0b1cae9d6a570151effc83d3238515","datavalue":{"value":{"amount":"+0.7776569724082947","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":"Q5404935$DF6E421E-7E0C-4691-BBC3-EC27068DFBDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Are good-for-games automata good for probabilistic model checking?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Are_good-for-games_automata_good_for_probabilistic_model_checking%3F"}}}}}