{"entities":{"Q2841263":{"pageid":2851983,"ns":120,"title":"Item:Q2841263","lastrevid":83818685,"modified":"2026-05-07T12:03:54Z","type":"item","id":"Q2841263","labels":{"en":{"language":"en","value":"Typed behavioural equivalences for processes in the presence of subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190957"}},"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":"Q2841263$DDDF81EC-70E0-4176-B920-94C3319F38CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"614749c5bb0ea1ff6f0dcbd65d1f3c4d0f4177f2","datavalue":{"value":{"text":"Typed behavioural equivalences for processes in the presence of subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841263$DED20DB8-0F58-4AE1-83D1-090E618858FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2f02ad322da0d5c544e4a1d75219b6263c22601","datavalue":{"value":"1268.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841263$7AD344BF-5F8B-433E-AC52-968E4E32657B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c63cd91d71e6a472267dcf3db6530d8b60077e9","datavalue":{"value":"10.1016/S1571-0661(04)00309-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841263$177AFF95-DA84-41F1-A770-45AC608746B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bbd40d4efe0881f4b580c8aabcfc53801fe8c1c","datavalue":{"value":{"entity-type":"item","numeric-id":276478,"id":"Q276478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$318947DC-42EC-4B0B-B1E9-05F347ED0964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$D8D7F88B-C811-4CB2-8C49-85BCA97295F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$ED84F0E4-8AFE-48B1-AB5E-B4A693FBEDD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841263$78BBB5D9-16F5-4874-A238-3F636C7994F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841263$F4568920-3358-472B-8C25-915CB9BEB899","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe651f31e86de0d0d0dbefce8d36b4d6c1873dce","datavalue":{"value":"6190957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841263$55955425-C13A-486E-96B5-4DB5C4E76541","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$A8069931-CD81-4443-B751-9FE46FFC1B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$65FF708C-1C8C-44C9-AEC8-FCC2B55EC7C2","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":"Q2841263$09F0F6E2-DC39-45C5-B768-676F124CB8D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$DD3503C0-5693-4463-B6A5-C4993DD850FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3d0f7768d520b32ccf996a8034d8940ed7e963","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$5FB64B82-B5A0-41BA-93C3-3A8190878C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2795f8b4aad8437cfe26e1399a11aa30e3d8e3c","datavalue":{"value":{"entity-type":"item","numeric-id":4370350,"id":"Q4370350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$B579716E-1282-41EB-A9D4-5B765FD024C1","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":"Q2841263$D0756528-DC42-4251-990C-314C3D2DDDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf44dcbfda43323b28e8eb54abb86c90b4ecce8","datavalue":{"value":{"entity-type":"item","numeric-id":4219054,"id":"Q4219054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$6CE33B0E-E1D7-4A9A-978F-D666AA92B2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b556a5c9d5f6419fc1f1c57f2b7c33e76e94e520","datavalue":{"value":{"entity-type":"item","numeric-id":6104384,"id":"Q6104384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$7A8A991B-BCBA-4363-97AC-CE932739B03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$3DA3C315-A51F-453F-8BB2-60CE80647327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de74a81337e1a2b66eaee908a7355ab5daf0587","datavalue":{"value":{"entity-type":"item","numeric-id":2841263,"id":"Q2841263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$22E96871-6065-4BB0-8216-BA4EDD00F818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a38afda5b02f7521f890d112a8cba2020fcff83","datavalue":{"value":{"entity-type":"item","numeric-id":1882896,"id":"Q1882896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$39BF8E8D-A37B-40A8-91C4-B9543E784857","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":"Q2841263$BB94F2D5-DD03-42B1-8CD6-3E02B76875D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef718ed05d1cac656de52bc69376ec7eed12c8d6","datavalue":{"value":{"entity-type":"item","numeric-id":5487879,"id":"Q5487879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$CE2A2333-1FAB-4BC4-ADB0-A63AC0BFBF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$ED8A9342-0F5E-4790-834E-104FCC6DC1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4127da81685d09d0b6a73afcf8a6432964303df8","datavalue":{"value":{"entity-type":"item","numeric-id":1854507,"id":"Q1854507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$73DAE18B-23CB-4D6C-93D8-B1AFD5AA088C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f446257d64edebdadc626954692495d40d76f376","datavalue":{"value":{"entity-type":"item","numeric-id":1826471,"id":"Q1826471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841263$762FA4B3-CD12-4968-BA99-38DD3DCB6239","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9b89fd4b69b2724e5833e85b4eaf1bc3a79a7f","datavalue":{"value":{"entity-type":"item","numeric-id":4653017,"id":"Q4653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130b23d4317c91db7572c942eb9f2a5a6383dabd","datavalue":{"value":{"amount":"+0.9992944002151488","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":"Q2841263$91FAB46D-0A6F-47BF-AE5C-78E387C5353C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de4266a5486996e308bb1aadd669b897ff489192","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a57a2546370224d754f87d4451f103dc5f7791","datavalue":{"value":{"amount":"+0.820968508720398","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":"Q2841263$65DA2266-580B-479F-9746-156AEC13720A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d777af580a113c7dc57988ce30936e73a7185b75","datavalue":{"value":{"entity-type":"item","numeric-id":817843,"id":"Q817843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db71d4a938c0938e6235d1524a66643702420fa3","datavalue":{"value":{"amount":"+0.7990654706954956","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":"Q2841263$70A379DD-51C7-42FB-AA53-5EA6AB3DA209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fca2fd65dbef145fd488f6eee13675c9d47dcde","datavalue":{"value":{"entity-type":"item","numeric-id":930882,"id":"Q930882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed605d535abf549a4c20b6329580ce806e5ff3f2","datavalue":{"value":{"amount":"+0.7929598689079285","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":"Q2841263$FE410BDF-AFB9-4FEF-A745-84D6936228F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb024d7d9f3bc73b22cb412e20497bcbb3e6ee4a","datavalue":{"value":{"entity-type":"item","numeric-id":5487879,"id":"Q5487879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80fa3bb1aa4d92ff301b5b0de8f00bba0203546c","datavalue":{"value":{"amount":"+0.7825628519058228","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":"Q2841263$C8ED93F0-0C57-43E1-8753-1D0A647A2BCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typed behavioural equivalences for processes in the presence of subtyping (scientific article; zbMATH DE number 6190957)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Typed_behavioural_equivalences_for_processes_in_the_presence_of_subtyping_(scientific_article;_zbMATH_DE_number_6190957)"}}}}}