{"entities":{"Q5410679":{"pageid":7440253,"ns":120,"title":"Item:Q5410679","lastrevid":51980618,"modified":"2026-01-20T16:35:18Z","type":"item","id":"Q5410679","labels":{"en":{"language":"en","value":"Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286341"}},"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":"Q5410679$4EE608E5-881A-4825-94F2-7CC73B4785AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d6f9f46b38f3108f2d9a604feb0d2635283a7f7","datavalue":{"value":{"text":"Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410679$60F7D26F-F160-4681-B82A-BC3EF646A107","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7dddf4c58d8f396be789a78c8071cafb2195dba","datavalue":{"value":"1405.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410679$3D423E25-83F7-47B8-B8C7-43CC13EB3069","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e11db7b304ce68e2ae16f6fa00d0c5549c331958","datavalue":{"value":"10.1007/978-3-642-54830-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410679$A80315FC-987F-40B5-AE4F-A0C1468B6565","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"720d2ca687b1dbefe07531061c55846f1312faae","datavalue":{"value":{"entity-type":"item","numeric-id":1660765,"id":"Q1660765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410679$BFE08509-DF09-46F5-9F09-54066E484F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b6ee79c459e72baf24abf4180a3c75000dba8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2093148,"id":"Q2093148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410679$1648F3BD-C380-4290-A15C-628017139E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44fbc514ac4414d1f77b758348bbf20c72a9d00a","datavalue":{"value":{"entity-type":"item","numeric-id":1391790,"id":"Q1391790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410679$9CD7A4FF-E934-4D6C-9281-BD2DEAC9D480","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410679$CC30C32F-0B04-4AD1-A99E-5EDBEBB69F0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410679$B90729B8-0517-40A6-9E9F-537F4D07A743","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410679$B5CAEEAB-F754-4944-97B0-D8582D91D5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410679$CA0C43C0-3C8B-4209-96DD-9E2CCAF12F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410679$28DAD36F-8421-4B65-92E2-B9C4296FEA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410679$AB85FF5C-3768-4E14-969F-C60489DCF59D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49fdb75c87d17c2f02a6640064ffe9b6ebac1df1","datavalue":{"value":"6286341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410679$2ECA5041-870D-4CCB-974A-EF004A4B5460","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":"Q5410679$9B1E3DCE-AB11-4CDF-8DC3-745E78BCEFFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9725317c50bc0920f9fbd90bae8c5ae8739fdf9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54830-7_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410679$33BAE94E-2342-42DF-9533-6970C840C25D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"151fff91cdec250c3f0cb22ff3e647e38f873db5","datavalue":{"value":"W143797383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410679$4F2E011D-918E-47B5-BCB9-43784455CE66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa28cf266b343f5d69054f1fdc2cce485bea109","datavalue":{"value":{"entity-type":"item","numeric-id":5013870,"id":"Q5013870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a9f9da59be627faed60dc096dd1fc77045d4a8","datavalue":{"value":{"amount":"+0.8079463243484497","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":"Q5410679$A566A071-EF6A-46FA-8698-FEFA0F5D4153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0509920ed35473137dcf14232b632bcc1341c04f","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de15217fede953a1f6effcd700b7c56018b1fde1","datavalue":{"value":{"amount":"+0.807845950126648","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":"Q5410679$5B3C878E-9A8E-40B2-83FA-EFC2A693555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c1a7680e7f73ce02e4c3cb29d850db36f407c9","datavalue":{"value":{"entity-type":"item","numeric-id":2996139,"id":"Q2996139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8e8d6169a0ef3eef504f673b17a4709e8e8ad1","datavalue":{"value":{"amount":"+0.7813064455986023","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":"Q5410679$67AB5F3D-4431-419C-A24B-8DCA49859378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776c55c4b11213a5948a033b2fb5f94aab200162","datavalue":{"value":{"entity-type":"item","numeric-id":2629851,"id":"Q2629851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc549e74fa607fee578d9ef2980184ee6559708","datavalue":{"value":{"amount":"+0.7727066874504089","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":"Q5410679$1F28D8F4-C7FC-4516-8BC5-1029231BE52D","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":"ff33acb0b8d099305383a61af86e67a13218b544","datavalue":{"value":{"amount":"+0.7687419056892395","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":"Q5410679$86EFCC38-5984-43ED-AD13-E51FFDF86E3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410679"}}}}}