{"entities":{"Q4963996":{"pageid":6993575,"ns":120,"title":"Item:Q4963996","lastrevid":58379601,"modified":"2026-04-04T23:23:52Z","type":"item","id":"Q4963996","labels":{"en":{"language":"en","value":"A criterion for separating process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7315074"}},"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":"Q4963996$EE93EB18-FEE5-404C-9D91-6E2FFF4439A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ed0c316a4783d206093f19fa84cd1317c85b577","datavalue":{"value":"1455.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963996$68736B0F-7439-4357-8F6D-9981C0A102B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"396e77036b2f9504911443c1db01a06b3dd170e6","datavalue":{"value":{"entity-type":"item","numeric-id":617978,"id":"Q617978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963996$6FE52DCB-1D52-448F-A12F-67ABA6DBD7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cfd685dab2eb6d8bd66c9db34b7db2842aa5f12","datavalue":{"value":{"entity-type":"item","numeric-id":492907,"id":"Q492907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963996$4A705F7B-058C-4AA7-9A09-47D10412DDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c091a2e6ab80fe580104939a47a45052e3841b4","datavalue":{"value":{"entity-type":"item","numeric-id":859967,"id":"Q859967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963996$5E832643-4DF4-4908-AC2B-5CB8CD9E0E35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1adf4f4ff00d375f9dadfee22b395ad0bd8222ce","datavalue":{"value":{"time":"+2021-02-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":"Q4963996$430FB5A8-42FC-449E-9DC0-12CD51B52854","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c551927cfff1069b8c409c01f2d4daaf70b116b","datavalue":{"value":"https://arxiv.org/abs/1011.6430","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963996$17DD9035-ADC9-437D-859A-0E243FF8FEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"02caeb354c889a6eaa0cfe5543f8b914666c4f6d","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS10.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963996$9E3E4F93-AA0E-42DB-9E6A-18F31E905DF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963996$51421CF0-1771-40E9-B92A-A8116C9DC75A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"add1b95e2b980c1f30701ca2fd2a4ac343206d77","datavalue":{"value":"7315074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963996$E522E78E-3A3A-4A7A-8A56-4C35B565BA96","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":"Q4963996$F371EC65-5AFB-41E9-A31B-B199FFCEA831","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949c2c865bff43934830ade1ba56b44ec412f9d8","datavalue":{"value":{"entity-type":"item","numeric-id":2210864,"id":"Q2210864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330c764a7031fc8d5b0c7248da5e6188569227e5","datavalue":{"value":{"amount":"+0.9460145235061646","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":"Q4963996$8BA6DF5E-7416-4B4E-B092-16B2B091D5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933b1dfc6f44c4e19db73d4ecfd87130e0109a96","datavalue":{"value":{"entity-type":"item","numeric-id":1959439,"id":"Q1959439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fb280922d5dafee551329d7b7304df3f84018e","datavalue":{"value":{"amount":"+0.7896431684494019","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":"Q4963996$517BF855-FA3A-4DF7-9F3E-DFBEE13B4579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d11fe76ca7a3004f33dc0ae83324e19afd6428e4","datavalue":{"value":{"entity-type":"item","numeric-id":5013871,"id":"Q5013871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34503e790c65f5ec92ae35a5ecf064c00977b3be","datavalue":{"value":{"amount":"+0.7871991395950317","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":"Q4963996$9C379668-39BA-4EC3-A0F4-3CC48FB1962E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c2203b87adcd049f60c0ea1fec652230d0c16e","datavalue":{"value":{"entity-type":"item","numeric-id":3541040,"id":"Q3541040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53f5991bca6039b9bb8a917744bf9e982dcbfff","datavalue":{"value":{"amount":"+0.7858735918998718","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":"Q4963996$386A6658-E3E7-4DDB-A3B3-4F305B52AB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b427b8f6570aa58ad392dc9e655eee39edb0a374","datavalue":{"value":{"entity-type":"item","numeric-id":1641151,"id":"Q1641151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c53cb3f8e699e750d001f7f251deb89da308059","datavalue":{"value":{"amount":"+0.7313445806503296","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":"Q4963996$3AF4DD4B-996D-4192-BFC4-BC8B61B32178","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4963996","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4963996"}}}}}