{"entities":{"Q5458377":{"pageid":7487936,"ns":120,"title":"Item:Q5458377","lastrevid":50333924,"modified":"2026-01-13T20:27:18Z","type":"item","id":"Q5458377","labels":{"en":{"language":"en","value":"Structural Operational Semantics for Stochastic Process Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262424"}},"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":"Q5458377$D43C3209-FEFB-4A2B-A287-3344418D346C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c5bfbbf53e25ee81ecda5de089fab4477f0cc12","datavalue":{"value":{"text":"Structural Operational Semantics for Stochastic Process Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458377$4989DA0B-7B93-4A9A-8971-045108342B5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63f1c10eafded8ff4dd7631343db4d6b2e730898","datavalue":{"value":"1138.68468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458377$513FCBAB-6287-4B59-A5EA-3DBBF424DBA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bfefd46018c41378f34d9f6585269bd22bcf6f1","datavalue":{"value":"10.1007/978-3-540-78499-9_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458377$980BF1FF-2D3A-4EE5-81AF-6186C1CD2A8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458377$F72BB9C6-B6E2-4742-9997-4E2B71EED32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72cf230e3fde5ecd81513857d6a2a255a86452d0","datavalue":{"value":{"entity-type":"item","numeric-id":383371,"id":"Q383371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458377$6E79F3F1-74C8-4223-9EE7-BD9995D56B23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458377$57D745B5-C49D-454D-A805-533A4E0E838D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-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":"Q5458377$67F438BE-3BD2-4E18-88F0-CA31EE38B987","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458377$9C678C1C-C660-41D0-B93A-B63EFC271203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458377$E1AD21FB-F0D9-4CD9-A181-AF4B33BAD46F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aae0b350f31dd29844656798cccc5785c08b78ad","datavalue":{"value":"5262424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458377$DF7471FB-0C44-4025-B2D9-58EC690089B7","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":"Q5458377$2B3B1A14-9D08-4027-879B-6D0CDC3C818C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c04c726ce512d40772e759419c8a2f4d6f46443","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78499-9_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458377$CD85AD80-61F5-401B-B2E4-7F514196DD57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d5bb899c041eef3d4a4f9f647641dc3b3abaf85","datavalue":{"value":"W1482758428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458377$2AFE2C74-91B1-44D4-80DC-60500618BB57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac525baa455253495fc70b3b64924abedd19617f","datavalue":{"value":{"entity-type":"item","numeric-id":383372,"id":"Q383372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd471c239431782d8ae952eaac74c063f6469b5d","datavalue":{"value":{"amount":"+0.850251317024231","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":"Q5458377$BB2105FA-8DD7-4D7C-95DE-9F70EB74E167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4835429856cac86642c0dd2a05b60e2747a5d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2341700,"id":"Q2341700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63df853e15267ea8952e71b13a6c1cd9da46642a","datavalue":{"value":{"amount":"+0.8292240500450134","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":"Q5458377$7A1F5E29-3029-4FA9-80DA-111216AE6478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302f04b90087390f15980699eaa3b58d2ac61acf","datavalue":{"value":{"entity-type":"item","numeric-id":5321675,"id":"Q5321675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ed52886ac837ad225ae47fbb59e9aa94a2fcc4","datavalue":{"value":{"amount":"+0.8040311932563782","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":"Q5458377$690AAAC7-2B3B-4CD2-8C4D-A6C213B1926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce494d890bfd0b09e7b7334363785ab6d1b49428","datavalue":{"value":{"entity-type":"item","numeric-id":2851897,"id":"Q2851897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b979139de8ae1884ec450fb006c69da03656a7","datavalue":{"value":{"amount":"+0.7984417080879211","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":"Q5458377$9D348FD2-915D-4414-92E6-53CFFF26015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c869a40416b096b0f4677cacb4fa4536d73a348","datavalue":{"value":{"entity-type":"item","numeric-id":2575855,"id":"Q2575855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a346aefb8b8f54e55c3a1446eb41ead61e2fdc61","datavalue":{"value":{"amount":"+0.7918285727500916","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":"Q5458377$F021422F-2C68-44AB-BF7A-EB5CE62649E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458377"}}}}}