{"entities":{"Q5458367":{"pageid":7487926,"ns":120,"title":"Item:Q5458367","lastrevid":50333900,"modified":"2026-01-13T20:27:17Z","type":"item","id":"Q5458367","labels":{"en":{"language":"en","value":"Model-Checking \u03c9-Regular Properties of Interval Markov Chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262416"}},"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":"Q5458367$74A5F1BB-55FF-4DE8-8F40-D0F7C2190507","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab72f66fab82a552674d14e053937dc0157c1323","datavalue":{"value":{"text":"Model-Checking \u03c9-Regular Properties of Interval Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458367$579D8493-989F-447F-B851-DDC30EE2FC8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aff939234254fda3bd5daf9d502d5cb48c93d7c0","datavalue":{"value":"1138.68441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458367$18BC3A1A-99BD-485D-B0B5-0CB9434BF2A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"945700a4a1a988d2d2fb4f9f784aecc21d5d70fa","datavalue":{"value":"10.1007/978-3-540-78499-9_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458367$38C643F9-8EE6-4074-BAE8-A8A58854B346","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$CDFC629D-B623-4D00-BE9A-3D76EB1AC274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7985a67137d89b6818ca4696fb87e88f7da593b0","datavalue":{"value":{"entity-type":"item","numeric-id":2851058,"id":"Q2851058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$D9A35776-F4B3-4124-8E42-93E694571012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$FAF40395-456E-4F9A-A4B6-16A26A4BA161","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$E6409C41-E98C-49CB-8B4C-62F717874D6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458367$7DBC14FB-E172-45C4-895D-CBE01CF98F2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458367$5412E269-071A-419D-BBF1-66E378505067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9542be734f58ac3a8edd7d53afd6801006726a26","datavalue":{"value":"5262416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458367$02A2E785-7BB1-43BD-843D-1DCBA96F983F","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":"Q5458367$E66FB747-F872-457B-9C2A-0D432C337BA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61bcd208248cfebf762b65d33250509d6d8cb217","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78499-9_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458367$F166C8E7-D570-4E73-8FE5-366FA60BA84C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"530f2b6dc772d57cb5a19a829b0ff46dec1b948a","datavalue":{"value":"W1822323017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458367$1F2FB8F3-E0A5-477D-859B-F9469685A547","rank":"normal"}],"P223":[{"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":"Q5458367$0D31A140-1E51-47CC-BDA1-813AE74E412C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e9a29ecc80627a0cc89632ef849db579cddde0","datavalue":{"value":{"entity-type":"item","numeric-id":5501249,"id":"Q5501249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$C9333947-237F-4EF0-97EB-D5BABC543578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$E3C94BED-591E-41B9-AA39-81E6F773A46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$CC9C18CF-0C30-491E-BA31-0AF89993293C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eeec6f235d21a7744312a54a3904016dbe38db","datavalue":{"value":{"entity-type":"item","numeric-id":5899037,"id":"Q5899037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$3771E83A-9A16-4C1C-9FCB-8594BBBFD9B1","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":"Q5458367$36FC4D8A-9EF8-4420-B925-710B7EB4C2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$8F4A6253-3DCE-4E13-8E7E-862F21A62D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a6b288a9007533d8ca32334659b6027ea5ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4118602,"id":"Q4118602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$6E24CCFA-9515-4CF8-A0B9-E0C8578D32ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca0dfbabe87718a98669f948be44f1e94d44e10","datavalue":{"value":{"entity-type":"item","numeric-id":1597639,"id":"Q1597639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$06F4B1E2-6D0E-45E6-81B9-43F26FE702FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0013b511ea61f98a91c5d9a0683a8656f9dd75f5","datavalue":{"value":{"entity-type":"item","numeric-id":4821979,"id":"Q4821979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$974284D8-3F5B-46F0-8756-9DEDC9DB32CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a9f83117fd462d3ee5107348c952878578438e","datavalue":{"value":{"entity-type":"item","numeric-id":2171255,"id":"Q2171255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458367$41FF2303-1C07-41ED-AEA9-C3D04CF4E113","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e89f5e91ee838cd0de6f61223649f137eb4fae6","datavalue":{"value":{"entity-type":"item","numeric-id":5899070,"id":"Q5899070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6761eb8a708278f219f4a6c2b0e6cc0c00d4fe69","datavalue":{"value":{"amount":"+0.9564893841743468","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":"Q5458367$61181EE3-16AF-4BDF-B22B-FD52C6B7AFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3264c2e57ed48e575894423a57de7c99b0fc5915","datavalue":{"value":{"entity-type":"item","numeric-id":1943636,"id":"Q1943636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ab827f6c656ab23949fd8564e4d63a8f62ce5c","datavalue":{"value":{"amount":"+0.8877142667770386","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":"Q5458367$8D0BA8DE-8EA5-4F7E-9EEC-A416393CFFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aac48a355c9f58ca45fe5f3fa30f5a58a33ee56","datavalue":{"value":{"entity-type":"item","numeric-id":5326312,"id":"Q5326312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d92d91070608aaca22902b5901d1305d2c16ae","datavalue":{"value":{"amount":"+0.8724024891853333","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":"Q5458367$B62A6DB0-E4C6-4624-AF4D-2B310961873E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4bb982b95039c485937c53b440168936467a99","datavalue":{"value":{"entity-type":"item","numeric-id":1649575,"id":"Q1649575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021a2bda1aedb42bb414793520617f1e890661db","datavalue":{"value":{"amount":"+0.8436352610588074","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":"Q5458367$F7277DCA-9FCB-4203-8BD6-A4A1F02A2483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7688fb53d2050af8f513e80783eea30cffb57ad0","datavalue":{"value":{"entity-type":"item","numeric-id":6041189,"id":"Q6041189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801fa155c200d4d8c25519720be094497949e823","datavalue":{"value":{"amount":"+0.8356833457946777","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":"Q5458367$FC66EC64-EC6F-4D12-9623-9B5464A88430","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458367"}}}}}