{"entities":{"Q673117":{"pageid":674966,"ns":120,"title":"Item:Q673117","lastrevid":63466344,"modified":"2026-04-11T13:21:08Z","type":"item","id":"Q673117","labels":{"en":{"language":"en","value":"A decomposition theorem for probabilistic transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985383"}},"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":"Q673117$8F5BB6B4-43B2-4A7E-B06E-8787ED6E9A05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"980cc389b32e5ef12cf557ffda887c00a44f091c","datavalue":{"value":{"text":"A decomposition theorem for probabilistic transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673117$C542D694-2133-4261-BFF5-122F86348834","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d0b517d2375d3278cb14052f1c01b82a6d18445","datavalue":{"value":"0873.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673117$FE4417D0-3C74-47FB-9C7B-199261EA5265","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce9606c6751bb5e98b6ff1e3f964bfa2f8b209b2","datavalue":{"value":"10.1016/0304-3975(95)00004-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673117$9E642539-6548-487B-8EAC-A838128E1984","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"797dff732e38d176bf7500ab5c245082b935afd3","datavalue":{"value":{"entity-type":"item","numeric-id":533350,"id":"Q533350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673117$182B63F3-0BF2-45AC-89EE-B6EAD930A885","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":"Q673117$82DFC094-35A4-43F7-BFF8-8C4EF77B2BD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673117$859660CE-C53E-4929-BAA9-BF0420EA184C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673117$07B4F93B-67B9-4D91-AB3E-A87F97179B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673117$867C4D75-9B6C-4087-A28A-3FAFD7ED7529","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6158f98bbd91b60ff80912b87f761a0a83079f2c","datavalue":{"value":"985383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673117$86170D1E-76A2-44E9-ADBA-DF397E519FFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40971f5033e11f76c9ec957ec1402dd595b290ad","datavalue":{"value":"probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q673117$490B458B-8D7C-4518-97EA-5AB8821F4774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q673117$0FD9C49C-D03D-43BF-B26E-40BF18DA1F84","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":"Q673117$902293F3-E983-4C18-9E63-4C05EB523FB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7340b221ac7717ae41fe2723a2692bc81619cde9","datavalue":{"value":{"entity-type":"item","numeric-id":5588674,"id":"Q5588674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673117$A7A9184A-A55D-417B-969C-A636743B0528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673117$02BA1350-9E21-4C85-950D-A044C451FDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84be555853de48c870ad3ebd13ff25ae68b38a7","datavalue":{"value":{"entity-type":"item","numeric-id":5590815,"id":"Q5590815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673117$FA2BDCD1-1267-4D0D-8305-75EB48E6A671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01b32f08130a44f4ffd0fb7baa0d3f8f650a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5526129,"id":"Q5526129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673117$6A07F0C1-D053-4CAB-BFE3-2C0C810D79C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d57dd219b914db994a7343954a1aab238bc9b270","datavalue":{"value":{"entity-type":"item","numeric-id":5553288,"id":"Q5553288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673117$E7E9760C-7DAC-4CC3-9C72-83257AD02A7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ea482a64cc851f6f4d94b9c8dfbc3b4ec9fe98","datavalue":{"value":{"entity-type":"item","numeric-id":4281534,"id":"Q4281534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6284722df9635f1528c4438b2bdf36606a38bf8b","datavalue":{"value":{"amount":"+0.9941571950912476","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":"Q673117$DDB55F55-F79C-42AD-A02E-46FB995CEB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49b45ceb571c090f75f8526db572d76d48926a4","datavalue":{"value":{"entity-type":"item","numeric-id":3751015,"id":"Q3751015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a202464a2f58fe18af4a766803e179b60b20dec2","datavalue":{"value":{"amount":"+0.8000699281692505","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":"Q673117$71C2EA36-4C1D-4A05-8D8D-8D7B07A53138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daaf0e5a8f2c67e85af4d2697428dae3fc509f67","datavalue":{"value":{"entity-type":"item","numeric-id":4949943,"id":"Q4949943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05544167cf66c9f689eb90609c47c8cd5cf18484","datavalue":{"value":{"amount":"+0.7633731961250305","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":"Q673117$B1687FA2-0509-4D08-8EF0-8A6A1D3CE411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1fa5d19070993f4ed7d83a2ed2b7fde92047297","datavalue":{"value":{"entity-type":"item","numeric-id":1015394,"id":"Q1015394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c949660aa92488c865a5e33a31eb53726f1e21b6","datavalue":{"value":{"amount":"+0.7608548402786255","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":"Q673117$1B12A279-802F-4CFE-9C17-D88DE0023D3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decomposition theorem for probabilistic transition systems","badges":[]}}}}}