{"entities":{"Q442289":{"pageid":444056,"ns":120,"title":"Item:Q442289","lastrevid":51525764,"modified":"2026-01-18T15:36:06Z","type":"item","id":"Q442289","labels":{"en":{"language":"en","value":"More on bisimulations for higher order \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6064622"}},"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":"Q442289$DAF5CBA0-A873-4D85-A91C-87DE74DF0FB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cc07baf33e60e609bbc69b6fb1f93eb5cfef1e2","datavalue":{"value":{"text":"More on bisimulations for higher order \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q442289$9A27D51C-BBBD-4C3A-BEFD-FCA77157CC21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4890ed4569576eca5c3cc0fc0fbe08632bab5483","datavalue":{"value":"1277.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442289$B8846C03-AB8F-4DAE-A75D-B2B2E3A36A07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10dcca5b30d83a2b73153a1fe8ee4cf4295d3114","datavalue":{"value":{"entity-type":"item","numeric-id":442288,"id":"Q442288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$6B774706-DA51-4FB5-9A91-B096338372C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$61B68044-8575-4CDD-92E6-85CC62F2124B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a441d8d0715752b5706ed908d152eb5ee7e7874","datavalue":{"value":{"time":"+2012-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q442289$AEC8474F-C381-48F1-9B1F-01EBA535C876","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442289$4BC6A87C-61B9-45D5-8C9E-CFD5A0404722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442289$D509EBF3-D794-4DDC-B1F0-45D7BB8D73A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdf27a7d31f802c2bb22d0421947ffc1ccb8e508","datavalue":{"value":"6064622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442289$F7E4BE13-8A5E-4191-9EB1-CEC2CDBDF298","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q442289$4681EF36-EF85-432B-8C96-653A98025A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q442289$2D8A2B89-593E-4E3C-A5D0-EB5FA24C53D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0efafa78fc4f77497352b4077ac24302551a1613","datavalue":{"value":"higher order \\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q442289$CBC165EA-C4DB-45DA-AFAF-C5EEB71BE3D5","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":"Q442289$F27813C5-6668-48C7-94D8-46E92FC13F67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b468360ef86b5019002b83286cc4f0d8443e39f1","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.04.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q442289$B9B73BD0-AFA9-47EA-91FF-578A34448C28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b9f2024242b43948a895d97d84418bd7f83ae1d","datavalue":{"value":"W2053976095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442289$A580FEE7-5234-4B0A-86B8-91AB83C0BD05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"024b03321ba67cb5e9bc1ceb59c7379ff6720793","datavalue":{"value":{"entity-type":"item","numeric-id":5464037,"id":"Q5464037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$AEC591A0-D421-4761-BF63-38A425F0612B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db182edce241513a9902528a24fdabe535739aaa","datavalue":{"value":{"entity-type":"item","numeric-id":5899080,"id":"Q5899080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$7DA84D85-A590-4EEE-8D12-4352B8DDBCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f90c3a0b3dbb3744b2661c026e3eef3dabc3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4236976,"id":"Q4236976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$DF42943D-813F-40F2-AA9E-C4E3CA58EE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dba7a15b0608fd7a2003e436be0af2bf95ea618","datavalue":{"value":{"entity-type":"item","numeric-id":1772314,"id":"Q1772314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$4E36136C-DB39-4D52-A497-E07F88B894A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326512adb0d970a5585a0043d08b17c70257b387","datavalue":{"value":{"entity-type":"item","numeric-id":5958770,"id":"Q5958770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$3D317BF3-6906-4ABE-8355-738C806C71C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fa1c69acd00a3c9d6638c43cf9eb33a6a0b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":4484493,"id":"Q4484493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$BA92392B-D785-4C02-BBF5-B3B2BAC0BBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada6c58c7a3f2ad7371062a6e28e49d1c7955299","datavalue":{"value":{"entity-type":"item","numeric-id":2491640,"id":"Q2491640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$7D9D72ED-736C-4367-9E2B-0E654B523EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1dc7f6cfd1bcba36f6b78c2feb82d8ffb024cc","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$175D2302-3B94-494A-BC2D-55179E963E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e9f41322dc74c02b234e1f9a37d82ae80f8f26","datavalue":{"value":{"entity-type":"item","numeric-id":627133,"id":"Q627133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$AFA40DCB-733F-40B8-9F4B-1064483BBF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$007FBDB2-DCFC-42C6-9D33-9F2DC06638B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$FAE46495-E8FF-474A-90B5-5C22BCA8AB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc2f7f952092927dacd0d7a73c8568f10e239b8","datavalue":{"value":{"entity-type":"item","numeric-id":2760245,"id":"Q2760245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$F2914309-12AA-4ACE-A96C-2ED840322D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$FF25A494-7E53-421D-AB85-8F88D82E9C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad09004ede4a1cbb641b5507bc7222c782135c97","datavalue":{"value":{"entity-type":"item","numeric-id":5464841,"id":"Q5464841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442289$698BD352-7582-4690-88B7-7F6F8C7EEC16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"282b90980f1512ee84cf718245162da1adc453f7","datavalue":{"value":"10.1016/J.TCS.2012.04.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442289$F4B82AFD-583B-44E0-B79F-BA7FF3B8FD06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614872894ff3feaa35db7566d946b74376376a07","datavalue":{"value":{"entity-type":"item","numeric-id":5899080,"id":"Q5899080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c9c41847284204ac44b10e879202a41848b0e0","datavalue":{"value":{"amount":"+0.994922697544098","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":"Q442289$6FE72407-AA4A-420C-906F-A30809218E53","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":"4a98c6a7e1182c0387d05730a5a465e23ef8ecc4","datavalue":{"value":{"amount":"+0.8652268648147583","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":"Q442289$3033AF91-9B50-4BB6-8EC4-7FCB9DA73FA5","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":"4a98c6a7e1182c0387d05730a5a465e23ef8ecc4","datavalue":{"value":{"amount":"+0.8652268648147583","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":"Q442289$7DB99B5F-8D8B-4163-84EA-F61AC6047F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c2d0bcd301d2ec5b9a8631f68ce4b21058f58","datavalue":{"value":{"entity-type":"item","numeric-id":3651244,"id":"Q3651244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b358b1c684d8122a2a61c7feea40cde35430f3","datavalue":{"value":{"amount":"+0.8505123257637024","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":"Q442289$039BE20E-2029-4D22-BB3C-FE2A016988CE","rank":"normal"},{"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":"553c176dcf525b7d290a5d9d6d1d236160291806","datavalue":{"value":{"amount":"+0.84809809923172","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":"Q442289$F14A29C0-172C-4E85-86B5-48600DCCA5DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:442289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:442289"}}}}}