{"entities":{"Q2894559":{"pageid":2905284,"ns":120,"title":"Item:Q2894559","lastrevid":51501656,"modified":"2026-01-18T13:05:36Z","type":"item","id":"Q2894559","labels":{"en":{"language":"en","value":"Strong normalisation in \\(\\lambda \\)-calculi with references"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051380"}},"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":"Q2894559$98AA1721-FF5B-4EAE-AA29-8B404171F42F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1df059d5bf1a4fd4beb0447fa8748cef549f93e9","datavalue":{"value":{"text":"Strong Normalisation in \u03bb-Calculi with References","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894559$5C83E083-8A1F-46AF-95FB-872FA2D405E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01acf3ddf8d873b0eff24a6c588660dc12987f46","datavalue":{"value":"1353.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894559$E7D5182C-5897-433C-8EFD-32134CE66ABE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6ba1622effbebcc14a4c3930d09e785cf693710","datavalue":{"value":"10.1007/978-3-642-29320-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894559$9167120C-CA00-4F7E-A8DC-00D1CBFD60EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af5627cefef78d9602d64742a4b36ba411183c3","datavalue":{"value":{"entity-type":"item","numeric-id":517049,"id":"Q517049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894559$C19EBB19-1073-4830-B61A-0963D47B9548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4c63b7742bce0ebc681b1f9a00a9ad96e83d07","datavalue":{"value":{"entity-type":"item","numeric-id":225065,"id":"Q225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894559$3FECA4C6-441C-4525-B60E-579B20E53B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894559$3E037480-41AA-4D8B-8661-A3A1DDF7AB9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894559$AA1AF38B-153F-462E-A31D-8F0AFBA9B7F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894559$8D4E86BE-9F87-465D-9148-AEEB03BF19DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894559$82389ACF-7420-49AA-AFA9-BD80D0DC0871","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0557682245c3af1aadac4db3e33c0bc6b317af28","datavalue":{"value":"6051380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894559$5AD53BA4-619F-4D8D-B458-012194ABD6EB","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":"Q2894559$41F0019B-38D6-4BF3-BC64-58985DEE6618","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df2a9fd4bf7b3d7bddfb95beb6d456898ddfd12f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29320-7_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894559$D92338CC-6A91-4176-A913-F0963C2C152A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97454f9d6aae513bab4051c482c3fc7d126c0a54","datavalue":{"value":"W63046508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894559$BEFA2FBE-8A4A-4AF7-AD82-DDD717C99A73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b1e6ec56c83b1cfd582d9359886bc98c25a45f","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9103fe0a56aafa542622c17497962617648c053a","datavalue":{"value":{"amount":"+0.773258626461029","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":"Q2894559$4F19F27B-2329-4989-A89F-B677E2108C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3eb91743ec83b041c7d0d037348ca1aee38dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4246947,"id":"Q4246947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616ee8737bc94f9f2c02caabe559707ce0378509","datavalue":{"value":{"amount":"+0.7594147324562073","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":"Q2894559$C525844D-0DB9-4B39-AAE4-A4DF586446D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f953e2ee4e4da0dc2baca27f2305ee38b6c1cd","datavalue":{"value":{"entity-type":"item","numeric-id":5901559,"id":"Q5901559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f450d835148a11f4bbea27bd6110bdec3dd215b","datavalue":{"value":{"amount":"+0.744996964931488","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":"Q2894559$AF97707C-9FB5-40C0-AEC4-F3F45862D7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43754a100af5ecd8143edb055018cc1a47793e5","datavalue":{"value":{"amount":"+0.7434676289558411","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":"Q2894559$58DCD5CA-F9FD-4237-B79E-5F82C9173505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b55c1e018dcc7d1fbd95aeb639eefcb65f04b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2785671,"id":"Q2785671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b26a2c64be40923795dfc75f32bfc36d6c3889","datavalue":{"value":{"amount":"+0.7429503798484802","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":"Q2894559$9BD57991-7B2E-462E-AAC5-B15CB0A0D1CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894559"}}}}}