{"entities":{"Q5096892":{"pageid":7126468,"ns":120,"title":"Item:Q5096892","lastrevid":54383816,"modified":"2026-01-26T17:56:13Z","type":"item","id":"Q5096892","labels":{"en":{"language":"en","value":"A \\(\\pi \\)-calculus with explicit substitutions: the late semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573197"}},"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":"Q5096892$D35C4907-601C-4720-8447-BF622D74EEB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0df8f846e4a763be2dd861c7fd8043b59280f1a2","datavalue":{"value":{"text":"A \u03c0-calculus with explicit substitutions: The late semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096892$0AAE49D1-CE12-463A-B6A8-BDAABBD5411A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59d6e571de30c2cac9e43884b72e5c0d6e2a081e","datavalue":{"value":"1493.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096892$628C5E20-65FA-43D5-9261-210F1EA4E8BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed6dc5e61840c6f2d74e4cb6ca02fa5eba10f9a5","datavalue":{"value":"10.1007/3-540-58338-6_81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096892$DE9B4AA6-000D-46C3-8202-78BBC9880167","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$38220E94-F07B-45CA-99FC-6F8E2D8AD824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af968b07baf6554fb884c7eff05e6af89c4835bb","datavalue":{"value":{"entity-type":"item","numeric-id":236448,"id":"Q236448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$6FBC981B-BF25-49A6-BF8E-7C6008D1AFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72039656185d0ef8eb3f9cb23879b2b5abb28d22","datavalue":{"value":{"entity-type":"item","numeric-id":530216,"id":"Q530216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$E301B018-CF18-4820-8C44-06572E971E43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f2bb2b2d5f85629249be1a46c0399d951e1cde3","datavalue":{"value":{"entity-type":"item","numeric-id":5096865,"id":"Q5096865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$D122D58A-53BF-4FBD-A301-F822479AEEAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096892$0089D2A2-4D09-491E-94E6-CBB272CD9F3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096892$32555751-73DC-464B-BD04-D1FE056C2746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096892$84B4EA5D-DC75-4B83-8EE0-15984AE2A50C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ed7228296f45c54c1cea66cb4f3118a74c65ca8","datavalue":{"value":"7573197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096892$E836E202-D947-4C01-9B7E-9B5E33781B0B","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":"Q5096892$3AA84BF5-62E7-4842-98E8-2E4ECF65E805","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8498758a619d07fad76c1f26b46464187aea1bf9","datavalue":{"value":"https://doi.org/10.1007/3-540-58338-6_81","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096892$CC42B716-63FD-451F-9BDB-16B7C7E7875C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5fc7e70fcee5891a842611ef10e3440ae41cb91","datavalue":{"value":"W1502101334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096892$962518B9-DC7D-4EC3-BD31-68C468B4453E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$6E384B87-E4DF-4B56-B02B-14EACFF60681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$589A0F49-0F1B-4838-B44D-0349EA43C0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$32B7DDF6-1C4E-4A43-97CF-9EF28066AC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b49887873cf1833e3e1d4a2284f84cba89bf03","datavalue":{"value":{"entity-type":"item","numeric-id":2736365,"id":"Q2736365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$F2D1E9D8-4A6D-48CB-9F04-2DCDA1C7A932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$C3D0BAFA-6E39-4D4E-9D05-EE95F7BF4B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$528B7A04-F140-43C1-82C6-2C8730C093F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$1115CD82-DB80-4853-98FA-206647966F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$A9EFB7B1-B68F-41A5-98C0-7EE6BD6AF66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$197FDBA0-E4A3-451E-BFA8-AB5EF9796424","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":"Q5096892$94CD82F6-DE23-4645-B9ED-219A55C5A182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$44BA5B2E-FED0-40D7-8E2A-B3361E7025D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096892$119B186A-4260-4BD2-88D2-AC193564EE75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fcffddc6d47534ec880c714fd82b11c2d77bc3c","datavalue":{"value":{"entity-type":"item","numeric-id":1350998,"id":"Q1350998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7781757ef3f92c771a86f6d85aa9331abe1736","datavalue":{"value":{"amount":"+0.9554709196090698","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":"Q5096892$9480FEE9-FA52-4062-9E5F-C1FC2A8D4D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b9ecae4e2ba250ecd99f9b9c0d7d9fa0127ebe","datavalue":{"value":{"entity-type":"item","numeric-id":5958613,"id":"Q5958613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7bb31e1fd42e954577aa97fb107415987b856c","datavalue":{"value":{"amount":"+0.8602281212806702","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":"Q5096892$1FD992E2-3079-40AA-94B9-F7F94FF8D0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ce6844bd2705eda621171c0ed2b6a425026ff0","datavalue":{"value":{"amount":"+0.8487024903297424","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":"Q5096892$B643A105-6913-4B87-9A5E-331D915E61D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92814dd190447dc3809529a7c8a0548de19c5bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3024855,"id":"Q3024855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4416926a4789e43c7a9773c2dd1cd9a2c444dc12","datavalue":{"value":{"amount":"+0.8448929786682129","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":"Q5096892$05EE9292-6B5E-496B-93F3-2F4556ED49E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d2dcdf30b2350cc1ffd8d2491c16b2fd47b318","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bf3b04bfdcd2f2bac4e00715560180fda49d23","datavalue":{"value":{"amount":"+0.8146849870681763","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":"Q5096892$DB2665CF-D10F-4DD6-AEBC-03A7254CB23C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096892"}}}}}