{"entities":{"Q3612655":{"pageid":5642561,"ns":120,"title":"Item:Q3612655","lastrevid":87508991,"modified":"2026-06-04T11:51:26Z","type":"item","id":"Q3612655","labels":{"en":{"language":"en","value":"Hybrid Logical Analyses of the Ambient Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527400"}},"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":"Q3612655$37A4C642-B62C-4EF9-BC3A-4F3FE243F61D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff6f67b9269535c5d2936994e3521a8962505910","datavalue":{"value":{"text":"Hybrid Logical Analyses of the Ambient Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612655$19455BF6-CF77-4F99-9A38-01C25755C132","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4adee5eb48254435ced73a0dd8959ebfb0264a67","datavalue":{"value":"1175.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612655$1A466EA2-D95F-40E3-BC47-C5E0B7D46D0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a2e86ef322281f41f7fd15796bb7df1cf5db5e6","datavalue":{"value":"10.1007/978-3-540-73445-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612655$02B99D18-F35B-4039-9F31-33934F3DCF30","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":"Q3612655$C79EE41F-45D7-438E-A06A-3A0F910D9712","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":"Q3612655$BD17E34E-CC34-488E-86E5-E4318EAB291C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612655$89B70B5F-8EF8-427D-8C37-6F79BD8D0138","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-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":"Q3612655$1BE0549F-2686-4BC7-84C9-2825609CA174","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612655$C84DBB54-4517-403F-A780-FBD075246D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612655$D6C82DCC-719C-482E-81E9-06685372B4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612655$6453B8A6-91AE-4CE8-884F-B76935D1B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612655$1519BDE9-1F01-4A82-9A26-24EA3A905C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612655$7F5A0366-4499-4D52-B9E0-9EE6E3023176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612655$B97F65DA-3613-454B-90E1-EAB501D12DC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caf41f5a5c1718686e8dfed629526e5157335f46","datavalue":{"value":"5527400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612655$40FED2D0-C06B-4309-9579-A5CE21FB6A0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612655$92667C9E-1F4A-4008-892A-65A558E7AD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612655$52AB0503-6C7C-42D1-9AAC-DB0EC49ADD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44ec874691d1efc269e7dc080d98075de578df3","datavalue":{"value":"mobile ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q3612655$96CB9DCB-68A2-4042-AD93-0AC1E4F6F0EA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5df877ad9206420fd3f19073800be786e08ac44d","datavalue":{"value":"Q57813476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612655$56787367-ACDC-4818-8DCF-0CA193575A0F","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":"Q3612655$CB5AF9C5-8877-4125-BEB6-7430D7F29E53","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":"Q3612655$637865DE-C08A-4B4A-8833-F5D1A4F267BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01dea08f5e240ba68d4a3082f7fc9cb601056723","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73445-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612655$5AF4C9C1-F2B9-4AC6-BF7A-F98718E64BB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99a6b20d2178e1b4f5c40483b2e1894df326cd2d","datavalue":{"value":"W4238134709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612655$189268BB-6643-4C73-8A97-82276FEFBD8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024e0b83253ccee5c77b2a2e146ade0eb56393df","datavalue":{"value":{"entity-type":"item","numeric-id":964494,"id":"Q964494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d21f0bbf0cc721b49da6898ce8a6097906145d1","datavalue":{"value":{"amount":"+0.9999996","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":"Q3612655$C24D5CEC-0563-4072-AC4C-6303FC532779","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":"0bba3e88cf2546cf161e9f2dc761416200d1c56b","datavalue":{"value":{"amount":"+0.91424304","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":"Q3612655$4884B198-1178-4B14-B911-A530686B7DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18214adb8510ecdfe7e9c193d22335c9ac98e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3607559,"id":"Q3607559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c00324156e093f63f10c3e29ec42d32cf3e2f6","datavalue":{"value":{"amount":"+0.90393937","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":"Q3612655$EA8CDF46-1D76-40BE-A257-7BA4EDBD36CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884d71e9c389e773a2b77e5d0163d981c6066606","datavalue":{"value":{"amount":"+0.90228856","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":"Q3612655$61B00E11-9AD5-41A5-99FC-F4B788DCF912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ea9ca08bedf8c34e5a091e2ed1dc442c9912437","datavalue":{"value":{"entity-type":"item","numeric-id":5310656,"id":"Q5310656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546b094eeda7a468c9c750c2fea248f847043bd6","datavalue":{"value":{"amount":"+0.9014502","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":"Q3612655$0F586608-C2A2-4340-8B0B-870B6D6CA364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201d68b0255b426d27ec489e487120e3713002d6","datavalue":{"value":{"entity-type":"item","numeric-id":1682285,"id":"Q1682285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8db802fece6d0c6724592e50e1a6ae76ee596ab","datavalue":{"value":{"amount":"+0.9010495","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":"Q3612655$F246E860-993C-474E-A6C4-227EF010F922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de30b2a4d966cd41a9913e0e1b0a11ff7673c66","datavalue":{"value":{"entity-type":"item","numeric-id":860882,"id":"Q860882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9952aea6550a251d634c7f5ba1bbc9a7a190e5","datavalue":{"value":{"amount":"+0.8914716","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":"Q3612655$4F8B5448-1BCB-4ECC-81CE-CC42A64A957B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d5539556ac7372003ea0e5e8e64e437a780730","datavalue":{"value":{"entity-type":"item","numeric-id":4263021,"id":"Q4263021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9691ad80c2a944fc10bda3f0e8a76b67efd9d3","datavalue":{"value":{"amount":"+0.89006746","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":"Q3612655$35ABD81F-E800-44C2-861C-07CD6D78198B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45359ae6083f3706fd89c44f27c724ff75f0f39a","datavalue":{"value":{"entity-type":"item","numeric-id":5488610,"id":"Q5488610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8708f731a3cefeb26931d4e73615f628587057d","datavalue":{"value":{"amount":"+0.88957524","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":"Q3612655$04267827-C5FE-47FD-8BBE-F7101EE54023","rank":"normal"},{"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":"b850b7cc1ca2b9318d536607276d8200bbe557a1","datavalue":{"value":{"amount":"+0.88708925","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":"Q3612655$514E5C21-F7D8-4193-8544-003C6F118B03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid Logical Analyses of the Ambient Calculus","badges":[]}}}}}