{"entities":{"Q4636572":{"pageid":6666153,"ns":120,"title":"Item:Q4636572","lastrevid":82175294,"modified":"2026-05-06T20:17:01Z","type":"item","id":"Q4636572","labels":{"en":{"language":"en","value":"Probabilistic \\(\\mu\\)-calculus: decidability and complete axiomatization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862053"}},"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":"Q4636572$12F18DA3-BD56-47DB-A7F9-518FEEB0CB8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a33d97930f3f51d40710cbd159b52845da1dd119","datavalue":{"value":"1434.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636572$CCD8D708-D9AF-4347-AD26-2E56A00E6DA8","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":"Q4636572$B1A9F76E-529C-4620-84D3-79687E1E25F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25a0391b72370f84fb71f15481df4d53f18f8d7c","datavalue":{"value":{"entity-type":"item","numeric-id":283761,"id":"Q283761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636572$32DFA05A-B803-4203-87D5-8F49F381563C","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":"Q4636572$38FF1258-6F96-45FC-BF55-CC0E90426646","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-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":"Q4636572$9ED09646-B7FF-44F5-8636-B71738D41A0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636572$6CD1C6CB-5776-4A7B-BD74-208917C3C88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636572$2916D995-9F25-442D-93CB-F4AAAF7EFB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636572$A66EA2B5-9067-43F7-B118-3C9871667117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636572$270630DD-2306-4EC9-9958-48C2E7B0A254","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76f93ff9aba2377e6b1b2e08368dc5569c1451ff","datavalue":{"value":"6862053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636572$6C7F408C-97A7-4258-97C8-03097EA550E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3982d8953519793fd0c504f10b659a42d3cb9a8","datavalue":{"value":"Markov process","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636572$FFE80377-302F-46D2-86C5-FD4E18482B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e4e7ccdc0880c62a2b0bfbabeb5ce50a9694588","datavalue":{"value":"probabilistic modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636572$C467D659-59F5-44DB-9F73-DC5B7B14735D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aedab439bacf4e23897e38036815ac0004af7818","datavalue":{"value":"\\(n\\)-ary (in-)equational modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636572$4243E705-2536-47AB-8985-D8C47A8A6861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636572$CF50D648-3869-409C-9FC1-BFEC460C4A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636572$8490FDF3-EABA-44D1-8D6A-EC39811DBE24","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":"Q4636572$07E4FFB6-8D5B-4DC9-9CAD-121F3A81A322","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36cd836d0e30a729eb0666416ded92607497b88c","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2016.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636572$484DEDCE-0D46-4895-BFAA-2306B3670142","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6557d6216f1aad8b129721844a1e22f2f249388","datavalue":{"value":{"entity-type":"item","numeric-id":2954997,"id":"Q2954997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687707abd13605b018711076d0d24a969a7a0f50","datavalue":{"value":{"amount":"+0.8166155815124512","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":"Q4636572$A4BDB68B-D0C0-4B14-83A2-C04B2DD00E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41f1a17c84a20e42684c096b88b1ee9405cbc0f","datavalue":{"value":{"entity-type":"item","numeric-id":4635861,"id":"Q4635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da89bf33d7b85546d3235d2ebaaec779218864a","datavalue":{"value":{"amount":"+0.8039876818656921","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":"Q4636572$A673F7F1-08BF-4193-A5CB-9C3B002BB50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd625feacf186c3c03590a86204d3dca9224aafb","datavalue":{"value":{"entity-type":"item","numeric-id":3000616,"id":"Q3000616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6657f4f672c24bedfd64c5bd91101d28e02bc57a","datavalue":{"value":{"amount":"+0.8036060333251953","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":"Q4636572$ED71B240-BA68-401C-853A-A87672593592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74a710b987fd64faf47e3772df9e8f8bf5842dd","datavalue":{"value":{"entity-type":"item","numeric-id":4899118,"id":"Q4899118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f12f43aae00c894c69407b760ea5f5d18574b61","datavalue":{"value":{"amount":"+0.7978662848472595","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":"Q4636572$70618D8A-2F4D-4F91-B8FE-95DE469A5BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a9fb83562b85ff6e77f6860172eb55520c0b49","datavalue":{"value":{"entity-type":"item","numeric-id":2399249,"id":"Q2399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81c55b8896c59c446392dacea4383506337e926","datavalue":{"value":{"amount":"+0.7958523035049438","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":"Q4636572$0C01A9D3-C22A-427B-AEE9-1390D3D58349","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic \\(\\mu\\)-calculus: decidability and complete axiomatization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_%5C(%5Cmu%5C)-calculus:_decidability_and_complete_axiomatization"}}}}}