{"entities":{"Q4635662":{"pageid":6665243,"ns":120,"title":"Item:Q4635662","lastrevid":40699061,"modified":"2025-04-04T09:53:26Z","type":"item","id":"Q4635662","labels":{"en":{"language":"en","value":"A functional functional interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863135"}},"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":"Q4635662$3680EF5F-CE80-4088-A96F-676317D01B10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5078900fb335ce69f2dd9af9f07563b8df66aba8","datavalue":{"value":{"text":"A functional functional interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635662$30B7A52F-05FE-43A6-9DAE-17F60248BF07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e09996615dcd609227b0b8ec816dc3d5ca76e74d","datavalue":{"value":"1394.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635662$EF166CE9-B53E-46A2-B5EA-1F92A616B754","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0708d335b8bfb50119a9a60764c42c89cef844b","datavalue":{"value":"10.1145/2603088.2603094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635662$AEC9BED3-F711-4300-BDCD-64AB0B331738","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc41d0e76ffa6ff7041ee6fd8d06b5a6f8e90a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2323975,"id":"Q2323975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635662$353B2460-3044-4EA1-96A3-C59A37C103F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635662$856C618F-B187-4DC1-AB44-8BE8C77664A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635662$E74EA53E-5244-4CAA-8FD4-18DD36B72A62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635662$F8C50505-EB7F-461B-ADD5-8A805F544A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635662$E04B6B5E-7A05-4912-A382-35FF3847E175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635662$54A0FCF6-2DDC-4779-9927-2911DC0937D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58c6bf421f996eb5be6b4b02150f4f6a2aa95f22","datavalue":{"value":"6863135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635662$180A233C-2B61-4202-89F5-0B440A2B704E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c441b3dee73de3d269547b272c1f7cdc085a924","datavalue":{"value":"Curry-Howard","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635662$E4B02767-4D9C-48A0-9E27-1A369A568660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ef671a250759f3620da2af06a6b4c754b13afa","datavalue":{"value":"Dialectica translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635662$ED2BFAFD-9DF7-4D2C-AF9B-9750D4DA3814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854c00e8d24a55ad2ac54a90d02cefdf16b5ce4d","datavalue":{"value":"abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635662$82B4B262-65BB-43E5-9823-1A5BF58F0B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635662$140F8D5A-24E7-4CC5-B481-86BAB8A0478B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635662$F3FA09AD-FE9D-4F1D-A9B6-543510337026","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":"Q4635662$51F684A1-4CE1-42EA-90BB-791E3696C07C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"265c22336e880f765663958228be4d1cd0831be9","datavalue":{"value":"https://doi.org/10.1145/2603088.2603094","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635662$1E981210-88A8-45BB-BA26-E4E0DF89099A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54a078a4e9ad436c3c12cb4c276ff66ecac1e739","datavalue":{"value":"W2084018688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635662$1782FF81-9195-4EA9-9980-0A9D555867E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27254fb92303dba1c845582bc0ca70f8f976cc31","datavalue":{"value":{"entity-type":"item","numeric-id":5145361,"id":"Q5145361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98042b9932411bbfe5f20de53130bc57bacbd5ca","datavalue":{"value":{"amount":"+0.88100845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635662$86AE2166-5CDA-48B2-A9E6-9420C9E6235B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0179d42844443f2e218758c7c6b5126b83969579","datavalue":{"value":{"entity-type":"item","numeric-id":3507440,"id":"Q3507440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc52a0da1a43caebf274b399d46687336a4673e","datavalue":{"value":{"amount":"+0.8795274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635662$31DB18A5-DDB3-4B7C-A898-28320E6567AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8dd623b2765c91675fdfefd6fc0fcca8224f3b","datavalue":{"value":{"entity-type":"item","numeric-id":3655246,"id":"Q3655246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544e97902d5f30d02f380fd0267bd8410c34adcc","datavalue":{"value":{"amount":"+0.8767569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635662$7DC357C0-D944-4A94-92B7-AD1ACE4AD62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6f13673604c697f60328849c656c56bea8944c7","datavalue":{"value":{"entity-type":"item","numeric-id":557798,"id":"Q557798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a3ce01c38c7a223fa987504ab891c00441da5a3","datavalue":{"value":{"amount":"+0.8753557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635662$B49B0634-932E-48EB-B870-9011997BAD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ca2f7785c5c758f37d5bc6832da68a2049b37","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2591328cfb12b4d0bb5d578618accf502f365fe7","datavalue":{"value":{"amount":"+0.86660016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635662$EE9F37CE-D77F-4E49-85B3-21DF8FADBA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1eca4444bb99a64ff5e45d5c3692d1f030ef28","datavalue":{"value":{"entity-type":"item","numeric-id":424545,"id":"Q424545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa36d50e8fb8f4604e414fb87d34d9bab7c6aa1","datavalue":{"value":{"amount":"+0.8652312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635662$1EC0D3C4-9130-408F-82C4-F9AECBEB555E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1592a019e6f0d81b78cb26575f91e674f3fae5","datavalue":{"value":{"entity-type":"item","numeric-id":3159413,"id":"Q3159413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340e47c6992ab8b9d8c6fee8bfc8897473327d7c","datavalue":{"value":{"amount":"+0.8544766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635662$6A3B7A35-7ADD-4F86-B145-5F4E0B5C74CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90924e4b58b524112cbeea34a60a9e98528d1141","datavalue":{"value":{"entity-type":"item","numeric-id":1817092,"id":"Q1817092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8260930634220cf505e14996dfc5b9a8eb0bbc1","datavalue":{"value":{"amount":"+0.8543572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635662$1BB7930B-32B1-4C4F-929E-E821F8E15EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6a439cb401c7a2f3638fc599c80413a1101627","datavalue":{"value":{"entity-type":"item","numeric-id":5112393,"id":"Q5112393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dae799a80bca70d0094c194c2f1a83c77cfb503","datavalue":{"value":{"amount":"+0.8518909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635662$8538723D-1C35-4104-9E6C-4D780067608F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635662","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635662"}}}}}