{"entities":{"Q2817296":{"pageid":2828034,"ns":120,"title":"Item:Q2817296","lastrevid":58015926,"modified":"2026-04-03T11:23:09Z","type":"item","id":"Q2817296","labels":{"en":{"language":"en","value":"Incorporating quotation and evaluation into Church's type theory: syntax and semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6620489"}},"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":"Q2817296$4F7E0565-C8FE-422C-B2C8-79EB7E19E582","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a54346bfc0d9ba55016deb3d1fa8f3dbf912c59","datavalue":{"value":{"text":"Incorporating Quotation and Evaluation into Church\u2019s Type Theory: Syntax and Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817296$2337E090-CC15-4677-BE62-6180D6FE5078","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80534a91867205781be407ca0b04e36f6d72b50a","datavalue":{"value":"1344.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817296$3EA99B07-9DFF-4785-8018-52EE2AE89D86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47b0c0cb8d2e853a9c3031b765e736397bc1fcdb","datavalue":{"value":"10.1007/978-3-319-42547-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817296$34D0F1EF-31BA-47F7-AF29-BB70024B6F44","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":"Q2817296$95B49F5B-427C-49CF-9748-7E63BD272EC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$61044E75-50DE-4EDD-84A8-34C2A1687434","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85d9f70abb070df81833000bc59244d6fec26f1f","datavalue":{"value":{"time":"+2016-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817296$91075065-FE6E-44D6-A72A-322A01DA5824","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe0044db1ca00cb2416567b0a8097ba672486a48","datavalue":{"value":"https://arxiv.org/abs/1605.07068","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817296$735FFB39-9AC3-4B99-90DE-436FECB57C67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817296$116A0222-0279-479E-A4C9-D725DEDC1D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817296$2F6FF63E-D279-4256-85EC-83FC2B97D4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817296$89500572-62E7-43B1-A88C-83E69A382DD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58a41681fcf1440de4e4b35b97ac53791213e3c3","datavalue":{"value":"6620489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817296$FF472A22-5AD7-46EA-86E2-2999113553F9","rank":"normal"}],"P1463":[{"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":"Q2817296$6320022D-9B9A-47C2-9D96-A0C4328CEB38","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":"Q2817296$94EA3F3D-004F-4A74-AD39-693BEEA67F83","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":"Q2817296$C356DA04-B07B-4533-95C6-31BE2B47C0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$5A4CA170-3C14-4FBA-986C-FD06A97C8804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f24032ff3cf9f3c17f8d1145a9d47bb4d132d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":34508,"id":"Q34508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$1678033E-FF1D-416E-AD96-49DC8CFF084E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"337d32189dfd2c6b67328f48e9606f3eefdbc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":21220,"id":"Q21220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$A310307B-7A17-4F5E-8349-3A90925B37DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$D0C763BE-9FF2-4E23-800F-6EEDEE6EEFBE","rank":"normal"},{"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":"Q2817296$01CFB0A8-CA35-4D3D-8B5E-AA88AE0CAD9F","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":"Q2817296$6A88C3E0-949A-4304-A28F-ADD0DE87E1A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"632c4956f9accf6d9e7fe7a89fd7f44ec2676053","datavalue":{"value":"W2962936422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817296$CF233303-26B8-4C63-8B37-EB679699A226","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$970DE940-4BB6-47A3-A223-17BC145A8267","rank":"normal"},{"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":"Q2817296$1649E99E-D9C1-441B-8EC1-42E4AFEA9422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$40A08736-29D2-4533-84D6-F2A989D5CB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$5391D22F-DC15-44A2-8821-26216BBE6440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500797df5e3f5d818e4e118ceeb048e298037502","datavalue":{"value":{"entity-type":"item","numeric-id":4707768,"id":"Q4707768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$3803040D-7555-4C8B-80AD-127F5625A1C4","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":"Q2817296$DF53DB34-63B4-496D-85BE-9F9E1CDD453D","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":"Q2817296$6C0FF6E3-7547-41F3-B068-644BDAEA2746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"198813c726927c2db34a055b30aee635496b00be","datavalue":{"value":{"entity-type":"item","numeric-id":3377460,"id":"Q3377460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$6AE28366-B2F4-4DB9-B9F4-1EAAA5E15F02","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":"Q2817296$403CF6AE-AFDD-4917-ACB7-7B1D61B24B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$7B9044F6-3A16-42FC-AF94-2B9479BD1893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$BA9B3EF5-7788-415D-98A4-6FBF83820461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd2731bcb07c10f5b5e7717f68a091ce30f5ea4","datavalue":{"value":{"entity-type":"item","numeric-id":848742,"id":"Q848742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$DE24D065-42A7-42E8-91B1-72B707418AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817296$393193E1-CDB7-4342-834D-1D1074C27395","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":"d11244fbbfdf69efdcfdd8b153fd8087ce9d3ab7","datavalue":{"value":{"amount":"+0.988863170146942","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":"Q2817296$F7BB369D-8680-46F7-80F3-72B4AA4B2771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357b53b89a79b04debc98fd060dcba4afcc2ec7b","datavalue":{"value":{"entity-type":"item","numeric-id":2364672,"id":"Q2364672"},"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":"Q2817296$9D9E9A5F-6489-443D-92A9-1FBEBCABF754","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":"f20597238ad2483208e1d8c75ed8c14e83be6d36","datavalue":{"value":{"amount":"+0.7922639846801758","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":"Q2817296$20160E4F-FB5D-4CC3-AB06-E3253EAF26AD","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":"e7b449866c568bab6ff4ddcce6a46b7dc55f892a","datavalue":{"value":{"amount":"+0.7442606687545776","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":"Q2817296$80EFA2EF-0535-45A9-B6D1-520689EE865C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac01ceae0afe53ada8f543fc4a74ae711cc3d13","datavalue":{"value":{"entity-type":"item","numeric-id":2915703,"id":"Q2915703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d8ba25978aed54f06686ca07ff125d15d6c868","datavalue":{"value":{"amount":"+0.6897127032279968","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":"Q2817296$14DDE4A0-66C5-4DBB-A222-5D81E086293D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2817296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2817296"}}}}}