{"entities":{"Q1744410":{"pageid":1755152,"ns":120,"title":"Item:Q1744410","lastrevid":53070188,"modified":"2026-01-24T04:09:13Z","type":"item","id":"Q1744410","labels":{"en":{"language":"en","value":"Alpha-structural induction and recursion for the lambda calculus in constructive type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862945"}},"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":"Q1744410$7CE93C3D-F53A-4D35-8BEE-74407F56BAA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"472df7376272b2ecc1d95741afd883017273e8ce","datavalue":{"value":{"text":"Alpha-structural induction and recursion for the lambda calculus in constructive type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744410$FA405A82-B570-42FB-AB61-4030A386FD19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cb5c976908931d0f8dcf4e801780b0db57f5102","datavalue":{"value":"1395.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744410$52B056A8-B2DF-445B-9FCE-6E2C3A413E00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef5f2fcbe4affe3a081b63bc32cd9f9b1ef1904f","datavalue":{"value":{"entity-type":"item","numeric-id":530863,"id":"Q530863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$147D3A00-464E-4E3E-94E5-8F3D9020804B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746409b166da6b3324f8a076651b3e33b41a949f","datavalue":{"value":{"entity-type":"item","numeric-id":530862,"id":"Q530862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$68800068-BDE8-4328-8626-FB7EE522423E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"402a48fb715d415da55853e3651509e9510c9149","datavalue":{"value":{"entity-type":"item","numeric-id":220715,"id":"Q220715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$5D91BFB3-0B6D-429F-817F-08D5459BA8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43fa8ed1a432c4af2ca647b623e8e3f5c6fe6565","datavalue":{"value":{"entity-type":"item","numeric-id":1744409,"id":"Q1744409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$CF1DC65A-1442-49B5-877A-EB20BB0A9555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$22347C13-C0E0-4876-A94E-217C2338A804","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":"Q1744410$CBE903DB-16EB-4F6C-A3BA-398E1E5871BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744410$37598937-0562-437E-BEBB-1B370B3350A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744410$6EA1C29C-0E5B-4CF7-BD74-7729D6BDEC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744410$71533495-B69A-4B34-B4C0-57B5361F8A55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"051e93f59a6ace9068384a545b909cb7bf5ab08e","datavalue":{"value":"6862945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744410$D1D19643-6792-43C2-9763-1157E4473807","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ae3a8d9f3401a083509ec6ab2b6f0f2deb2a29","datavalue":{"value":"formal metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744410$272B33D0-2020-4228-8455-C942388F4BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744410$E79808CF-C66D-4001-9DD4-BA21CCF571B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744410$9BACA315-DE52-41F3-8F5D-7E88C7C8A20F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aecf3b7eee4aafaef2c5c9908d03d393385abdfa","datavalue":{"value":"Q113317681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744410$78B86DF1-FCC8-492F-A77A-115860C2B41D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$35027697-151B-4ABE-9C2C-8CC1277D24FE","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":"Q1744410$F9C53921-71AF-4105-883F-B2E23CBF527B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cf453c460561d3b7568810a96de493527b1482e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.06.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744410$F22B4BAC-5F76-4290-ACC2-C9E54429B682","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c165062c2ddc2cc324d742b15498e5e39e46551b","datavalue":{"value":"W2461095491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744410$5CBF798D-14F3-4E65-B9D6-B77E7F3B006C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3a7c1faf671a42f888a143ca6d231a4f3b4f0a","datavalue":{"value":{"entity-type":"item","numeric-id":2871861,"id":"Q2871861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$4E4EC4B0-876B-441C-92CE-476BEF40ECAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$331D9A5E-58B1-4935-BEAF-FCB0A812C588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$C046C7F6-B65B-471E-A04C-3E774342D9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$61A7AF1B-64DC-472B-B9A5-D394B8931172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$893C439F-B149-4942-9A93-504F77811785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a6fdc5d1c9fc3a5278a9651165a74b6d670aa9","datavalue":{"value":{"entity-type":"item","numeric-id":530864,"id":"Q530864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$3406BD77-C50C-4414-B70E-E17093191637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$D9AC18B6-9FE2-447F-94DE-37838EA8AA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0126da9b71742543eac417fb5a04cf684f82016f","datavalue":{"value":{"entity-type":"item","numeric-id":740485,"id":"Q740485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$8CF6983E-257C-4050-A103-8B9AEBF27C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8d5484c75fe2a14b4f198a80db5c6efdf1db82","datavalue":{"value":{"entity-type":"item","numeric-id":5464650,"id":"Q5464650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$5584A92C-2281-4966-84EA-F707AA8135F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$4F398058-A365-4230-BA1C-3589E649DF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1851616a00610aaeabd4291b4d22573878184fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3546313,"id":"Q3546313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$36DEF4B9-ECFD-4F1E-AC23-4DF261BF5CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f149ec444851c81f8f28cc669b90ac06bcf6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1106190,"id":"Q1106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$2B32E7CA-9FBB-4BFB-8071-7C9A69919DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f8f6dff394ac274489a2a8165abb84f760b4be","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744410$1D1274D7-C0CF-4902-88C0-666B6C528833","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce799403e4702e6986e99e52510c05b8136a2965","datavalue":{"value":"10.1016/J.ENTCS.2016.06.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744410$266CE59F-BB1D-406E-B4E5-DBC1109D664E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84552983a22f6f68b1aaacfe13c4e7ca7480ba50","datavalue":{"value":{"entity-type":"item","numeric-id":530864,"id":"Q530864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a02bc3fbd538611e94d24a6abfbb01c33a434a","datavalue":{"value":{"amount":"+0.815697193145752","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":"Q1744410$6245F47D-F328-4B19-8B16-DE727429544D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc5398b6df03581d13840f4c2ed624403400625","datavalue":{"value":{"entity-type":"item","numeric-id":2358702,"id":"Q2358702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3d0637cb5741e5bec53a0bb118a40f7c4cd614","datavalue":{"value":{"amount":"+0.7971906065940857","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":"Q1744410$E5A7D2A5-F777-43C8-BE36-21236C4D4790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1b3a31881c32711e58dc95072f610caed99d9b4","datavalue":{"value":{"entity-type":"item","numeric-id":2333314,"id":"Q2333314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1da12808845e2c1ab01bd76d703eaa622508c00","datavalue":{"value":{"amount":"+0.7920513153076172","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":"Q1744410$AF61ED44-78F0-417C-95A2-F6ADDA455139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a45bc8bbd65bfc7012c61b3077d81f2b27c76b2","datavalue":{"value":{"entity-type":"item","numeric-id":5255070,"id":"Q5255070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac5cab26c272bce12a85bd6acbc5c5554ad3c70","datavalue":{"value":{"amount":"+0.7885375022888184","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":"Q1744410$7AB0AD04-2013-4C16-BFC8-07E8CB4D2C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8121b45f5a2121f5d02e937ed3d255985aa611","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f9d90392e0ab76fb2718a8252f6c2fe11f7d84","datavalue":{"value":{"amount":"+0.768095850944519","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":"Q1744410$C4B98791-8CAA-41BB-AA71-0C42715A6320","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744410","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744410"}}}}}