{"entities":{"Q4653017":{"pageid":6682598,"ns":120,"title":"Item:Q4653017","lastrevid":82375271,"modified":"2026-05-06T20:45:22Z","type":"item","id":"Q4653017","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 2139690"}},"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":"Q4653017$CC90EAD9-2C76-4215-9DB2-D7E366FE23E5","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":"Q4653017$56252E61-9368-45A8-87B0-6F66924AF213","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3e979972923bb96e515fdee7c6f923ef11f4f0c","datavalue":{"value":"1093.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4653017$6FF21596-AE96-4C38-96AD-DD13382EDBB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"289b51f6918fa865f0e86cba2d48d89871791436","datavalue":{"value":"10.1017/S0960129504004281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4653017$C095E96A-9CAA-4AD2-A7A5-36DE5D79DAE2","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":"Q4653017$80964307-FEE9-4687-BB4B-3A1F70FFCEF0","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":"Q4653017$03F5568F-811D-4CCC-8C2D-5AA379B36DF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4653017$875DB1C4-E324-4D56-97F1-4ADFF85F5A2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5dabce90ff5340c0b0fd5844437bb5a756de645","datavalue":{"value":{"time":"+2005-02-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":"Q4653017$5ADB7769-ACF7-4FFB-AF69-68A64C3A3783","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4653017$7175DFF7-7DD6-485A-80F5-9FDBD37D0C3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89682991ecb20f622cd03d53728cc3baa5489469","datavalue":{"value":"2139690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4653017$B8BDD1CA-2BA5-428F-AE00-75FFD8930584","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":"Q4653017$137D664E-3B6E-460E-9059-EB92DC7C22D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99b61bd97354b437cb6b998ad15995f22d2a3304","datavalue":{"value":"https://doi.org/10.1017/s0960129504004281","type":"string"},"datatype":"url"},"type":"statement","id":"Q4653017$0F78DFF9-9BB0-4B4C-ADFD-72E9C3127DCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1144de8b4d01c0f8225ac1a4adf052884b50cdcc","datavalue":{"value":"W1980172083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4653017$6144FE7B-33D6-4402-82B6-57A07B489856","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06dd66c58c78ed327d09e45d5cd0391d84785183","datavalue":{"value":{"entity-type":"item","numeric-id":2841263,"id":"Q2841263"},"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":"Q4653017$7C5EE362-FAF9-45CA-A75C-0AB73D793873","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":"3d75f07de7ffc90ee9f4d545e63787cca218b41b","datavalue":{"value":{"amount":"+0.8178629875183105","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":"Q4653017$5A575325-689A-45A8-B304-E50F2A77AB88","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":"bd8fe8c82eda7cd451d7bf490150e95b089011ce","datavalue":{"value":{"amount":"+0.7965809106826782","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":"Q4653017$40BD598E-0A91-4BFD-AF9B-DD176A50EE63","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":"f07c409f50e4075255988a7b6d74ad3703fefd6e","datavalue":{"value":{"amount":"+0.7907614707946777","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":"Q4653017$BB144BE6-4B7B-4F44-BDC1-59F362B27875","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":"08bc06e70b37111d7bc125ec99d58a67fe10d800","datavalue":{"value":{"amount":"+0.7809094190597534","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":"Q4653017$38749EBD-E6F1-4634-9D3D-C9732D2F395F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typed behavioural equivalences for processes in the presence of subtyping","badges":[]}}}}}