{"entities":{"Q4994121":{"pageid":7023698,"ns":120,"title":"Item:Q4994121","lastrevid":91066505,"modified":"2026-06-04T22:10:21Z","type":"item","id":"Q4994121","labels":{"en":{"language":"en","value":"On context bisimulation for parameterized higher-order processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7360247"}},"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":"Q4994121$DB24A2F2-C545-4998-B74F-564117745151","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7e9e6f6aacd7f455037a0954b35292c74bb7342","datavalue":{"value":"1464.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994121$94B66C3F-5639-4902-A6F1-82D390CC6F29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f3403fe8086f1192e2b737c84b23ff146f94b11","datavalue":{"value":{"entity-type":"item","numeric-id":366386,"id":"Q366386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994121$DE52951B-D478-4987-BAD9-C873142AD463","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a51338a6510ced57ca3e94a511d1ff6f65e2e6f","datavalue":{"value":{"time":"+2021-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994121$2C51BF15-154A-4897-8F89-0DFDB3C385DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf9abc246c46f5ee14d5a4253db162b359442b47","datavalue":{"value":"https://arxiv.org/abs/1310.4572","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994121$BE0557F3-2181-4E39-8F8A-BDB0BD0BC776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b17d945ff9e8861d1e968c57a5bc71a495c9ad42","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2013.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994121$3B40A622-0520-4CC8-950E-0C7C205155B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994121$3EAE6889-F64F-4474-9C2D-D10FB4516EBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a02d2794652a29133d0102395a07179c8d35704","datavalue":{"value":"7360247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994121$69BF6C7B-51E2-43C6-AF9D-143737AA55E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd846c3cc5f597f4cfa0d9e2ada13ead2d26e71","datavalue":{"value":"context bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4994121$F3B417D0-6B73-4E21-99DF-1A05C86E8B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d712af8475c1840aa37cf50ab9f4a68aaf04c6f","datavalue":{"value":"normal bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4994121$C8DF4070-766A-4E91-B41D-6E98AF334803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5999a65c25a86de00d6f5bcd662c59f4d3f56ba","datavalue":{"value":"higher-order processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4994121$40FABB2E-84B1-42A1-A6A9-6C3CE2E7373F","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":"Q4994121$6C9AC6BD-4705-46E8-8C95-0429CD1139CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18c1b933a2e88841baa7188041c9c10f6edaf2c","datavalue":{"value":{"entity-type":"item","numeric-id":5108373,"id":"Q5108373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9108cd0a900d02cc1828d11f3f715de316992e70","datavalue":{"value":{"amount":"+0.8759526014328003","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":"Q4994121$5A9FABC3-1311-44C3-AF92-A38E2D419ADB","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":"e621a423ac6f80288ab6579131eb825b60c7fae7","datavalue":{"value":{"amount":"+0.8603899478912354","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":"Q4994121$D28F12C8-5DAC-418F-884B-4321DE153E2D","rank":"normal"},{"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":"e621a423ac6f80288ab6579131eb825b60c7fae7","datavalue":{"value":{"amount":"+0.8603899478912354","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":"Q4994121$B53E30F7-F529-4A44-940B-F718FD59147B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3be76d43a1f785e66b5497b0a8dbe5ee5b5935","datavalue":{"value":{"entity-type":"item","numeric-id":4976336,"id":"Q4976336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2d8147ec1ee0a9a47853d6f67b9544ad30b342","datavalue":{"value":{"amount":"+0.856099545955658","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":"Q4994121$C47B7760-6BE4-4BD3-968B-53BD1931B900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c398c78fbc3d500cfcabaf5a0e4eef5410e822","datavalue":{"value":{"entity-type":"item","numeric-id":5015357,"id":"Q5015357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d80233ea89ce7523ff6934bb2b319cfa442606a","datavalue":{"value":{"amount":"+0.8524988889694214","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":"Q4994121$9B8EA590-AB53-4FBE-B14D-C843B1CDAB79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On context bisimulation for parameterized higher-order processes","badges":[]}}}}}