{"entities":{"Q2075778":{"pageid":2086520,"ns":120,"title":"Item:Q2075778","lastrevid":82444697,"modified":"2026-05-06T20:55:28Z","type":"item","id":"Q2075778","labels":{"en":{"language":"en","value":"The 10,000 facets of MDP model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474189"}},"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":"Q2075778$905209EC-3E78-4269-BF02-101828E82D8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87506ed6e29b86a7687f76088eee8ab7045cc75c","datavalue":{"value":{"text":"The 10,000 facets of MDP model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2075778$378A4435-2D9B-4FA1-B011-85F4A745856D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ba7d555f99a1c83f931620f9fa9a9e33d48e1d2","datavalue":{"value":"1482.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075778$676CB811-BB7C-4A2B-88A7-6307A8A43FDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62a8d6a6e9b055aa3e576fdd4223d1935b342bef","datavalue":{"value":"10.1007/978-3-319-91908-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075778$DB1414D3-B76F-4F96-B226-D650A0BA5633","rank":"normal"}],"P16":[{"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":"Q2075778$B2F3CCF9-2487-4A9C-8933-74FEA5BE7ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075778$48A2C7F1-F476-4209-8BC4-2A7F2FB3F930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075778$ACD23A3F-DD40-422B-B105-B8C1A74FF27B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2075778$87D8F6A9-FAAF-41CC-910F-AB3381AD2B4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075778$809803A8-E353-4135-AE9D-09126A0B980F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075778$F5EE87C6-31C5-4A60-8D9D-350B0F464EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075778$96DC11DD-1DF0-4A60-9BFF-D0E5380899D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075778$FBAF2F1C-3753-4491-AB6D-17A4DE277408","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0120f1ec5306ed14e37e2946a5844f77dd13e39e","datavalue":{"value":"7474189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075778$4C64DF30-8A15-43D3-85C0-3CDF0A3BD7AF","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":"Q2075778$FFB141DD-0E1A-4380-955C-49DD9C7C3641","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3478132f14e3a12c04f20c98b3b8fe1bf141bbfd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91908-9_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2075778$089FF247-40CC-4DD8-9D4A-23E9AA5985D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad6f2624c6f82a7291e4f8bbb431fee21765912b","datavalue":{"value":"W2978709001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075778$613B1CF2-1576-431B-ABD3-64CBC4479C72","rank":"normal"}],"P1643":[{"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":"0db3662647c729cc3de12c312aa9793e7af11b9d","datavalue":{"value":{"amount":"+0.7982918620109558","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":"Q2075778$7B2695F3-2E4C-4C78-849F-EFBB7319FC61","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":"ff95e790898afa9bf81cf27f3b39c9edf753fa2f","datavalue":{"value":{"amount":"+0.7831824421882629","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":"Q2075778$DC5ECC50-E464-4FB1-B0D0-D11BA41545C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb69d8da3c536cc58778586bd7d011b5355d4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3591387,"id":"Q3591387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db4d3e78811fb21cac419277f44009b96c782dd7","datavalue":{"value":{"amount":"+0.7758029699325562","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":"Q2075778$754F8C45-C587-4B3D-8E67-88C1F1ECBEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08605333b3388718fb8982ab80321d7daa55bb21","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f91f16057dbee70a2b0a14fe1bbe566ef03ddee","datavalue":{"value":{"amount":"+0.7668038010597229","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":"Q2075778$356663CD-04F2-4A0D-8F48-EEE54BFB8C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4947bf0221aa37049a819bdd1edcd87053e9cdb7","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b80b51996b84f90da01205bd019d96af340e60","datavalue":{"value":{"amount":"+0.7661832571029663","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":"Q2075778$25A020E8-F300-426D-AF38-60423191BDBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The 10,000 facets of MDP model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_10,000_facets_of_MDP_model_checking"}}}}}