{"entities":{"Q1395428":{"pageid":1406168,"ns":120,"title":"Item:Q1395428","lastrevid":48129787,"modified":"2026-01-03T17:51:56Z","type":"item","id":"Q1395428","labels":{"en":{"language":"en","value":"Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1944743"}},"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":"Q1395428$70D4E660-BD7B-40E3-99BE-AE4D969E514E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd121c3675c56eaab35e8b5d3116b997f5683826","datavalue":{"value":{"text":"Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1395428$357A8BCD-4DC4-40CE-969D-6E94E379A154","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba09f17a52b4dc6db228e8acacce94f646dfbb1c","datavalue":{"value":"1019.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395428$49F77170-13F0-44E2-A2DF-4CBF545C7EF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c96368cd8730d5be40d0fa0beb401360301ab45","datavalue":{"value":"10.1016/S0304-3975(02)00612-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395428$7A188BE9-F36D-4F43-96DB-980DB296DA10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb7994e252aa9cc656a1cdd08ac08e998723d93","datavalue":{"value":{"entity-type":"item","numeric-id":406450,"id":"Q406450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$8BEF8FAD-3463-4340-BFD6-A3C5A2FF1FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$2900A39C-11E6-4CFE-A31C-F4864A66911C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$EED2A127-6CBF-4A62-B4C8-542509165964","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a64159b588e3459a5fca46f6d5073d79064c685","datavalue":{"value":{"time":"+2003-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1395428$9286A785-5B00-4CA6-A3E9-9EBA5390FECE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395428$7CBE4D60-964C-4F6C-A874-B38CD8E62F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395428$C69EB343-7C6F-4BCA-B071-520DD8618858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395428$E8BAF477-A7E2-424E-BC3B-939FC5147D82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a05c46ee68a92563253dfe78edbeb17450c9f5cf","datavalue":{"value":"1944743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395428$CEC00F4A-E6F5-46FF-8EA0-54FE6DE6E694","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0f6d653a0f43d8025af1f0657b568c95c5fe15","datavalue":{"value":"probabilistic temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395428$4563CC0E-E926-4B58-B133-F8E34C3975AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca87098a0819bfac0a5a4408b05ec800b77d7baa","datavalue":{"value":"almost-certain correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395428$AA2BD62A-C82A-4A6E-A4AE-2FA4BD02D699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395428$2EC47A51-4295-46A9-80AC-BEDA48906619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40971f5033e11f76c9ec957ec1402dd595b290ad","datavalue":{"value":"probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395428$1ED8D6DD-9322-45E4-9E9F-5C4B43C63960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395428$261F82DC-2348-4CC3-834A-88FBEAFC2087","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$74C7D40F-FEF2-43F3-85FC-96D937EFA691","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":"Q1395428$BA69D7E4-8BBF-4F55-ADAC-71A79A2D214E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$F435D273-2E75-4B1C-9AF0-716B53D8734E","rank":"normal"},{"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":"Q1395428$78CB9D64-DB48-4D5B-957E-0F5A45EC6DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$AA71FDBE-65FD-44DB-B01E-97C4D5B96D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$A5D0AF7E-A3E8-4B59-93DF-ED30DEDEF839","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":"Q1395428$D8ACC216-69A5-4085-98FC-E284E6A85E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$843BD6AA-23E0-4AB1-8FC6-6FED3FEC5E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$FC7E9E49-1314-4C24-A77A-B203A53B4A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$6CF6BF4B-0B89-4F3E-BE8B-4D488FD813C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a47ee12f4bcf41dd0ddcd6bc6af43e562c9669e","datavalue":{"value":{"entity-type":"item","numeric-id":5925822,"id":"Q5925822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$CF3264AC-AC96-472B-B0A6-22E3E00F3ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e099c965c6039df73b17bc3c4893b6e2ac21b4","datavalue":{"value":{"entity-type":"item","numeric-id":4370249,"id":"Q4370249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$44008705-10AB-4763-BA2A-0E1F2927125B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5e2cc30168caa30a33e1b1de6728a64c7e5882","datavalue":{"value":{"entity-type":"item","numeric-id":4934885,"id":"Q4934885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$8028597D-F023-4B0D-B737-DA146AC700DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288242718e3c927db37f8dbbb0c11f4c7a610e5e","datavalue":{"value":{"entity-type":"item","numeric-id":1803654,"id":"Q1803654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$9B661AB9-A637-49F2-9837-702495F892DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355736aab0d2d42ab9391cea6cea55db3559b261","datavalue":{"value":{"entity-type":"item","numeric-id":3316558,"id":"Q3316558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395428$11BA244F-F07A-4868-A982-67774D7720D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e86ac960948c83b65ddc25ba9142b9e72fa52f9","datavalue":{"value":{"entity-type":"item","numeric-id":2703741,"id":"Q2703741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e795a54ce17bb4ca70325fe9b30b3050f6fd06bb","datavalue":{"value":{"amount":"+0.9605193734169006","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":"Q1395428$92D23625-E835-435E-AAFA-1B31C3BF981C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6da5093077fb2c906dc396a569c4906009586d","datavalue":{"value":{"entity-type":"item","numeric-id":5395118,"id":"Q5395118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a2814d90ba760bea6fd5f1fd18a89005ee30db","datavalue":{"value":{"amount":"+0.7572813630104065","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":"Q1395428$621118C1-2B19-48C3-9C03-BB9F6D46076C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6145a40c5d2afbcd19d7b48b52bb00296d6f75b","datavalue":{"value":{"entity-type":"item","numeric-id":4722046,"id":"Q4722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9774ed123afb62b1d5fbf27f7f231234aba07b1d","datavalue":{"value":{"amount":"+0.7564916610717773","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":"Q1395428$3999E161-59A4-4F1D-89CD-0FD67E9C31FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac11ee7a9415a3a0d42c06d93773f69cdd301c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934885,"id":"Q4934885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aadd613b7b163af2bedf528077687947cb1ca8df","datavalue":{"value":{"amount":"+0.7518258690834045","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":"Q1395428$7276C900-7406-49EC-878F-5CA8284EF90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f6e6b670f4244b0dcb4acaa1e103fa6105dd02","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2a1e6c301d20f1de48bb968b15b5f29f59a677","datavalue":{"value":{"amount":"+0.7465741634368896","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":"Q1395428$45A26527-A031-4197-B22D-DC937D55A5DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1395428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1395428"}}}}}