{"entities":{"Q2848669":{"pageid":2859389,"ns":120,"title":"Item:Q2848669","lastrevid":79757207,"modified":"2026-05-06T14:38:34Z","type":"item","id":"Q2848669","labels":{"en":{"language":"en","value":"Contextual labelled semantics for higher-order process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212121"}},"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":"Q2848669$36919307-246B-472C-B478-D2A129BA008A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5798d092d136ac007aa2bb3ab64a32b5cbf40dc","datavalue":{"value":"1272.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848669$5680BC8A-EEF1-49D2-8008-8CAD5284681A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d7c4100404442680e9faf3f2ae6e537b0cd1cc1","datavalue":{"value":{"entity-type":"item","numeric-id":319638,"id":"Q319638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848669$9FF54E57-EED0-4872-B677-EE2101C804CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848669$F0E82910-2987-46A2-A6F8-5C141E7A6390","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4295e75c539ef1d1c2bc5ddb1233c1f1e2db4429","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610505111X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848669$516FE89C-9AA2-4B17-88CD-34A9BBD4ED4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848669$928B6A6D-6B76-4504-8825-FC920EB4E9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848669$DBA9C89B-EC69-47CF-9282-80CA4EA67222","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"017aa965f9a246bf4ea8be2b78a42da1d2166360","datavalue":{"value":"6212121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848669$8C3F48F0-CEE1-4ED4-8D74-8A7BB3B28FCB","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":"Q2848669$33E44169-B76A-4F96-960F-0D26E8E33DA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b542190fba2307ee41e37f91933443625b80cf7","datavalue":{"value":{"text":"Contextual labelled semantics for higher-order process calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848669$F9A837FE-4C5C-4F0D-8789-CAD594C2F662","rank":"normal"}],"P1643":[{"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":"754ed43a10d5c0b8cdddf50997d4cbf96a0bb42f","datavalue":{"value":{"amount":"+0.8296350240707397","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":"Q2848669$18F5AF28-3220-4CA3-8F71-C62A6F8F894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f42e7838d2a090150c26a588bc7e7673c6fe88b","datavalue":{"value":{"entity-type":"item","numeric-id":5958778,"id":"Q5958778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754ed43a10d5c0b8cdddf50997d4cbf96a0bb42f","datavalue":{"value":{"amount":"+0.8296350240707397","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":"Q2848669$AB118C2D-9498-4AED-87D4-21045F972B4B","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":"3756d8fd0a42bd10b4df77b38af69043ed69b5ad","datavalue":{"value":{"amount":"+0.8230987787246704","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":"Q2848669$98F55B71-3A71-441A-BA50-072A604FCB84","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":"832b582b3cf5e40b7347a8382f202b8617e2ad01","datavalue":{"value":{"amount":"+0.8229883313179016","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":"Q2848669$384E2A54-DEFE-4F64-B54D-138E653982EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea0d8300f32501b0a513ee023b419d344e90e2d","datavalue":{"value":{"entity-type":"item","numeric-id":276479,"id":"Q276479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195e73d9564712246ec428c69ca3410215151fef","datavalue":{"value":{"amount":"+0.8170074820518494","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":"Q2848669$1A2B66A5-FFB4-4CC1-8A89-4A44929B44F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contextual labelled semantics for higher-order process calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contextual_labelled_semantics_for_higher-order_process_calculi"}}}}}