{"entities":{"Q3000603":{"pageid":3011327,"ns":120,"title":"Item:Q3000603","lastrevid":58095462,"modified":"2026-04-03T19:04:37Z","type":"item","id":"Q3000603","labels":{"en":{"language":"en","value":"Sound bisimulations for higher-order distributed process calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897366"}},"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":"Q3000603$D2B364B0-DA68-4BE3-94A3-2CC91420FE2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ee797afd221a4f5b1e469ad67c352b75d8d6553","datavalue":{"value":{"text":"Sound Bisimulations for Higher-Order Distributed Process Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000603$5F3152BD-856E-4DFF-8450-FDD0857B93D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aad8e0ec4b09bd3f5c3a9614f9442377c7f5d9f8","datavalue":{"value":"1326.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000603$D4D3323F-DD7E-404E-BA6F-70AA06E06A98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c535f26fd59ff8604859617cfc6c48464c035c7d","datavalue":{"value":"10.1007/978-3-642-19805-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000603$98FCA828-5DCC-4371-AB1D-3B4C288783DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbdb621fa8877f3bd6a9e80a8e8f1b26c2856d51","datavalue":{"value":{"entity-type":"item","numeric-id":2986829,"id":"Q2986829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000603$A85902FA-A212-4B0F-8BC3-D29707BD3A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f570b16f91c28c517fdac836475d6b0031f634","datavalue":{"value":{"entity-type":"item","numeric-id":238499,"id":"Q238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000603$ACA56A6A-97E2-4C64-A010-86307C9C78BC","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":"Q3000603$CE6CBE7C-3BDA-4E5D-A695-7013520C17F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000603$3D7099F9-13C8-4C0C-9EEB-33AAE59E9EEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dc515eda6d1cf73d757f999e0ddc5ba470ffa35","datavalue":{"value":"https://arxiv.org/abs/1006.4943","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000603$FF4B0159-4366-4D40-BD2E-132BEBE48EA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000603$E8DAD4E9-8DAD-474E-8E80-9C634B1B6A53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b38e902a5578d6fb8ad072b50e0ea45800458b50","datavalue":{"value":"5897366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000603$8ACF1BC0-C0D8-431B-A9D8-19798572BC60","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":"Q3000603$CFABBE28-B13B-4AA9-A524-349BA5753110","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1d0bbd610926b7c101de5cb26b5ffa32fcc47e0","datavalue":{"value":"W1895690282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000603$74144C56-0267-4C5F-88F2-C15B0BC3E441","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"becad3aa3627e7507addd85d604b6bb3606cb39a","datavalue":{"value":{"entity-type":"item","numeric-id":3525077,"id":"Q3525077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26047dd134af4943d6d4c955089fa9fb2b278064","datavalue":{"value":{"amount":"+0.8584005832672119","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":"Q3000603$1F2A4492-8E98-4A8A-915E-F0FE3E0D1EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae388d398e7bee4b5cd6d35d62cc80a7b433986","datavalue":{"value":{"entity-type":"item","numeric-id":2986830,"id":"Q2986830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1e71fb0692b26dc976660392a803fde0834025","datavalue":{"value":{"amount":"+0.8204876780509949","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":"Q3000603$E9F70DE5-6CCC-41A3-9C4B-EAEAC85B81B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b755e77d2cbc1a6e69d5260511bf4343e0a23979","datavalue":{"value":{"entity-type":"item","numeric-id":2842104,"id":"Q2842104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af15b4f6a1f8c5b0f949f3e678b77484bc7a8b2f","datavalue":{"value":{"amount":"+0.8170391917228699","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":"Q3000603$5855F919-2FD9-47E3-BE92-E728290541F3","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":"03b7643188666f032fff193a82c80862824d4637","datavalue":{"value":{"amount":"+0.8131648898124695","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":"Q3000603$141EE9E0-3DE1-4AE5-B567-37BB794600D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb89accc791434a16b308b1bd728dd09f8527ef6","datavalue":{"value":{"entity-type":"item","numeric-id":442289,"id":"Q442289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b7643188666f032fff193a82c80862824d4637","datavalue":{"value":{"amount":"+0.8131648898124695","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":"Q3000603$278D42D8-804B-476C-BB42-C6814099F6ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000603","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000603"}}}}}