{"entities":{"Q860882":{"pageid":862730,"ns":120,"title":"Item:Q860882","lastrevid":64900032,"modified":"2026-04-11T22:58:33Z","type":"item","id":"Q860882","labels":{"en":{"language":"en","value":"A coalgebraic approach to the semantics of the ambient calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083522"}},"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":"Q860882$8BDD905E-294F-4E82-8E0B-EB7886B43FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6bd392fc40a96c20d41d3d02003539c32e85ca3","datavalue":{"value":{"text":"A coalgebraic approach to the semantics of the ambient calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860882$F7598ADA-8C43-46AF-96B5-556E889C0C6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6533b90ef28cc8c24780d27d9d08ab6881ffc463","datavalue":{"value":"1154.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860882$2067A8BB-B171-408E-8DFA-AE8762B6608C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a5b77d50e2c99c5b8c02feff26f37fbdd9f645b","datavalue":{"value":{"entity-type":"item","numeric-id":784133,"id":"Q784133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$13A83888-3692-4015-A45F-D0C5F9152B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431bf8683ea89426e31cb1e39f82476b555daaec","datavalue":{"value":{"entity-type":"item","numeric-id":420799,"id":"Q420799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$E09AB34A-461D-4AB3-BD1A-635D0A3BCDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$C6786857-A822-417C-9344-A6251008349D","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":"Q860882$6D461EA0-113E-473C-8603-5BCDD73E232F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-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":"Q860882$E3492433-A215-4B0B-9690-73EFD802E311","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860882$8DA49A2E-DB68-47C5-8E06-72F31B47A92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860882$C711A347-F519-42BD-A2D9-122C6501204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860882$7DAD3D91-921D-472E-97D4-04B812883138","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1815d47f0d18797bae5d285aa9ce1464e860afa7","datavalue":{"value":"5083522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860882$18704425-3F91-40B7-BE54-975D5E868881","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q860882$BE8F4124-9F7B-46D0-A0A3-4F48E773FF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"373ae8a92dd7f60bcd748f53e3a1c8b890713df4","datavalue":{"value":"ambient calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q860882$3A3B4EFB-773F-4BF2-866B-2AA1324804C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q860882$F91A9277-1716-4155-851B-C29205EE2BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a47ca6d7fed0e7952ff421b686a693eb7d659fd","datavalue":{"value":"COCASL","type":"string"},"datatype":"string"},"type":"statement","id":"Q860882$658E253F-B5E1-471A-90EB-A30B7FECC581","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$0894A974-1DC3-4ABB-85F4-78752D6515ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db773f0783d22fb6bffa08127db508527f4adb91","datavalue":{"value":{"entity-type":"item","numeric-id":24995,"id":"Q24995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$4EDCD9A3-E90F-40C4-92E0-502749D340E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$89EA3F6A-BF22-4399-A76F-46971E79D825","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":"Q860882$FDC00E5D-DDB9-44B5-B59C-25038BDC7C51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ee2d71949a9cec086b340a4132f8801adeadadf","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.07.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q860882$A4CECB40-CDE3-4E19-801F-8FE876C85E30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3f1df69a60ae0c73d538f47db116fbf2c1dc191","datavalue":{"value":"W2115692551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860882$24A31CFE-E0BB-427C-B00D-92B202CC7B7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d10c8699609d436c26f61d1c5e6973a07fd45c","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$75D11C24-DF0A-44F6-BCB8-0E1A35C3BD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d742f9083697d3e0cc58dbf60b9bab3721515","datavalue":{"value":{"entity-type":"item","numeric-id":1422256,"id":"Q1422256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$605179AA-12FC-44D1-8AE8-0738B9AC8E52","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":"Q860882$DE017D55-8D5B-4F99-A59A-7FF29C900A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$4D0CB911-9C4A-4508-BC8B-0639D7AE36E2","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":"Q860882$C9768DEF-6D4B-4C39-9CA4-047765B8C695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaf6437fe1af4176d3c1c9cd63223d13f97c9b9","datavalue":{"value":{"entity-type":"item","numeric-id":5316440,"id":"Q5316440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$018069F7-6022-4927-A2A7-BB9CF373A00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69666ec079841faf1d5c8997177504dce425f834","datavalue":{"value":{"entity-type":"item","numeric-id":2847815,"id":"Q2847815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$7F564210-F386-486A-B26F-7E91E0614776","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":"Q860882$820CF41C-7E82-4CE0-8F11-7E350CC7BD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d27dea8a5b32fb27f65cc37b9c19fbd34d8825","datavalue":{"value":{"entity-type":"item","numeric-id":3455211,"id":"Q3455211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$475EE476-54B3-4557-9B42-7BF2694435F5","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":"Q860882$9E69E49D-D082-459B-8E91-61F2E3B23582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d59f6a4c4f02015c61e7ac7278e591c46eb86f","datavalue":{"value":{"entity-type":"item","numeric-id":2369034,"id":"Q2369034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$F58477E1-8F0E-4951-8E82-A6B91C00C17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$54B424AB-3FF1-4A14-B139-11050A7AC57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$C52C3374-C0B7-4ADA-84D8-1CAC265E5F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a3c90c8a8b85fe11c0d0ffd25418ac6997d4e83","datavalue":{"value":{"entity-type":"item","numeric-id":5306026,"id":"Q5306026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$BEA2A38C-850D-4641-A6FB-74E1F7398547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$0576C996-8B3F-4C76-A2C2-85684BA88932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb8544014b7cfa8b7d1de27e17cb9ecb9a36d39","datavalue":{"value":{"entity-type":"item","numeric-id":5311260,"id":"Q5311260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$68063034-C618-423F-9F3C-D412CFF193E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ebcde6f9acd989964b956b073cee90454efab1","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$4C8EBCCC-77A6-4FB2-9BB2-BF08D7C19D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84a34f7ed2a4c6a1f340d4b5ffdb2124876a3c1","datavalue":{"value":{"entity-type":"item","numeric-id":1346714,"id":"Q1346714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860882$8D406BEA-E73C-4E2C-AE70-DD0BE9210648","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":"Q860882$74480494-EE1E-483D-9FC9-EE05B0571CC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e128d09513dbc04545e2f52de72b4abbbfac40a","datavalue":{"value":"10.1016/J.TCS.2006.07.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860882$733E1756-FDA9-42D5-B43F-F68EC3245F60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a344cd8792eb5fdea151973534dfce321f588f02","datavalue":{"value":{"entity-type":"item","numeric-id":5492824,"id":"Q5492824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36bb72088b7b1c48606ead4c5f040e0af0b2d436","datavalue":{"value":{"amount":"+0.9726503491401672","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":"Q860882$6DBB34C9-085E-4849-9AD4-4A70215D672B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3421793f2b92dca65ac361dd3a987be334f3e53","datavalue":{"value":{"entity-type":"item","numeric-id":4814186,"id":"Q4814186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6482b2ed5d97c6d4e70cb59a98078cf64e62c24","datavalue":{"value":{"amount":"+0.7716725468635559","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":"Q860882$B2EB9C23-1E92-4D80-80D6-21DFB87A42AB","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":"a51d810605b8ba79f9ee79729c5ccb62931c0818","datavalue":{"value":{"amount":"+0.7664712071418762","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":"Q860882$E73E732A-2195-425F-BCF3-552B17B935E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea2a635eb65b2dd7144cb8150a1b3657b79d026","datavalue":{"value":{"entity-type":"item","numeric-id":5697792,"id":"Q5697792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c09d4c75b3bc597ffb24eaf39364cff6fab45e","datavalue":{"value":{"amount":"+0.7628667950630188","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":"Q860882$0407A0A4-5A3F-465E-A094-3BF6BCFABF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbab06b957161c9b789968784bd37f49f2c4c2f4","datavalue":{"value":{"entity-type":"item","numeric-id":2843729,"id":"Q2843729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91b95b3b03d0c7032071ef8c4c33ddd3b0fd372","datavalue":{"value":{"amount":"+0.7560262084007263","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":"Q860882$7F0F25AF-B61A-45EB-985A-91B6562E208D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A coalgebraic approach to the semantics of the ambient calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_coalgebraic_approach_to_the_semantics_of_the_ambient_calculus"}}}}}