{"entities":{"Q5022932":{"pageid":7052509,"ns":120,"title":"Item:Q5022932","lastrevid":55397395,"modified":"2026-02-17T15:30:27Z","type":"item","id":"Q5022932","labels":{"en":{"language":"en","value":"Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7460121"}},"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":"Q5022932$14DBD3A3-DA2A-4DDE-8B53-E76921B55C30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccf2631c47e45a6091c8682414d9c311392748f7","datavalue":{"value":{"text":"Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5022932$41009C63-3224-48F5-A1A3-1F4D54D2A352","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b3bf1ade64afca24be6e139449f0c2d9c2c6489","datavalue":{"value":"10.1017/S0960129521000335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5022932$D2689EBD-F1D5-43DC-ADC2-3CB4347C1AB9","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":"Q5022932$BD061E49-648D-424A-9929-9C6FC0BE9294","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":"Q5022932$22A862A0-49B8-41E7-87EE-DC3F9FB8EB9A","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":"Q5022932$A1671516-F4CC-4FCC-9A34-9F477682859F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$CE5CC7D5-AC94-4334-834D-73372ED97D0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebd861193c3ac4410ae533f47c231ce1f6035942","datavalue":{"value":{"time":"+2022-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5022932$034DD6F7-74CE-4557-954A-76D83424D296","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5022932$60E37EBC-C579-40F9-90D7-AE441A9A93A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5022932$ADEBED68-8F10-44B5-9832-CA1B7CE987D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5022932$32550830-EA4D-4636-9AF7-912525D08539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d053f741e71cabe1647b36cf2e1fa5fdffa68b9b","datavalue":{"value":"7460121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5022932$8AF360AD-3E5B-4302-8BEC-B3D7AF980421","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d61445ba5f93ffb0691f62c0dbe37940867396dd","datavalue":{"value":"formalized metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5022932$B05A7F11-EB2A-41B2-8BC5-4F982B254807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbf696ef5d13344e8ef71c4c25913319b16179e","datavalue":{"value":"nominal syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5022932$04CBE73D-656C-4BC9-9287-E537F3429ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5022932$D548830F-8571-49ED-8711-7BBF8FEC14C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5022932$ED261529-F01E-4E07-A55F-9D2909196CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5022932$AD377D3F-BDB4-422E-B67B-264958888055","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$7BB6D345-F5E1-4209-9591-D914820AD3DD","rank":"normal"},{"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":"Q5022932$DFC270C6-8288-4740-8D55-FDF73218F5B3","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":"Q5022932$F76BC4E7-7608-4AAA-B929-4DE070266D2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cb7bc6676bcf4ae8d66c7a793e7ffdddba9905","datavalue":{"value":{"entity-type":"item","numeric-id":5110924,"id":"Q5110924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$5336D072-A037-4ACA-93C8-58CC40C5DC65","rank":"normal"},{"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":"Q5022932$3F9FD778-DD4F-4B24-B429-785026AADF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$11D78B6F-A65E-46A5-839A-26F6E2074B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8497b2d78ba0b1939b3cc4392136c45f636c16c","datavalue":{"value":{"entity-type":"item","numeric-id":817701,"id":"Q817701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$5439A0CF-186E-4765-AEAB-0666EF976EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61284a58310ee0a10a78e82eb4533fb56e6bdb78","datavalue":{"value":{"entity-type":"item","numeric-id":2871859,"id":"Q2871859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$32BFF20A-6699-42BD-BE2A-22ED3B9E8228","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":"Q5022932$30260D66-E1C5-437F-AA9B-D78D98C67206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b5ba4e3d1bf82f550bf1c7b244d01dbead3656","datavalue":{"value":{"entity-type":"item","numeric-id":2358702,"id":"Q2358702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$607283C6-6FB9-4DC4-9141-44A33E88B818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc1c245995c89f282e75c9bdf34b76dfef951a2","datavalue":{"value":{"entity-type":"item","numeric-id":2333314,"id":"Q2333314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$F3C43415-3F58-4F06-8157-F94557363FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcfdc5d6158991f32af2cf5057f70743de7ebb00","datavalue":{"value":{"entity-type":"item","numeric-id":1744410,"id":"Q1744410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$5E7A4AAB-6E8C-4EF4-95E4-32D96928CC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$66582248-6863-48F9-B9FE-FCF1219A8D9F","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":"Q5022932$150C6304-5CF2-474D-B52E-9945AE0757B9","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":"Q5022932$471A4EFD-624F-47E3-94F6-90CE62907E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$1F3770BD-8C97-4895-B7BD-60340155A988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939be0771ea627d569d52a0b8c1f463c5ec167f7","datavalue":{"value":{"entity-type":"item","numeric-id":3613430,"id":"Q3613430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$2D97B620-E1C8-45AE-8B3A-28559D3FA183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dee98229347c3ff5d61b43b45d8e001f181167","datavalue":{"value":{"entity-type":"item","numeric-id":3608761,"id":"Q3608761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$03430B6B-3AF8-484A-8E1B-0C4AE7C3D4C6","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":"Q5022932$71FEE869-24C2-49FF-A9F3-3B0D688AA2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d1210df4ca2f7a9d1c0e50c280e46b223a4f48","datavalue":{"value":{"entity-type":"item","numeric-id":1401936,"id":"Q1401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5022932$93A2ADBC-580A-4D03-BF34-8670B9097499","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53f8540aedee0fb9e9d971fd07ffbea29c597fcd","datavalue":{"value":"https://doi.org/10.1017/s0960129521000335","type":"string"},"datatype":"url"},"type":"statement","id":"Q5022932$DF304565-BD19-406E-9094-B9113F4FCC45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0a484f943b47cfe7894b6c20a947c319642503a","datavalue":{"value":"W3217631441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5022932$AE92A94B-A36A-486C-A202-EBFAFDC0F9AC","rank":"normal"}],"P1643":[{"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":"e27efad890b4e53246a71820a5417e13bd26f800","datavalue":{"value":{"amount":"+0.8897254467010498","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":"Q5022932$97D29386-198A-4FB7-B6FD-279D901F7616","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":"efc26ce5e8cccf82ed72118bb9af8aca6cbc3f7d","datavalue":{"value":{"amount":"+0.8670915365219116","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":"Q5022932$564DDEE2-24FE-4D39-B81E-625CDD57E5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abf5ace6955f8d6b99a9767bbc92970fa25cfda","datavalue":{"value":{"entity-type":"item","numeric-id":1744410,"id":"Q1744410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931ae63c7468f6c19483abc2840add3860932ee3","datavalue":{"value":{"amount":"+0.8464499711990356","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":"Q5022932$C10FA60E-1CD4-4B19-90E6-BEA57462FB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e8c1dceea20d5bd28a5edda639da0c349c0790","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27167a960a1204a6d91a45732bdcccea7eda506","datavalue":{"value":{"amount":"+0.8006851673126221","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":"Q5022932$7F7822C2-0CC4-49AA-A2AD-02A54FB52D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ecee25c9c83093cc24d8ade75a21d2018ec1869","datavalue":{"value":{"entity-type":"item","numeric-id":2229159,"id":"Q2229159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a3de26466d8b6c240d75c8a94b68d0a87a68b3","datavalue":{"value":{"amount":"+0.7905534505844116","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":"Q5022932$864DEA11-46D9-4041-B3C1-CBB49F502DD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5022932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5022932"}}}}}