{"entities":{"Q964494":{"pageid":966342,"ns":120,"title":"Item:Q964494","lastrevid":65683224,"modified":"2026-04-12T04:18:37Z","type":"item","id":"Q964494","labels":{"en":{"language":"en","value":"Hybrid logical analyses of the ambient calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5697027"}},"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":"Q964494$1993B94A-E9A4-4BFB-9678-B563C09AC3F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d101bf9d4de97a131c596facd694c0af261060d","datavalue":{"value":{"text":"Hybrid logical analyses of the ambient calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q964494$86E9CEA9-45EF-4891-9EDE-8CA6FBE4CF4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91e1541de978a7249f51680c9cfd4aa58dba0a61","datavalue":{"value":"1200.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964494$DDC528BC-8FC5-4617-AE47-814E3E1A1ADD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e0e2617a3a4b7424e5d388e4d779137235a082","datavalue":{"value":{"entity-type":"item","numeric-id":302219,"id":"Q302219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$FFD58976-63E1-46F1-818E-C1FFAA389DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a79f55d4de7d71bb4ffb5333a5d009d1cab68942","datavalue":{"value":{"entity-type":"item","numeric-id":964493,"id":"Q964493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$BA9B5297-BBB3-411C-9E5D-C36B640091FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$0D1E1E5C-064B-4ADE-80AC-7BC3E3026B62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f02be9883d625fd3319136e8ae50da56a98c787","datavalue":{"value":{"time":"+2010-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q964494$FB2C1536-02DE-4254-81AB-53470DDA2E5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964494$0EC3D18A-F2B0-4DD3-AB36-F2F781A2FFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964494$A30914E8-B12D-4001-A088-F20FF8E7875B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cb88b358202f1ee3820fa6c7b24e64f3bc97fb0","datavalue":{"value":"5697027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964494$974FCD0F-2F21-4C36-9E72-B78E64052806","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q964494$BC7E18EC-5F2F-4C82-B73B-511A37E9DCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q964494$46DBF4C8-7D90-45CC-B647-0943B4CAECDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44ec874691d1efc269e7dc080d98075de578df3","datavalue":{"value":"mobile ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q964494$8FAC2DD7-850B-4137-AA8E-9597C17E1830","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c87891cc55b0248fcde4884e7be03593f68d16c8","datavalue":{"value":"Q57813458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964494$8CE0849D-2602-4995-AE19-0494E479FCC3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"395e4892cfa767e7f1592afaab820b01ee7c3c54","datavalue":{"value":{"entity-type":"item","numeric-id":25576,"id":"Q25576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$EA546D2D-64F9-45F4-9832-852F6092AAC3","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":"Q964494$33B6E3D7-71C2-48BC-9472-E7CD096A56EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab4e979184a50cde65068d4c67f0f5944f5e83dc","datavalue":{"value":"https://doi.org/10.1016/j.ic.2009.01.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q964494$87547963-5271-4D47-BF4F-95DE73143A22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40ac8b6be5a84999e052abfa16faa0cc1768bd5b","datavalue":{"value":"W2126825077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964494$600290BE-79F6-4690-8086-6345F9621528","rank":"normal"}],"P223":[{"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":"Q964494$59DC964F-3A57-49EF-8853-4699638C1CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a532def81281161c623ddb165b53de574787ba07","datavalue":{"value":{"entity-type":"item","numeric-id":4414732,"id":"Q4414732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$7212D8A6-23D7-4B98-B1E9-CD45815DE4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077e4755acff87b5a6b832153af40da1df2d4252","datavalue":{"value":{"entity-type":"item","numeric-id":1398673,"id":"Q1398673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$51B2139D-57A1-41AD-A747-1305E5323BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d449a21464ffff4e2aa49f8dc26b0a680cbbaadf","datavalue":{"value":{"entity-type":"item","numeric-id":1603656,"id":"Q1603656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$7BE567E4-E7F2-455D-B89E-7CC58E4D2211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e92c50522e5891f6b6c7be4f89dc306a567f76","datavalue":{"value":{"entity-type":"item","numeric-id":5178849,"id":"Q5178849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$9538167D-434E-4AB7-8E79-5DACFCCFDFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c3a30b6756c3839d3f580f6371082e6c8bc54a","datavalue":{"value":{"entity-type":"item","numeric-id":3612655,"id":"Q3612655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$FAB48DC1-41E3-4B7C-8251-BC1771EFA542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c692885763555d10f5e136327088da3a56b9256","datavalue":{"value":{"entity-type":"item","numeric-id":5901855,"id":"Q5901855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$B605E11A-D8D5-49F8-86C8-E866FD0CAE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4869a038f4c639f28be8068d5455d2405880fee","datavalue":{"value":{"entity-type":"item","numeric-id":4494378,"id":"Q4494378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$D24022D9-F659-44B5-AA77-CBFF34EEDB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$FF1294F3-03E9-458E-B9E9-8C3E7E7F6D9F","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":"Q964494$D21F1404-BEF6-4A8A-9730-B0366C8AF99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0406600f6effcdb4c13b35f1faeb033950873","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$879993E0-4B99-4911-B852-3D4D3A509AAD","rank":"normal"},{"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":"Q964494$141EAB8D-9B7A-4C2D-BACA-C8E646F36C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabd65143767b5ff9141a7dea24ae3316748656b","datavalue":{"value":{"entity-type":"item","numeric-id":2763674,"id":"Q2763674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$C30FBC81-0A9E-426E-A247-5588A8961976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e345b28b6b4a436b683f7783d3d5886397a900a6","datavalue":{"value":{"entity-type":"item","numeric-id":5276152,"id":"Q5276152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964494$8086F5BC-C311-4193-B57B-1A385802AAD2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"31ef357d638c3a0ce18f0abaac6c21fbcb91688c","datavalue":{"value":"journals/iandc/BolanderH10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964494$C3F267CE-A49F-4557-B4A8-70F7451F276D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79808d9a638bcf286138543bf8c04739ea56c5e5","datavalue":{"value":"10.1016/J.IC.2009.01.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964494$2263B523-3C99-450D-9A9B-8CC2E9A7A9E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd7454658b99a6b23b95e7fb5dfffcfa6e48a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3612655,"id":"Q3612655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a526257898f8b660a8a83b4e577cc4e7021ff20","datavalue":{"value":{"amount":"+0.9867526888847352","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":"Q964494$2715FF94-DFCF-4D7D-8617-A3093FB43811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245d19e50588106054fb001912e9e6189f34adc2","datavalue":{"value":{"entity-type":"item","numeric-id":2729057,"id":"Q2729057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ae7b5dc88adae254db1f21ba756f898303660f","datavalue":{"value":{"amount":"+0.8108401894569397","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":"Q964494$1C0635CD-C5E8-486F-9EAA-77FE14672A8C","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":"530ff91414460d39677101fbea16cdc21e1c6dcc","datavalue":{"value":{"amount":"+0.7751040458679199","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":"Q964494$F3E183E9-52E8-4F35-A4E9-718EDA7E6EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82effb4c864b533d744edccaa0882f4105c0a010","datavalue":{"value":{"entity-type":"item","numeric-id":2748155,"id":"Q2748155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8665ec2534899af03cd0ef17109e39a632e4fca1","datavalue":{"value":{"amount":"+0.7661793231964111","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":"Q964494$A6E46904-7B64-4764-97CD-CDBAD6A1C57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc6e098fcf5075a5a35d8f6608eb4fec75ca9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5178849,"id":"Q5178849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef3b593ab8afca14c7b522aa8b17a90544ea6c9","datavalue":{"value":{"amount":"+0.7641458511352539","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":"Q964494$F2152273-3A94-4EAF-90EF-7F8FDB5C063E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid logical analyses of the ambient calculus","badges":[]}}}}}