{"entities":{"Q4899119":{"pageid":6928698,"ns":120,"title":"Item:Q4899119","lastrevid":58356375,"modified":"2026-04-04T21:00:12Z","type":"item","id":"Q4899119","labels":{"en":{"language":"en","value":"Continuous Markovian logics -- axiomatization and quantified metatheory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122247"}},"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":"Q4899119$4A891C27-0E29-4412-8214-13F757E1F8E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e3c0ae9d349ae6883842ade9994d2f83c09c030","datavalue":{"value":{"text":"Continuous Markovian Logics - Axiomatization and Quantified Metatheory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899119$F85BE36C-E5BD-4BF6-89F0-94548A5B48A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5659f37e72c0020548c794f102adbfc042b22b62","datavalue":{"value":"1261.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899119$9CD7D66E-C6D0-4BF4-84DF-4F09BE5CE2F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69ffc531a96f4d709b2132bd1d0d58f90cd1984b","datavalue":{"value":"10.2168/LMCS-8(4:19)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899119$89F5F4CC-89A7-462E-986B-A821516A5BBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"281053ff0a7b1b4d8d0616e6259c142db607470f","datavalue":{"value":{"entity-type":"item","numeric-id":283760,"id":"Q283760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899119$03083657-C3E4-42C4-8E6B-6DFA6E6914FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"391ea0a2eccd2e1ffb7d70cb5807f87e3011ae63","datavalue":{"value":{"entity-type":"item","numeric-id":418827,"id":"Q418827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899119$F4797F4E-227F-4D1A-83C5-6DAFCA199053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899119$5614EFFF-FBC9-4880-A636-58BBED315BC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899119$A0D238ED-CF17-4B1B-982B-A5798A14204D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4899119$292EB221-3E68-4B65-93E8-ECDA0953F668","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49522d5ac3ab3adc78669b7574cabc166daf69f8","datavalue":{"value":"https://arxiv.org/abs/1211.5190","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899119$7E25A23E-5846-410F-AAB9-664E66A8E90F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899119$5BCD5255-C63D-4A19-B91B-DE1E3AF7D48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0ecd49782246b7fab028f912f49cd163073d4bd","datavalue":{"value":"60J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899119$B7FD85FF-0377-4210-8FEB-971C2BE90555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899119$EB0DC974-E399-4A38-A23D-9EB4B68A9EA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"871f16c9fe98cd19975c0c8f2cdac89579855f50","datavalue":{"value":"6122247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899119$EC35764E-6D51-4EBE-A3E1-9ADE9042BA52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2778d1805b6c2f1e2674b8f286eb3823f922af72","datavalue":{"value":"probabilistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899119$12971BA0-9E96-4EA0-8129-A938700F6B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0acba104b9c352d6435b7b8acfa87299d1cd12e5","datavalue":{"value":"stochastic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899119$7E56C637-7A6C-44FC-9B3F-15C5E55953D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899119$35F33BA9-5A7C-4E01-B717-485457DDE034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899119$D31D0243-B7AA-411D-B265-150D936A93C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302c5ab1921f54080c69e312d8ea75298707186d","datavalue":{"value":"metric semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899119$5A7E1840-925D-4E09-855F-3F27D6FC6853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899119$343DCBF5-F2FE-46F4-9BE9-1F3DBCB0E61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e048ea50bf685707bd27973b5da91e4641b7256","datavalue":{"value":"stochastic bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899119$36176F3E-87BF-4D38-85A7-613B91581B5C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"354190dd020e5dac2ec95b6b1f7ccbe3fee9e962","datavalue":{"value":"Q56981891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899119$A3E1E59C-9B83-4F48-9868-F7D0C8559434","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":"Q4899119$DC9AB3FB-1E84-417F-BDCF-33E7179C4F04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a9174ca69fe603288d23227e4abe4c083508ec","datavalue":{"value":{"entity-type":"item","numeric-id":2915679,"id":"Q2915679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcac64e49322033951fddc1799d8e9b0148bb080","datavalue":{"value":{"amount":"+0.9556106328964232","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":"Q4899119$ADC32032-11C7-4DD3-84F0-998DF35B4EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56bf279c6359b7efc2dc7c6762836ff4a4f7052","datavalue":{"value":{"entity-type":"item","numeric-id":3012934,"id":"Q3012934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207668864d5bab096f58dad30f31249aac930f1c","datavalue":{"value":{"amount":"+0.8212982416152954","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":"Q4899119$E013A2CC-4251-4633-9057-7C5A80D4E69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b2c80b7a6629c264022adb69405fcf9c552a57","datavalue":{"value":{"entity-type":"item","numeric-id":1400292,"id":"Q1400292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44dd5eca01cbfe2fef3f4277877c2d324f1cc509","datavalue":{"value":{"amount":"+0.7986918687820435","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":"Q4899119$4F606400-D1CE-4BB4-B02D-51745E63A6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dffb7a26bba5a20b70b078a6e814ac43d8037396","datavalue":{"value":{"entity-type":"item","numeric-id":2849951,"id":"Q2849951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7161208f79c636d1a6ddd498f6343543611d61dd","datavalue":{"value":{"amount":"+0.7869887948036194","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":"Q4899119$626010A4-CC50-41BC-8B75-EB446003950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ff0324fa15cc4da2a87d1dfaf4a5f364c1e1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5395116,"id":"Q5395116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7589a54d9c6b1b669dec4193d64bc5598d5dbb50","datavalue":{"value":{"amount":"+0.775529682636261","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":"Q4899119$D07F8060-9178-4225-B753-1B68BD2100C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899119","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899119"}}}}}