{"entities":{"Q2491641":{"pageid":2502384,"ns":120,"title":"Item:Q2491641","lastrevid":49843135,"modified":"2026-01-11T05:42:15Z","type":"item","id":"Q2491641","labels":{"en":{"language":"en","value":"Name-passing in an ambient-like calculus and its proof using spatial logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5028696"}},"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":"Q2491641$6441DC2D-4929-4F13-88FD-0B77F155E749","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0cc51e6ca57fc5979a9fa8ee3029bb31e975ce1","datavalue":{"value":{"text":"Name-passing in an ambient-like calculus and its proof using spatial logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2491641$D909D008-7935-4AC6-984C-5444F1BE9E9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06067dfbec00360b21d4155015ce5754e5ef3889","datavalue":{"value":"1092.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491641$68976D28-A0F2-46F8-83BD-E002F9525A3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4645ff56ed6f598405baef9ff04c3204ceac5d9c","datavalue":{"value":{"entity-type":"item","numeric-id":1607128,"id":"Q1607128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$7DAEFED9-3A89-4D93-8609-9A06A1E6B881","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":"Q2491641$3BB60466-B985-4ADD-9F23-D610C32790D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f15351dbed855cf0fba6286653472b73d10f2649","datavalue":{"value":{"time":"+2006-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2491641$6C31B66E-50C1-418D-8624-24942BC75A22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491641$806D0EAE-589D-41E2-ADBA-6CC9241EBA0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"156f01e984268c3f40263754269d6082e2b94144","datavalue":{"value":"5028696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491641$0B2ABC59-80C1-404D-893F-F37709F30D1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"373ae8a92dd7f60bcd748f53e3a1c8b890713df4","datavalue":{"value":"ambient calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491641$1691CF03-5B25-40E3-B359-5EA6B7642B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67275eee65130f90737e854dfe8e9aefe70e05d4","datavalue":{"value":"\\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491641$AAEBEDAB-7CA8-4721-9A02-3104529C4081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"def9cc255d1880257545d26691ed0d615a282dd3","datavalue":{"value":"operational correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491641$7AC8DC18-9EBF-42D1-8628-8C03D70C048C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491641$FD999341-23AC-41F4-ADDB-6125E50CD13A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$4F590E90-3C04-4263-BD27-D1B33475C745","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":"Q2491641$DB781DC6-11D3-4FD5-BF2D-B2909041A8B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"295633775994c4f8563a3c3966c79546fffb953e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.02.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2491641$E2F88043-17E4-45BC-B61B-E259609F4580","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c483705a8fe6c190a6f094f7c8c640b7ccae244","datavalue":{"value":"W2081295251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491641$E6976572-6744-4C84-B901-E18CD4A9BE21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43be25e4e32d750bff011724b173a7ad27f13558","datavalue":{"value":{"entity-type":"item","numeric-id":4673435,"id":"Q4673435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$8EF66FE7-58FD-420A-9039-4CFBEEA9E20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$63C4D9A2-6B78-4E6F-8A91-C2C06E7085A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$1147FF4E-9033-4387-B673-49B08B0AED65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543dc422b5668e3887aacfa58839071e9ea6dc4","datavalue":{"value":{"entity-type":"item","numeric-id":4417861,"id":"Q4417861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$11437D80-E814-440F-8400-9F769B7C1DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$448F9708-6061-45BA-B43D-10773F4FC4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$3F80FC1F-77D8-4E0B-9ECE-03762F39390E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0c813dd7e5d6c8b64e607641d3edca46e67208","datavalue":{"value":{"entity-type":"item","numeric-id":2778816,"id":"Q2778816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$03B17B9E-1576-43C0-B5E3-273CBFBF71DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e79ef1c390a15e4eee11dad0755fdcfba023ca","datavalue":{"value":{"entity-type":"item","numeric-id":2843918,"id":"Q2843918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$7D97C0FC-7EAA-41D6-9107-15388064DFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d7f3b23d601f4f353a56427753cc075ebbe7b5","datavalue":{"value":{"entity-type":"item","numeric-id":3452257,"id":"Q3452257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$CCE0BA47-DDAF-4CA7-99D8-235D69B13736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc12cdf250d6ce6c82e9504d13ccc5b58f7168e","datavalue":{"value":{"entity-type":"item","numeric-id":4814186,"id":"Q4814186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$2130796F-CF9D-4CC8-B764-D4171B4A5260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4127da81685d09d0b6a73afcf8a6432964303df8","datavalue":{"value":{"entity-type":"item","numeric-id":1854507,"id":"Q1854507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$D4A08C11-D2B0-41A9-80F6-B75D91336354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26161d994f695352e29cb16bc508ef9bc366ffce","datavalue":{"value":{"entity-type":"item","numeric-id":2847404,"id":"Q2847404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$6D13EC18-6140-45BA-9C95-AE7B04A3839F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd5f93e880f26a351dd01f246d08f28f874f70c","datavalue":{"value":{"entity-type":"item","numeric-id":5178899,"id":"Q5178899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$DFEDA0C1-E864-43C9-BB3E-CAC5380D3982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9fad324e49104895b084cb5cc6db209b6e6bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4449205,"id":"Q4449205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$25767B6B-376F-413F-8543-28646DAA4EB5","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":"Q2491641$BCFDC253-FFA0-48FA-8EE0-023580A84D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$79D9A87D-1E7F-457D-8CA1-C175F4C85173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f63aa83914847492da5f6030516f6f08e85c8f6d","datavalue":{"value":{"entity-type":"item","numeric-id":5308465,"id":"Q5308465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$BF5134D5-7757-4455-A0C2-E8CEB89D0A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab6382b8032d8156a2b1532dd248d2d09b48a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4536621,"id":"Q4536621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$E33E2392-AB7A-4601-8147-9C3E40E258D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d8ce7f4bc93b970a2eeca767cdcd57b47281a1","datavalue":{"value":{"entity-type":"item","numeric-id":1960533,"id":"Q1960533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$90DE9894-F85C-4213-9947-88C1D4296C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491641$8BBA94D2-C106-48D7-9C4B-6DE9C75D2AA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3af5ecde96d74986961a284f8b4a7c1e2b58b17","datavalue":{"value":"10.1016/J.TCS.2006.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491641$0A4391E7-4F79-4A5A-A697-D095FDA5A8FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04805ed2ff7ff0a24433d4b8428519077da20ab1","datavalue":{"value":{"entity-type":"item","numeric-id":2848142,"id":"Q2848142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb0e1b82ddfc7de6dd01c328bb81fd4ec53b266","datavalue":{"value":{"amount":"+0.9849473237991332","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":"Q2491641$03AB4A9D-0B29-434C-A257-9D242CA48EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec47e1d901cc11fd90886073431890986be03991","datavalue":{"value":{"entity-type":"item","numeric-id":3401940,"id":"Q3401940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a06bf5c9fe9ba1f49a988b19d4a0266253fba29","datavalue":{"value":{"amount":"+0.7570219039916992","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":"Q2491641$24302C9B-CA82-4571-A120-E0DD7188DC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cbe3a0297f9869abe73448a0a21488300f6d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4917029,"id":"Q4917029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb081327f821020b826aafebf1ca8e32b67d04a","datavalue":{"value":{"amount":"+0.7473021745681763","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":"Q2491641$AE0B9030-9204-4AD8-B67D-33819A38FB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1725feaf53bf8d1375b89f093885a013eaaf4f","datavalue":{"value":{"entity-type":"item","numeric-id":2844811,"id":"Q2844811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042f0b4ffff2bd96cd4be2bb834b1df46c6aa81c","datavalue":{"value":{"amount":"+0.7447934746742249","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":"Q2491641$53667B7A-E69E-4474-A300-1353DE82FEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d01692312ae28f43a7ffbca07472e5e5d4054e","datavalue":{"value":{"entity-type":"item","numeric-id":3067465,"id":"Q3067465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f1e87fd7ae692d3c7fed85cc2830bdc052a121","datavalue":{"value":{"amount":"+0.7346007823944092","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":"Q2491641$43A179FA-905A-49EA-BA2D-33AB4A83D6FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2491641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2491641"}}}}}