{"entities":{"Q5357719":{"pageid":7387293,"ns":120,"title":"Item:Q5357719","lastrevid":52898039,"modified":"2026-01-23T18:27:58Z","type":"item","id":"Q5357719","labels":{"en":{"language":"en","value":"Characteristic bisimulation for higher-order session processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774226"}},"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":"Q5357719$9CD80B64-A5FB-4878-992E-4E5B87D459DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3627bad80b06804e0e800dd969231e1f0022929","datavalue":{"value":"1374.68336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357719$7F4D0A44-8B89-4112-B98B-640F90A900AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a605ec90e0fbc85acee63e6d434d5484fb18ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2272987,"id":"Q2272987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357719$8DD9C7C2-A984-42FF-AF1A-C061486BA9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bf2daf37619b5f51c5968e7e6d35980ea99e46","datavalue":{"value":{"entity-type":"item","numeric-id":315278,"id":"Q315278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357719$F554C889-1813-4C5A-8A6C-9D5141CB9FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357719$C1467B43-A157-4B71-8840-A7A711471928","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5357719$D44FB2C4-A14E-4CA4-AAF6-5D291B1A3156","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357719$BD07E99D-EA52-4AE4-BC59-F5D421C13255","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f41d381ee411cc25ff930aaed9e27c380ced41f","datavalue":{"value":"6774226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357719$295E9652-BB7F-48FD-A148-EE08858E62C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79e31496d11f73c7d8c7a3026ef41cc58d335a8","datavalue":{"value":"behavioural equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357719$7A001B1F-330F-4F76-BA00-A946CEB06A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357719$48411BD2-578E-46C0-A58E-6E5427470ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f585f1f3319678bd8642b89aaa70dc2d3f66ff22","datavalue":{"value":"higher-order process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357719$D74787DF-9344-4BDA-B495-DD652A044A9D","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":"Q5357719$9A01D99B-9C32-4F99-B7F6-C1139F8A485F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58315df3903508980e6f18520399b52db7af5206","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357719$C366FB0F-7B87-4FCE-BB25-AAA580F355A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e754f846f52fa390c347cb04398ac1b55110a46","datavalue":{"value":{"entity-type":"item","numeric-id":2357655,"id":"Q2357655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40635f5b4959970d2440c20d8218dec30ac059d0","datavalue":{"value":{"amount":"+0.9941136837005616","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":"Q5357719$89747DAB-0DB2-43F1-B528-FC87C6A88298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6886ee118ddaa2befeee9417c4027aedfc2fa8f3","datavalue":{"value":{"entity-type":"item","numeric-id":4994121,"id":"Q4994121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678a56264145545fa8111c44e16ccdb224ab6238","datavalue":{"value":{"amount":"+0.988625705242157","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":"Q5357719$45DA04FC-7D3B-4AC5-8032-8417B07161C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6deec1fcad41e6761c43506292a72e1fc2a7cbb9","datavalue":{"value":{"entity-type":"item","numeric-id":4921509,"id":"Q4921509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25cb7004fbe3048ebbad26affd7b47b7de793b9","datavalue":{"value":{"amount":"+0.8257169723510742","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":"Q5357719$BEF9B39C-96BD-46DF-9216-480D5C15F5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a5ab6201c2d1527083e16329d1141f016685f6","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8e559fcc57b4272bb0691ba2313fd50f7eebab","datavalue":{"value":{"amount":"+0.8049476146697998","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":"Q5357719$542AD6D7-2484-4D3B-B1AE-C404ACDA4E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f973a3cf740520663fbae48533770d730c008cf","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd08901a3e5c9b4cae5418a1760ba941abe3176","datavalue":{"value":{"amount":"+0.8026745915412903","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":"Q5357719$4F1ED566-BC81-48C7-BC8F-F3782A5E47F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357719"}}}}}