{"entities":{"Q5145661":{"pageid":7175232,"ns":120,"title":"Item:Q5145661","lastrevid":55376530,"modified":"2026-02-17T15:00:51Z","type":"item","id":"Q5145661","labels":{"en":{"language":"en","value":"A tier-based typed programming language characterizing Feasible Functionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299494"}},"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":"Q5145661$C129C1BA-EB95-42A5-8399-03E34D2D7BCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e84f2b90ee1e5a37c7d3293663b4d544e2be724","datavalue":{"value":{"text":"A tier-based typed programming language characterizing Feasible Functionals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145661$9AC6F114-2C26-43A8-A711-02CEA9EECFC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"553d39bc3cb8e8f85d102fcba8699c2d194ed4f7","datavalue":{"value":"10.1145/3373718.3394768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145661$EA5B4A09-83F5-4E01-8B78-F322F5D679D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a98a696ed1da2ce1f59cb38d17295d0793555bb2","datavalue":{"value":{"entity-type":"item","numeric-id":355514,"id":"Q355514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145661$90FDC281-FF78-483B-9E2A-667EE1C4581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3fa9a751487606fa7aa60b1c6c01a7e88dd50eb","datavalue":{"value":{"entity-type":"item","numeric-id":269731,"id":"Q269731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145661$B18E252A-7F57-494B-A682-31D609598DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c0eb116a547edc17bbfb9c1cfbeb5854620c839","datavalue":{"value":{"entity-type":"item","numeric-id":235589,"id":"Q235589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145661$0BFA91DE-FF56-459A-BCC1-DF4E539CED1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fff50a7a9071a09e7be8e0564680a871ad9ef12","datavalue":{"value":{"entity-type":"item","numeric-id":1640982,"id":"Q1640982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145661$69E323E1-91E9-491C-B417-C550FE447E5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145661$932C75AA-2920-4AD6-8A9E-B7D8CE09EDCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-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":"Q5145661$47491B02-1F9A-4FAF-A951-2AA382C70ACF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af2fd7a2d8ecb0bbaead95502f83e8f223cb5ee7","datavalue":{"value":"https://arxiv.org/abs/2102.11605","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145661$7D8799BE-BA54-466D-AC5E-2942F76A3505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"56eb8c82ad598e196331419ca34c51d9f9fbb225","datavalue":{"value":"https://hal.inria.fr/hal-02881308/file/bff-lics.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145661$BDAB75B6-93AD-47CA-85D2-6DA61B6F99B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145661$BFAFBDA0-C128-4A9F-9C42-00629A712241","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff23041ff95a900c3b035163bb248df27bb0f7bb","datavalue":{"value":"7299494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145661$D401850E-ED5A-4278-BB00-CF227EDD479D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a476a7673d86323b1def48d6a758dc7f7bd317f2","datavalue":{"value":"BFF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145661$B2BE869A-88CA-4D1A-808A-7829B26CB937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47903d8af6d95ee091cbf03d036d494e8500559","datavalue":{"value":"feasible functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145661$E065EB5D-4AAE-4045-861F-7F5DF59664AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eefe374b86de8fb3e38ba03c4df4414c818db3b0","datavalue":{"value":"implicit computational","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145661$E9C9FB4D-98F1-44F0-8A5F-8E18E9E2AC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145661$AD6A73EC-C895-405E-8C80-38B404FED385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce648b6c174d5d06068a66e7653e85748d136db6","datavalue":{"value":"tiering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145661$2BF04E16-ACAA-4F37-A49A-85FA123D9919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145661$A3BC2A19-2430-4A0D-B40B-522EFADB27E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9c8ba4752e4c5149282d7cb61e7e82df31e5c","datavalue":{"value":"type-2","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145661$5C63ED99-351E-4C82-93E7-B064E103841B","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":"Q5145661$5EA0411E-FBE2-42B8-B670-6632F659AC8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54bc67f63c133d4747daecf4ee15866b6c53ed26","datavalue":{"value":"W3028608028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145661$FC590D47-BA88-45F9-B8A3-EA2988A1BC54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e9da2cc42ab667fa09cc70726f6e080545e501","datavalue":{"value":{"entity-type":"item","numeric-id":5094117,"id":"Q5094117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e8e012708fac3b9817d1707e1087e38e00fea7","datavalue":{"value":{"amount":"+0.9997987151145936","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":"Q5145661$77243EC1-E6AE-41C8-8B13-2C7E428C2384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bf83a91e1d016e815f86713d7820673dac3350","datavalue":{"value":{"entity-type":"item","numeric-id":2740989,"id":"Q2740989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8104e78d5f7a779eb0488bd074d69acd5b8a0d","datavalue":{"value":{"amount":"+0.8541828989982605","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":"Q5145661$4ADC0617-47C9-429C-A830-17152DF5B5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30d35235678d0819a8a7cc530f985012679aa76","datavalue":{"value":{"entity-type":"item","numeric-id":6181938,"id":"Q6181938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d959a818bb533f8b1c404cb44c6ec3db40859437","datavalue":{"value":{"amount":"+0.8062351942062378","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":"Q5145661$A312194E-3E59-4288-BB79-13494BFB077C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91f905396bab229f7fcbd25bf468b2f3938ce37","datavalue":{"value":{"entity-type":"item","numeric-id":4035304,"id":"Q4035304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac1cf58c33c7d41f04108e800d0c7cc9d098bce","datavalue":{"value":{"amount":"+0.795050323009491","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":"Q5145661$B9716B3E-3AD8-430B-AB10-44E71F15DB05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145661","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145661"}}}}}