{"entities":{"Q6536352":{"pageid":14147495,"ns":120,"title":"Item:Q6536352","lastrevid":55637335,"modified":"2026-02-17T20:08:09Z","type":"item","id":"Q6536352","labels":{"en":{"language":"en","value":"Ontology-mediated probabilistic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7835035"}},"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":"Q6536352$5181FE55-BCA9-4C6C-B332-E136D1C3C1BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"997c128fe5b559524a4dc4326e5031eb9fd2bbbf","datavalue":{"value":{"text":"Ontology-mediated probabilistic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536352$050E2AEA-0CC8-4D27-A87E-D2F5D0C5764C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa181e0ae5a91a762b08ce9b3009fb4185f049a8","datavalue":{"value":"1540.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536352$696E60BC-08D9-42B9-A02F-1AEE705BA7E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8939399700bf545e70b088e70fd967e4c3d9524","datavalue":{"value":"10.1007/978-3-030-34968-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536352$12AF8ED2-8FE7-4A3B-AA9C-E4FF11712A2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5a685543483d63933f096aecae849e7924d619a","datavalue":{"value":{"entity-type":"item","numeric-id":436313,"id":"Q436313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$D3BA981F-67FD-40FE-B87F-C9B9ECFBE816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c6c222b07d4409e78b345b2c503fed9cc595be4","datavalue":{"value":{"entity-type":"item","numeric-id":1687538,"id":"Q1687538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$DA0F99CE-B2CD-453A-A6AC-E57F616DA33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faedef3f910727c172335fe28739d2d60411f156","datavalue":{"value":{"entity-type":"item","numeric-id":465594,"id":"Q465594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$74B67876-9797-4904-B900-A83DD5947100","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536352$B939E817-D09B-44A9-BB8D-71FF30254C6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536352$82A4EF88-D1F6-4C3A-AD44-D5E2F0B7E7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536352$0E2430EE-34B8-418F-AB4F-6C71DAA1CD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536352$EB0C72A1-591C-4CF2-ACC0-E73263136ED2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46f5146959047331be89bb410351ff63898b9928","datavalue":{"value":"7835035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536352$E0FB7498-3C02-47E6-B665-CED0477E78EF","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":"Q6536352$B373A96F-4A2F-4360-82B6-41993B490E69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$80BBD306-F5B3-46A4-AB2C-042689DD1C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a16baafc6ee140316a692994ccb90efb963ec","datavalue":{"value":{"entity-type":"item","numeric-id":4012242,"id":"Q4012242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$3EB22C48-9120-49F3-A7E4-C38EBF381506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c6b44534452799ea8958ee898dc513ef598501","datavalue":{"value":{"entity-type":"item","numeric-id":2974769,"id":"Q2974769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$8B49D8B3-2C6E-4F47-8129-3978D6F44716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75543a4e9c83268541e1e4fadec50f71ef0fbec0","datavalue":{"value":{"entity-type":"item","numeric-id":2849489,"id":"Q2849489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$A9C38A02-C744-4D3E-ACEA-76B71D9A3F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$F91BCF35-B82C-440D-BAF3-1307AB0FF4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3905effc1a65bb2f78d56f44489334402499a65","datavalue":{"value":{"entity-type":"item","numeric-id":2970310,"id":"Q2970310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$08B3EB36-58C1-4A01-9F0D-74A77601AEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e090ea15ded718fe0410ea1e64ddce7b1f9aaf","datavalue":{"value":{"entity-type":"item","numeric-id":2462646,"id":"Q2462646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$267E8665-2280-48CE-A5A8-43D01261CAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$F3DB3E91-13BF-4055-97D9-A3F629C646A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cdae4996301c693db2855b30984eba101afb58","datavalue":{"value":{"entity-type":"item","numeric-id":4917617,"id":"Q4917617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$88AC1CB9-40F1-4E4E-A7C5-95B20E6B7C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab27431165540664640d5aa634c6148768b5aab","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$E4E71D86-761C-4682-B251-4BB4FE4E386A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09f4d36cec2f8d2be372c1fba34ac44956111e","datavalue":{"value":{"entity-type":"item","numeric-id":5325841,"id":"Q5325841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$19653702-3622-4567-B4A2-B124261BAAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe2ca627052b61bb070ac32ed62b1ed3631b7c6","datavalue":{"value":{"entity-type":"item","numeric-id":1694573,"id":"Q1694573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$A0B7085E-260F-4217-A6FF-07897AA2BC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51aac6bce5ccda718f13f5f0441a64e88db628e8","datavalue":{"value":{"entity-type":"item","numeric-id":5445729,"id":"Q5445729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$8F01916F-1616-4091-A7F0-780A18639C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$EE7B684F-A3CB-43AB-8708-F00525F45639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d85f7addec959984ab4d5dca798bff20b19473b","datavalue":{"value":{"entity-type":"item","numeric-id":3055811,"id":"Q3055811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536352$321F56A6-1D0B-4266-B81B-B4D02C508830","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596ba74f36482fbf00c56cd8387ef7b2b4ff080c","datavalue":{"value":{"entity-type":"item","numeric-id":2065528,"id":"Q2065528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e20d09ad43b9086032d1c362268910546f5c96","datavalue":{"value":{"amount":"+0.9480687379837036","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":"Q6536352$7CE2E1DA-EF37-4013-82FD-D4928E7D5359","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":"8d1085729c925f27561b43c3f7467e554a5f9297","datavalue":{"value":{"amount":"+0.7475582957267761","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":"Q6536352$FC1AF27A-7D05-4B3B-9F5C-6E64F8B49E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11d3a8d3f6dfc43d5712e833e44aa585b3ccf0c","datavalue":{"value":{"entity-type":"item","numeric-id":3406686,"id":"Q3406686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d66c127a873c1a3aa5db3122224d96d64913773","datavalue":{"value":{"amount":"+0.736677348613739","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":"Q6536352$4CB05E54-654D-44B1-9913-F175F13A2C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0014a567cade21aae6bc9842fabd6fed518993","datavalue":{"value":{"entity-type":"item","numeric-id":3510828,"id":"Q3510828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58313912d428ee205ea735201f1ff831fe132b7","datavalue":{"value":{"amount":"+0.7216796278953552","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":"Q6536352$43235B1F-EF8D-4114-8B5E-87893CB7FA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead8601a13b0a78410559e032867c7833a65ca0d","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2e02660eb799b3e6ba28f267f5099fb7186c2f","datavalue":{"value":{"amount":"+0.7166259288787842","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":"Q6536352$B09960D2-AE80-4FD4-8AE5-926CEF2FDD22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536352"}}}}}