{"entities":{"Q2894281":{"pageid":2905006,"ns":120,"title":"Item:Q2894281","lastrevid":51501119,"modified":"2026-01-18T13:01:07Z","type":"item","id":"Q2894281","labels":{"en":{"language":"en","value":"Verifying pCTL model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051096"}},"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":"Q2894281$A2244ACC-4329-4BB4-8AA0-A5C90317B935","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e49a1ecf7fe84120fd2d969b025ccb8505f6faf2","datavalue":{"value":{"text":"Verifying pCTL Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894281$B61E2C81-F82E-4F47-A08C-E34AB18155E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"746562bc894b063c6bdbce0c84573ac8f67c32cf","datavalue":{"value":"1352.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894281$91A2979F-9344-4D58-9E5D-7C46FF3FC67B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4dda13d718b0993594f66d86ba0fb2083a6fda7","datavalue":{"value":"10.1007/978-3-642-28756-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894281$2EF94E74-2B56-4C56-91A5-DD2FA2C3D2F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d6620daf8648b9713aa99490f0508510abdae9","datavalue":{"value":{"entity-type":"item","numeric-id":1687531,"id":"Q1687531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894281$BF3C1C6C-93A0-4BB1-AAC4-C3D219374095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894281$8191946C-2640-4024-BD01-4B533E80D85E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894281$D98C8250-1937-4276-8E23-6BDC5A9654D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894281$5905D0CC-CF15-4AD6-A681-55DE9441CB9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894281$EB942321-9DA8-45B0-A05C-5B8B74BBCBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894281$631B5789-27C2-4B08-A9B0-C4C757F39E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894281$EAB4F936-83C3-45BA-ACF2-1CEDF38F346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894281$2806CD8E-22BF-44BE-BF62-226E758B7116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894281$BF36EB1A-30B0-4CF7-8126-E1F6FFAEBC3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"269ffe9e1260a21c1d4b7f884b60e50592496d8b","datavalue":{"value":"6051096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894281$E1AB17C0-114E-431B-8F50-28A3C7E2BD83","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":"Q2894281$1DE31A87-A33D-4D25-B5CA-84A2499C0490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894281$6D8F3B34-C067-4258-86D5-1D336EFFC1F9","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":"Q2894281$4CE99D6F-15AC-4FD6-ADA1-378084D2FC5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51c70f17081de4ec513a6e6622aed74ca6864887","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894281$8C60E5B7-9F22-4412-A1AA-BC8E3E808F13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9288c97aff5cfcde3de914c08d14981cfd09cfca","datavalue":{"value":"W134281090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894281$450C442B-E4A9-4827-AEFA-7DFD551B3BF0","rank":"normal"}],"P1643":[{"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":"66c9827a2cd33cc0e1b2afc703212f8644a35727","datavalue":{"value":{"amount":"+0.8242292404174805","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":"Q2894281$45899304-3673-457A-A2F6-D051E5428C81","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":"21c10fa44c58d08a3bced9e3cb3313e8d5b17a98","datavalue":{"value":{"amount":"+0.8069588541984558","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":"Q2894281$AC14E7E3-A00C-4F60-A4E0-A24D8B38812E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89da0729a847f4865c3e8aa8ea876ecab447aae1","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9e3e0c499c391109b2813d44d30357eb79f0ba","datavalue":{"value":{"amount":"+0.8042329549789429","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":"Q2894281$9F00FA37-FD3B-482A-971A-D6CA82B5EA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b28be15f4094b77ff04345904a366f4adf8cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49c4e1013c3a5b14b664381de61fbf7b24d9c9b","datavalue":{"value":{"amount":"+0.8024776577949524","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":"Q2894281$9FAEBDA8-A4D1-4D68-B5C7-16A0043EB78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e9450aefe4127ec255dfa6c339bd776ae2bb58","datavalue":{"value":{"amount":"+0.7982182502746582","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":"Q2894281$4EF0ACC7-F3EB-4A24-8D18-B931EA94FCD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894281"}}}}}