{"entities":{"Q703518":{"pageid":705367,"ns":120,"title":"Item:Q703518","lastrevid":63744861,"modified":"2026-04-11T15:15:20Z","type":"item","id":"Q703518","labels":{"en":{"language":"en","value":"A hierarchy of probabilistic system types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126094"}},"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":"Q703518$F6EBCF3C-0892-4580-87AB-FE8514C1227B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d5fe3410464406303efab0c247802bbc217c217","datavalue":{"value":{"text":"A hierarchy of probabilistic system types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703518$42468EE9-CC0A-46E5-8754-56E7EF38DA42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c726039fe15b46d4230aff69fa2f14c9661d38c","datavalue":{"value":"1071.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703518$AA2D3C0B-518D-4876-A6A3-A36D4922F3A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddeb36e2390141f9694dcdf2afbd16d57d697935","datavalue":{"value":{"entity-type":"item","numeric-id":703516,"id":"Q703516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$B7F44E16-B445-4599-8F1B-4207FD889701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faac90b189d470d059fb0f0202403aa6361966c3","datavalue":{"value":{"entity-type":"item","numeric-id":549173,"id":"Q549173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$1269775E-B604-4A24-AEE4-F2C7A17DEAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$AED8DFBC-5999-45B9-AC3A-D0220B60AD6B","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":"Q703518$73361B49-5124-455E-9EC1-0118ECC52340","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703518$4236FF3D-071D-4B12-BD79-43E7BFF8E484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703518$7ED81B23-49F8-4365-88A3-C483D1BF2C54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b2a2623db4cf74879fb8b4b4927d1bc363cec57","datavalue":{"value":"2126094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703518$7362C3D5-30D9-48E3-A43E-9DE8DFDA6864","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e959585fd017387c1e0ed512f0c56ec08758eab5","datavalue":{"value":"Probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q703518$182E4364-DCB6-4472-B852-FE708FF3478A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ec731682295be7126de1049341674cfb926eafb","datavalue":{"value":"Probabilistic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q703518$E0D2FCE1-C984-4100-A34D-93F766A0159B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bce81e641acf3041cc5fd1854ccca978d4493521","datavalue":{"value":"Coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q703518$C0661B98-225C-409B-95B6-B003A32B15A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"184b32754b5cf7a0a32b469b84db7304f6769e26","datavalue":{"value":"Cocongruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q703518$1B4F113A-F09E-41B0-AF52-D96488D0CA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3080c4b978ebfe9f14a264688226c3b7ada6c2cd","datavalue":{"value":"Preservation and reflection of bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q703518$0EE65BA2-70A1-4313-94C1-D632B349E8F6","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":"Q703518$6BD01227-1096-4656-995A-F4EDC77359EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e595bd98959459c9348d052af731e4e5e9387232","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.07.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q703518$47B5EDA8-52F4-48F8-92B2-0E59B3834AD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6df7437a0f6e6221ccef68de2083d717ad88ed23","datavalue":{"value":"W1981607181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703518$FA8A7A44-9FC9-4DAC-88BA-BB877256404C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$35775E5C-2D00-4E73-A2BC-27BACDD1A457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e080e6cc6e0a5d730b0d16d85a39768aab34f86","datavalue":{"value":{"entity-type":"item","numeric-id":2843720,"id":"Q2843720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$3759D8EE-C332-42DB-9402-A35E48289E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f494b826ef52cad5b9a7d9db328cf2f05835dad3","datavalue":{"value":{"entity-type":"item","numeric-id":4255553,"id":"Q4255553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$C5518B3E-D0AC-448D-A8BA-DE634989BE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$55BA9977-B29F-4572-B060-1E1B3F40AF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$2CE6C463-2BD3-44A6-8223-04245C62C489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f17ffd9ea5ad72715e5c8b14d93f72c4489370a","datavalue":{"value":{"entity-type":"item","numeric-id":4499310,"id":"Q4499310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$FFF86D38-B68D-46B8-90D9-7536678A2894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$FA0FA7CE-03B8-4B9D-BCA1-9CD4A8D695E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$95882AB7-93B7-44D2-BC8D-33DD0BEE1B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$59FB5C24-5634-4850-95B6-F35CBA0BE566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$8B8F9465-CF30-4FAC-86A1-F9F4E10E0BC2","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":"Q703518$50D5704F-B676-4DEA-BD07-6D6FD11272C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$5666B028-C7B0-4F32-ACF8-94746A2A81F7","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":"Q703518$35FC5EB0-9B63-4680-8DD8-BA8ACFE9B297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$971E319B-B2E1-4D78-B378-2A53215D91DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$3F95873B-5D4C-47D5-A28A-FC9B12463699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fdff17abcad57b939a9c8288c5a756afbaddcf","datavalue":{"value":{"entity-type":"item","numeric-id":5325833,"id":"Q5325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$E820B333-BB65-4C6D-9628-E10F9A92BD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$A0467FCB-75D0-47C0-8B80-F2C78900A364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2713a688ffb1fb4a3e61d1c27ef0225c6fc20a0a","datavalue":{"value":{"entity-type":"item","numeric-id":4499301,"id":"Q4499301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703518$5AA9B762-A220-448F-82F2-FA08B95D2F69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38b83c860aabb8bf03e2d1a83c37d961b825bb03","datavalue":{"value":"10.1016/J.TCS.2004.07.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703518$A4FFF635-BEFD-4578-AF97-117FE2E28B12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fd7b346d9af738264e694b99dce0e32c21caba","datavalue":{"value":{"entity-type":"item","numeric-id":2843720,"id":"Q2843720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9537db3a47398ece3c04b1539530845f58cbac7d","datavalue":{"value":{"amount":"+0.9324830770492554","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":"Q703518$636D7632-2209-4224-84EF-C236873E5CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5506e27296ee335d165e07718f33f18f1ef09e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2945633,"id":"Q2945633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a881a0493915e1adeacaa4306f6179ef42b8e909","datavalue":{"value":{"amount":"+0.8281452655792236","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":"Q703518$D4285631-92E2-4D54-935B-CDBF2E1364B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1470a4b992851ae10396c9853d21220e0522540e","datavalue":{"value":{"amount":"+0.7970112562179565","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":"Q703518$89762D29-8115-45AD-B9DC-9C16723B4F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"661f4ce620c59ff410b7c0c546d7e439e9f2e21e","datavalue":{"value":{"entity-type":"item","numeric-id":5325833,"id":"Q5325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609600a6f86b3ff547bf62d55299a18f38018ec2","datavalue":{"value":{"amount":"+0.7963587641716003","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":"Q703518$113B9E7A-E2C7-43C3-BFF5-ACE7C4D5E178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7788b629a24741a83a77059e6c66cb77a96d49b2","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f51fd92875f1a965c76377776a0e2ded50317d","datavalue":{"value":{"amount":"+0.7956069111824036","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":"Q703518$F1254E0D-A757-46AD-AE1C-08BFD8F31039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A hierarchy of probabilistic system types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_hierarchy_of_probabilistic_system_types"}}}}}