{"entities":{"Q3651244":{"pageid":5681150,"ns":120,"title":"Item:Q3651244","lastrevid":81011870,"modified":"2026-05-06T17:30:51Z","type":"item","id":"Q3651244","labels":{"en":{"language":"en","value":"On Bisimulation Theory in Linear Higher-Order \u03c0-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5644184"}},"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":"Q3651244$40A4A301-8C15-43F7-BB60-1EE3F8A0FE24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf4ee56b7d838ebe333359f8bc3c3b399e963ab6","datavalue":{"value":{"text":"On Bisimulation Theory in Linear Higher-Order \u03c0-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3651244$27DE7618-40A0-4C77-8C95-A37C758395C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7189dc06f71052977b0efb290de0259ab9dbd1d8","datavalue":{"value":"1266.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651244$88076637-AF52-4AB3-B1A2-AB47F49AFC02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"888db1e31b7265e3518ecfec3bdc42a7d3b4fe8b","datavalue":{"value":"10.1007/978-3-642-04856-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651244$D95CB56D-D541-4293-AF70-BC8A40F32B6D","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":"Q3651244$934925EE-C3C2-4E01-A79D-E7A86FC2F75B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf30e77bab92abe10e3d0cadd9cc32c77cb0815a","datavalue":{"value":{"entity-type":"item","numeric-id":3651239,"id":"Q3651239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651244$497E66C4-5DF0-484D-9FC8-0D257A2A8909","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9dc9012af01361476b44df692f016594cc25fae","datavalue":{"value":{"time":"+2009-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3651244$E14AB605-F9DE-46CD-BD51-F7C2D04DED87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651244$33F479EE-7505-40DD-8C99-67DE5F75C69D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8c4de7390e56e7803bfab3afc1adbe1e464937c","datavalue":{"value":"5644184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651244$ABFF1282-0C52-436A-A876-9B0DCD55147A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3651244$F1D2F36E-45D5-4E4A-BD5C-1561D1552C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b042a121579df0a4bdcbe18f3c696093857e4866","datavalue":{"value":"linear higher-order \\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3651244$0DDDB362-1C0D-475E-AB0B-D146F22DE95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3651244$A249E020-5400-4C90-B358-E8DE6580BE59","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":"Q3651244$ECA84B16-74B3-47EF-8317-943B335F462D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"250b7daeb2fa56998dcb0aa5caa8a222342baaff","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04856-2_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3651244$582D9C4A-27FE-4F99-BC02-9D1F80468DD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e78c7bc001cf615f0ce4fbd9e963fe65ead8249a","datavalue":{"value":"W1514174256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651244$3258A322-54EF-41CB-94F2-54512ABC9851","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be147c9e5f4eb36b892e29eb0906bfab843dcb4","datavalue":{"value":{"amount":"+0.9565692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3651244$4687AC35-A5F4-4E67-AA82-6DF92A2CFF5D","rank":"normal"},{"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":"887cdbd8da51d85e94d4bcc9e9a3f187f35655b5","datavalue":{"value":{"amount":"+0.9459693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3651244$E95E5D63-D58E-4A22-BBD5-9E333391E9CE","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":"887cdbd8da51d85e94d4bcc9e9a3f187f35655b5","datavalue":{"value":{"amount":"+0.9459693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3651244$9D88FE37-C64C-4E05-B5CF-E0A4A3EDB10E","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":"44c0c0d83e9299677cbc2bdcd457154358b44928","datavalue":{"value":{"amount":"+0.91482437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3651244$4601FABA-BC09-4335-AD49-A0FF5720DEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bd208339a4b17c15aa25bd556ceab95a02bd96","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f680338bcee480fd02702c75e344e23666d3f8","datavalue":{"value":{"amount":"+0.91436917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3651244$982701C6-9155-44EA-B33B-DB43A791A3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e74d2b53c8b1403baf62edc50d4d6ebbca298ee","datavalue":{"value":{"entity-type":"item","numeric-id":6104371,"id":"Q6104371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f680338bcee480fd02702c75e344e23666d3f8","datavalue":{"value":{"amount":"+0.91436917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3651244$019F473B-1F0D-4A08-9E68-7919F7399CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674e844a8d35aa6055616c89d0c4ddfb5b818fa","datavalue":{"value":{"entity-type":"item","numeric-id":5897764,"id":"Q5897764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2f5acc648e0de889d6cb2b8b686fabb9aca997","datavalue":{"value":{"amount":"+0.90738446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3651244$B2439407-2363-4009-8318-EF5A76C3C297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51424281b9812533847d9811813d74c32707a82b","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270e4cb80afde8d9db646af6afe343b0323cbdce","datavalue":{"value":{"amount":"+0.9071202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3651244$8F1E22E5-D8EF-453C-83A3-6666D08BB5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30686e4b96dbdea5912a334eab698ec8c93f1b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1966507,"id":"Q1966507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89af9e6f8c99128f96775069aed717452c7bc10","datavalue":{"value":{"amount":"+0.90392715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3651244$0F93B03B-9EED-441C-AA31-E9605A3F8E24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Bisimulation Theory in Linear Higher-Order \u03c0-Calculus","badges":[]}}}}}