{"entities":{"Q5897115":{"pageid":7937756,"ns":120,"title":"Item:Q5897115","lastrevid":50898842,"modified":"2026-01-15T15:50:20Z","type":"item","id":"Q5897115","labels":{"en":{"language":"en","value":"Ambient calculi with types: A tutorial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667362"}},"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":"Q5897115$F9EC23A0-2D17-4134-84C7-0DF136B0E60B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1af1b75292556e85593faf76a0eefe03543a803c","datavalue":{"value":{"text":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897115$5D6B3BDD-8912-4F71-AC6A-A7E4FC3C025B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c59879ef91f4e25eb635534855b961d4d986b965","datavalue":{"value":"1179.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897115$3E280B4F-2376-4F45-8889-0837EEF70A6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa036ac71e4432af4595c2940a8c80a681ec2db2","datavalue":{"value":{"entity-type":"item","numeric-id":1105362,"id":"Q1105362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897115$E0935116-A6A5-4D38-8717-3FADD6B7DD8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897115$1AD3B10E-17E1-444F-BAEB-BB9D04C933EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897115$3C054A28-C801-4CA9-B7A3-EAD795D7840B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897115$6918C0FE-7F2A-476B-B5BA-B050E57780C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897115$5FEF3131-4859-4880-AACD-8987DFB8535A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba4226e943dd6ed345e4e6629a9fb610c6f75895","datavalue":{"value":"5667362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897115$16B6EF4E-9375-4DA2-9652-1CA1361F662F","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":"Q5897115$7A5847D4-3280-46D4-B469-8799F10A7B27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5859916cec0d2a122d85f1cdceaf30caf371f41","datavalue":{"value":"https://doi.org/10.1007/b94264","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897115$FBDDFC1F-1B9C-4A41-A32F-4EC01C79B445","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d35e80a5307ab861a9c8bdca731eef7d61504cb2","datavalue":{"value":"W4210352435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897115$336FFDEA-9ED8-4B8C-A85D-C3A2E448CF90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa99cf7f3cb4f8d905610482a4e3fe84db522e77","datavalue":{"value":"10.1007/B94264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897115$6630B5AD-51B4-4B20-BB5E-FAC91EA0C4E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69e20614c80ee8caadce454c0f726af5526bd416","datavalue":{"value":{"entity-type":"item","numeric-id":2497144,"id":"Q2497144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac8af24d99bae32dcb8500f647e8082c4c7e6d9","datavalue":{"value":{"amount":"+0.8506484627723694","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":"Q5897115$E880C004-49F0-4A36-B728-E352DB303693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be720b63400f43790e1e6472af71a6fa3b956db","datavalue":{"value":{"entity-type":"item","numeric-id":1869977,"id":"Q1869977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39419fded95aad7decee0387e77186a9df08a02f","datavalue":{"value":{"amount":"+0.8267074823379517","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":"Q5897115$745F9373-4777-41A7-B263-8E14613E10E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065f683fc679d0029af9b309407cfe9a5920954f","datavalue":{"value":{"entity-type":"item","numeric-id":1029816,"id":"Q1029816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd40e85fbf801ccd5e4024bda87ea586a61a8088","datavalue":{"value":{"amount":"+0.8255890011787415","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":"Q5897115$8AB5950F-10AE-41B2-943C-FD825EB3C447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dcca467694dae300571567f6418124732fe4e3e","datavalue":{"value":{"entity-type":"item","numeric-id":5308697,"id":"Q5308697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd49e8fa2626e497b8c78bc185acb3b4f344a933","datavalue":{"value":{"amount":"+0.8229485750198364","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":"Q5897115$21396911-6D17-42CB-84B5-5DD2F380C1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1c99d0dbe6efb780d1a98b3b41d7911a1b5d3ec","datavalue":{"value":{"entity-type":"item","numeric-id":2763674,"id":"Q2763674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d00b79372d756747c3b6880421634a7bd18ab7e","datavalue":{"value":{"amount":"+0.8134340643882751","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":"Q5897115$41769394-6720-46C5-A063-DD266DB9C0E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897115"}}}}}