{"entities":{"Q2364672":{"pageid":2375415,"ns":120,"title":"Item:Q2364672","lastrevid":57879822,"modified":"2026-04-02T22:25:33Z","type":"item","id":"Q2364672","labels":{"en":{"language":"en","value":"Theory morphisms in Church's type theory with quotation and evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751316"}},"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":"Q2364672$2E098F68-D373-4CD6-B63F-F848AE72CAC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"034915deade6504e7d773b0c0d874dc1536e0b79","datavalue":{"value":{"text":"Theory morphisms in Church's type theory with quotation and evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364672$B6B97BF7-A596-4C4C-A27A-D8282BA87EB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53aae31de6bdaf7635de3cd7ff4ea3282b10ff14","datavalue":{"value":"1367.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364672$7819A908-F69B-4559-AAB2-DBF25A56E646","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b99045141c788099ce2850ae1eed85c05083b854","datavalue":{"value":"10.1007/978-3-319-62075-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364672$E9C05C0C-F04E-4866-BAE8-C39203EE820F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"596956d13d65318c3063740527340bc624646ab6","datavalue":{"value":{"entity-type":"item","numeric-id":174773,"id":"Q174773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$C9A3EF26-F25F-434E-9D46-FDA9048C1A95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-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":"Q2364672$E9A50F60-B196-4FBD-901A-ED8B2A988AB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77fc58735aa1f77e5f1240173ca69a800bb576d0","datavalue":{"value":"https://arxiv.org/abs/1703.02117","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364672$57B8A8CB-BAA2-4C88-8E4A-820983C9C77C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364672$7A5EE45F-AFD6-4509-A451-B9FA88704EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364672$67E24335-68EC-4D37-9282-4391130E5AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364672$BD7CF1E0-6535-471D-9C7E-B6A400A3DC81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ada165c0783573b55c48db814697971bb0dc81e","datavalue":{"value":"6751316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364672$0E5B4B40-9E47-47FF-9F8B-04F300089786","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$AF88A8C6-5560-4FDD-8B3B-EEC18B766403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$B38F2201-D4EA-4D2E-96F6-529B23437409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$35065EE0-1CD2-4D76-B1F6-8AAC77F245DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$C6C6BF42-9AAA-4647-BA05-E5C6093A6260","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":"Q2364672$17262037-C050-4C82-8D8D-5A9573525D59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fce0f2940dd16caee7fded603f9537ba988b4c5d","datavalue":{"value":"W2605359050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364672$503A8540-AFE4-404C-9123-BD321127C0D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$716F5097-35E1-4095-AD21-452ED5848117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf557dafdb518595f43722868c8e2d60f07e6327","datavalue":{"value":{"entity-type":"item","numeric-id":5505502,"id":"Q5505502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$C60A17D0-AC81-4130-8A6B-344BF245938D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6df8358e73b9dabbb280b801074bff4bd2fbd75","datavalue":{"value":{"entity-type":"item","numeric-id":5307081,"id":"Q5307081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$7F4CA636-E52E-484E-8BFC-6566A2C205CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800e73324231ba0d9728818d73711bf633815745","datavalue":{"value":{"entity-type":"item","numeric-id":3086780,"id":"Q3086780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$6D563ED8-0CE8-4563-8AF7-36E096F72627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08fad6c9d6b8523ce8acfc23ea990867496f6913","datavalue":{"value":{"entity-type":"item","numeric-id":2843004,"id":"Q2843004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$D2DAA708-3AE6-4DE9-B792-C2A70236865A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce68bdae299a701e7e0bb495b7f5eb6093fbfde0","datavalue":{"value":{"entity-type":"item","numeric-id":2817296,"id":"Q2817296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$A310AFFA-CBD7-4B11-A6A0-BFBF77EA9133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$ADAAAD8B-4F58-4224-A16F-FA5183FA4C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$8532F395-2640-4A25-B74E-24F61B71168B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037eb9f0a415bca20db2261839a4db9fee8b6950","datavalue":{"value":{"entity-type":"item","numeric-id":482501,"id":"Q482501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364672$6698F2F6-748D-4C2E-803B-55791BDD087E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2536a75f60310e61c48370f2c68acea0affca58","datavalue":{"value":{"entity-type":"item","numeric-id":1753993,"id":"Q1753993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a79edbc228322a789d1e277c3ea68ea05dd95a5","datavalue":{"value":{"amount":"+0.862152099609375","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":"Q2364672$B36A65A1-CFCD-4795-8F92-8DBB1BC051E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01deb28689cbb2a8e21a790c8955d58c95817628","datavalue":{"value":{"entity-type":"item","numeric-id":2817296,"id":"Q2817296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8777665d4f7889c3effcb0229d196eac6bb437f2","datavalue":{"value":{"amount":"+0.8602204918861389","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":"Q2364672$777B8E33-FC96-49D5-B68E-AF52DDE1E74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091e76088b78014460cc9c0ff6b48cc2b88f7a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5171913,"id":"Q5171913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7beb4ac98a0ea27e11e867e5f2b0f1d9355ce7","datavalue":{"value":{"amount":"+0.7068958878517151","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":"Q2364672$FC628C7F-3F83-4856-BA3B-93EB7E9782B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660a591945e4e9ad5047775d722073f4db849d45","datavalue":{"value":{"entity-type":"item","numeric-id":3086780,"id":"Q3086780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a297c4287c127a871e8608563c9ce372099939a6","datavalue":{"value":{"amount":"+0.6998164653778076","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":"Q2364672$C4247744-5164-4735-8DCE-4B17AE7DD5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2f6bf873b98b7b030187592fd68be98cf3bb8b","datavalue":{"value":{"entity-type":"item","numeric-id":1791161,"id":"Q1791161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a823bf40448319710fa564300277511bbf103ad","datavalue":{"value":{"amount":"+0.6963332295417786","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":"Q2364672$E2F11B3E-8567-4BCA-9DB1-CD92DEB13229","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2364672"}}}}}