{"entities":{"Q1285589":{"pageid":1296339,"ns":120,"title":"Item:Q1285589","lastrevid":70074957,"modified":"2026-04-13T12:16:16Z","type":"item","id":"Q1285589","labels":{"en":{"language":"en","value":"Exact performance equivalence: An equivalence relation for stochastic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281083"}},"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":"Q1285589$FE33AF98-FC25-4CB8-960F-D379C6C6040E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99479db51f54ceaaf4f3d1ad7ea0e77eef353c59","datavalue":{"value":{"text":"Exact performance equivalence: An equivalence relation for stochastic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1285589$93567917-7911-432F-BBB6-879DF2E52DB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b913c4adcb0d4c9492ed67e574f5ae1da8b22709","datavalue":{"value":"0913.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285589$98B09CB4-D620-43C4-8484-19E80D0CDC91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2e7e0d8647023ab02dbfa1fa64ee10237e02dbb","datavalue":{"value":"10.1016/S0304-3975(98)00169-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285589$B6374C0E-C590-4D81-8794-AB8B34D379CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30a10f8ca607a66cb57d88af99fb30af04ba9e14","datavalue":{"value":{"entity-type":"item","numeric-id":243731,"id":"Q243731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$EC7BB609-207C-42A2-8169-D5D21FE40745","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":"Q1285589$FC09731E-2DC2-4226-A336-7489710057D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-04-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":"Q1285589$386D3108-5D0B-4087-B771-741FE7A53CFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285589$5DD99B1E-AC88-467F-8D8B-BF55040E4E27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd82b37cb75eb7b804184ab422d6ec5fbfce6624","datavalue":{"value":"1281083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285589$A025ED02-9B7F-42DC-8BAC-195702C7E600","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a44e8223a098f05bc8780618a4e1843f0010066","datavalue":{"value":"stochastic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285589$975E35B8-F28F-4DC6-9DF4-0512CBFC683A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59abff92ac198d4ed7c6145afd32f70c90954a22","datavalue":{"value":"equivalence of stochastic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285589$FB8C8C6A-3E67-4416-8150-A86A97F85ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aeffc0ac6b5587f15f084b47ef24e1b2e8a61ec","datavalue":{"value":"qualitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285589$41AA8C5F-E239-4B1D-93EC-247636143E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16da24c5a0382d4c0e1b754e184feb71bb9dfeec","datavalue":{"value":"quantitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285589$10E61051-84B4-42FC-BC8B-BEA7E5F86121","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":"Q1285589$8354822D-5031-4FB3-918A-6E5D152E47A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$0C09C2B5-3874-4139-88C2-218711DA17A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc59bae63b743ea9cdfc1df5e724d22cf1709df7","datavalue":{"value":{"entity-type":"item","numeric-id":4296371,"id":"Q4296371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$16DE8187-23AD-4FA8-B324-ACC4EE822F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840b42ca871dcb4742d45ec28489ac4417b64d30","datavalue":{"value":{"entity-type":"item","numeric-id":5687214,"id":"Q5687214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$E3F1766C-3282-42A6-BC74-71E9414E9FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c924f25d464a7ea915ee778fd8dfb8573710c5","datavalue":{"value":{"entity-type":"item","numeric-id":5096363,"id":"Q5096363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$57D7EBA9-F9B4-4F12-831C-8EFE9D1EC50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc1b1a1c98e65cc58245ed746f971f3cdab2e73","datavalue":{"value":{"entity-type":"item","numeric-id":4952904,"id":"Q4952904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$75C1C3CC-3E7D-47F5-BCA5-3DF46F64174A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$813CD9A3-E43B-4950-8CC5-473FBBFAF6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e58793fb4d53b594c811e7c4328a8650f518a1","datavalue":{"value":{"entity-type":"item","numeric-id":5687213,"id":"Q5687213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$B4F2DE2B-C723-43DE-BF3B-DED29DA20374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$72CAB48C-64F1-4651-8446-B7AD547EF10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad930b3d759b19f954b28520d6f53addaee143b","datavalue":{"value":{"entity-type":"item","numeric-id":5511889,"id":"Q5511889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$B96B6AAA-33D5-4DD8-8441-7321C55B3A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$BFCC297F-B09C-4C32-AEEA-789D67C6DCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$FFD8E2BA-A915-40B6-B373-B0B90155F9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$6AFC0AC7-EC9D-44C5-B6FE-F171E354BEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$B3926FF5-0BDD-4216-8D8C-7C7FE7BAFD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3439b213f89a83234b31fbd61e6f74e21a24530","datavalue":{"value":{"entity-type":"item","numeric-id":4004640,"id":"Q4004640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285589$AC55BE89-0D1E-4EB8-85EF-FEDF760D5942","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7125737e38fa5823ceb2ac181b462df9c6d826d5","datavalue":{"value":{"entity-type":"item","numeric-id":1753998,"id":"Q1753998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c071ed5b5389bf90db28e83ce9a27b59d31478a","datavalue":{"value":{"amount":"+0.821168839931488","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":"Q1285589$EAB79DCC-268A-4EE3-A526-1E32A624277B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92dd0444117a305c4bf7ae47357323630bff8b2b","datavalue":{"value":{"entity-type":"item","numeric-id":4952904,"id":"Q4952904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d58e791301cdb5930bb2a37cb00694df4d0459","datavalue":{"value":{"amount":"+0.8138300776481628","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":"Q1285589$D53D9E8B-433F-4A06-954F-9BB323AABE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf2a91783d38827df2fa4b58a9981d5c4648f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5687214,"id":"Q5687214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b65517a61c6e8fd28cd5906d42cebceb70e092","datavalue":{"value":{"amount":"+0.7958345413208008","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":"Q1285589$22FC0E87-10F0-4070-83F1-66A6FB7E7313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"232be108a55120e606f3e65859dc5008bf26b672","datavalue":{"value":{"entity-type":"item","numeric-id":3725552,"id":"Q3725552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0409b3de9d848b781632250b84223d677c18ae6","datavalue":{"value":{"amount":"+0.7826628684997559","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":"Q1285589$28E2BF12-2CE2-4178-BAD3-DE384F3A7D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177e0d490c4ba903fde456bf55bdc61dc2f26158","datavalue":{"value":{"entity-type":"item","numeric-id":5740349,"id":"Q5740349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb8900e805a14f91aed2892d3cf79fc2ed7c895","datavalue":{"value":{"amount":"+0.7705422043800354","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":"Q1285589$C8ACD397-4C4F-46C0-ADAE-B4626FCF2197","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact performance equivalence: An equivalence relation for stochastic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exact_performance_equivalence:_An_equivalence_relation_for_stochastic_automata"}}}}}