{"entities":{"Q5753924":{"pageid":7783475,"ns":120,"title":"Item:Q5753924","lastrevid":49468477,"modified":"2026-01-07T05:18:00Z","type":"item","id":"Q5753924","labels":{"en":{"language":"en","value":"A partial functions version of Church's simple theory of types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189688"}},"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":"Q5753924$203FA6AC-DD61-48C7-BB52-D6860B67290A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ff5c12584361c983c22c9c682b0a5c1d2283d8d","datavalue":{"value":{"text":"A partial functions version of Church's simple theory of types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5753924$D0C347C5-E11F-4883-BB8B-2EA086CE2F8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20c3b2c291f2d5f9fbbd135be49379fe28c61507","datavalue":{"value":"0722.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753924$1E7ACE4B-624C-41FF-B74D-202EFF117650","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56102ffb12e51b186da1c23fbd0710bc8fab812c","datavalue":{"value":"10.2307/2274487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753924$7DCEFF8C-4617-498F-94E2-C33C8816C29C","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":"Q5753924$70E11259-6FC5-4AAA-999A-D0B939C63A9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753924$AEC1BB88-3A05-482F-94E6-F22B8ABFCF8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5753924$DB441F55-493E-4CF6-A0E1-10CDA909EAFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753924$D8189465-480B-4475-ACED-246480705FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753924$E46DA9BB-9253-4C25-8D57-9FD432859073","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1833be3b639928c332cfba5cadad4d387b22b393","datavalue":{"value":"4189688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753924$DB0FE3FF-AAB4-46E1-8276-68BB7AA9CB47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20149c362eda4537f15c3a0c5fa8df15ff7e7789","datavalue":{"value":"simple theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753924$9C5D9D36-ED59-4C87-8541-D48EF66BD14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753924$B7904805-02B2-4F7B-B84D-A73B4F0252BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfec72710bb3175fad5b4754c29b558b5198c8a","datavalue":{"value":"Henkin's general models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753924$A28EC995-B23E-488B-8BEB-430D7B6E3EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753924$EDF49179-041B-40C9-8285-D9A4D997EC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed60b833670dc090a3b49019e7b9c986c6f6ad24","datavalue":{"value":"definite description operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753924$8A7964E1-14AC-4461-A26F-03B1C360D975","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753924$01CA767B-08B1-437C-AAFE-EA8BCE68F207","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":"Q5753924$F5B74601-532D-4082-9CB9-A9B26B6E3054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753924$210AA8A7-D183-49F8-BDE3-CFD90E30F941","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":"Q5753924$259935DD-0C09-4529-AAA3-3C05ABD0505F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"096893706d46ca3269879ff3b506b38292590ecc","datavalue":{"value":"https://doi.org/10.2307/2274487","type":"string"},"datatype":"url"},"type":"statement","id":"Q5753924$EC2CD96E-3086-41AE-965C-1BD25F830ED7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8891750b775ca58a653651224198e364de93bd43","datavalue":{"value":"W2157560459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753924$C045CD17-8947-4D51-9769-A4E82D3C21E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753924$28F22F5A-B6BC-4BDD-8B6B-E76FDA8A0F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753924$01B713FD-AD80-475B-BA87-D31170F2D1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f320038fbfc629546499fe7dc02e4ff3438f01","datavalue":{"value":{"entity-type":"item","numeric-id":5556399,"id":"Q5556399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753924$3FFB9087-21EF-4EC5-802E-17A900D683F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e74281b4fc2275e559f91f3c4723880845ce829","datavalue":{"value":{"entity-type":"item","numeric-id":2522269,"id":"Q2522269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753924$D9933660-0C01-4950-B0BD-C2939A53C9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753924$5B1FAA80-3FB1-49A7-A863-D69BA5FB4B7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4aceb89ded0586b4466107863cec1384fd4019","datavalue":{"value":{"entity-type":"item","numeric-id":1314643,"id":"Q1314643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fad8132a7bd54f3d42ff5d1f5e66b9e9369ab3b","datavalue":{"value":{"amount":"+0.824078381061554","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":"Q5753924$B1639341-F879-4AAB-AC80-28419021DA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04d4e62c02176b2e700ee1f719d8f25f54ea25c","datavalue":{"value":{"amount":"+0.8137716054916382","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":"Q5753924$E21E06D0-87F4-4BB8-B1F9-FCB2DEBE1C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e56c4594813525572fe7b58f60120ae1cde1b5","datavalue":{"value":{"entity-type":"item","numeric-id":689208,"id":"Q689208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab10caf7feea49a05b5408debd596bc4b40e08a","datavalue":{"value":{"amount":"+0.8055164813995361","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":"Q5753924$A7887888-03C1-4E64-B4F6-40EB5BD33818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03b7f5cb32eb1acbd1fe0871d738cfbf41add55","datavalue":{"value":{"entity-type":"item","numeric-id":1317437,"id":"Q1317437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bab0264a5da68b21e38e83fb6fb552b33d8898c","datavalue":{"value":{"amount":"+0.8010903000831604","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":"Q5753924$7B3F5E79-6B3A-4AA7-9C2F-F21F174B10ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036191652e80251e7ca496b6cdeb3e1e2042d2fc","datavalue":{"value":{"entity-type":"item","numeric-id":4263015,"id":"Q4263015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fac46d2e10862518119ac6d07b8105379a1baa","datavalue":{"value":{"amount":"+0.8009458780288696","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":"Q5753924$04B3E26D-4CDA-4A36-B35A-3ABAB439F768","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5753924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5753924"}}}}}