{"entities":{"Q6622048":{"pageid":14233205,"ns":120,"title":"Item:Q6622048","lastrevid":55773934,"modified":"2026-02-17T22:33:23Z","type":"item","id":"Q6622048","labels":{"en":{"language":"en","value":"Two decreasing measures for simply typed \\(\\lambda\\)-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7929326"}},"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":"Q6622048$534ABA86-F992-43A0-9E9B-DC73AAA1EEED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29145e96c551084c1429e77e9036880f0da05472","datavalue":{"value":{"text":"Two decreasing measures for simply typed \\(\\lambda\\)-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6622048$898D24FB-CFD8-47C9-8B0D-7A5206DAFB56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0faed0be38d257e052f56b694d51d3b492bd5ef7","datavalue":{"value":"1548.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622048$993FD93E-18BB-4E6A-A45E-C8691B8D38A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d753e681db51bb5163d35cc60b3a5ce6d828a892","datavalue":{"value":{"entity-type":"item","numeric-id":2037947,"id":"Q2037947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622048$A6D77C86-83D5-40A2-A357-C300A9E19B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"801938fc90d504d51c91d10558845e0440c50b6c","datavalue":{"value":{"entity-type":"item","numeric-id":6622047,"id":"Q6622047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622048$BC659466-9E88-4FAF-A3F0-151D4652C597","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac889730097a55c61339de7e6de152e6be5788f0","datavalue":{"value":{"time":"+2024-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6622048$07702A3A-BC89-4335-BD79-C3FDC72B7EDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622048$74CCA332-38DF-4A1A-9789-C8F465085CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622048$F62F848D-1934-499D-863F-51D7DB028B74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4043b9640eda43dd54969ed9c72cdaf5e2f1b22","datavalue":{"value":"7929326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622048$3F60B31E-8EC6-4ED4-AEC5-51B007E6FB62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d84a39f7d277d59bd9e0565999aa9a6eed7d1c","datavalue":{"value":"\\(\\lambda\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622048$EAA97B33-49C0-41F8-AAFA-3124D5DFFEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622048$BC0EB40A-094C-4A3E-B588-A62FC5BECC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622048$DB18D46F-2108-4E9A-85DB-1B5BAB6B8206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622048$CEEFCAF8-3053-4631-8A6E-EAE5C34B0598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d033aa5da80632e6cc21e548be4e712e81eb947f","datavalue":{"value":"simple types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622048$067DA4CF-DE9D-4145-A918-895B27A73838","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":"Q6622048$DEA5A2C8-6CF4-4887-8DEA-E1CA1C203DDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"574ecb4cb753b74fa5387deee3df69e041cbc66d","datavalue":{"value":"10.4230/LIPICS.FSCD.2023.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622048$7B000461-6B22-4827-BA73-B03A41D0BA75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6b506bc6c20617e49cb3694507236168c8039c","datavalue":{"value":{"entity-type":"item","numeric-id":3322086,"id":"Q3322086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76760ca04de5b9122360c52f872399156adf45a6","datavalue":{"value":{"amount":"+0.7655057311058044","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":"Q6622048$C9A94E4D-927F-41EC-8EBE-4DF11C4D0195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65363fc027e75cbe79eb5e6ba810400f6824c726","datavalue":{"value":{"entity-type":"item","numeric-id":3783265,"id":"Q3783265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505d58fecfc78cca0fd1c67275a8ce9e10ff1cff","datavalue":{"value":{"amount":"+0.7548364996910095","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":"Q6622048$14075B14-4076-49C6-9780-FAD0F08ED874","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":"a9f2f741c2c4172d9f0567dfe3cf205554b993e6","datavalue":{"value":{"amount":"+0.7539758682250977","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":"Q6622048$680D9F0D-C5B3-4B29-B483-8D1A513F7A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cea523d31af0a90d90e89810f4a7bae88b6511","datavalue":{"value":{"entity-type":"item","numeric-id":5435199,"id":"Q5435199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baeec56f33be7956977e77f03e66f08c4ea5c996","datavalue":{"value":{"amount":"+0.7408902049064636","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":"Q6622048$0A14079C-A36F-43AB-AA47-8755B8251398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1491f6d09198e9f252bd9971e6f856cb1eb8dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f526800e87724292c615f1d7d6e4185d293c8c11","datavalue":{"value":{"amount":"+0.7370261549949646","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":"Q6622048$B781DF7A-C41A-4079-9488-8E66387D07F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6622048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6622048"}}}}}