{"entities":{"Q1120558":{"pageid":1131307,"ns":120,"title":"Item:Q1120558","lastrevid":66170694,"modified":"2026-04-12T08:01:25Z","type":"item","id":"Q1120558","labels":{"en":{"language":"en","value":"On Church's formal theory of functions and functionals. The \\(\\lambda\\)- calculus: Connections to higher type recursion theory, proof theory, category theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4101140"}},"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":"Q1120558$E76C10A3-714E-4F28-9436-D422709723E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1bf1745107518c60ec4fbac7d6e21661096e62e","datavalue":{"value":{"text":"On Church's formal theory of functions and functionals. The \\(\\lambda\\)- calculus: Connections to higher type recursion theory, proof theory, category theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1120558$355E20EB-3239-4D5D-98E7-CBD691463576","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06e222e7d3c99e1080fed5ca52d7b5ddeabc7b35","datavalue":{"value":"0673.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120558$0D52E42B-71EE-4CD3-AE7D-0D5FDD263B1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e421807595913bddcebe25240a844684e7aeb0c","datavalue":{"value":"10.1016/0168-0072(88)90017-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120558$213C1284-F39C-4104-B772-EB34FF3E014A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$BEDDE278-8D68-4C5A-8F7B-064C7F29DF88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1120558$0F36EBB4-C6BE-4E98-856C-C5DF34AB451B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"647aab33f3571c7d9849b6f002ceabbebf2e34af","datavalue":{"value":"This is a survey paper whose central thesis is that Church's \\(\\lambda\\)- calculus, rather than being one of many possible formalisms for computability theory, should be regarded as the core formal theory of computable functions and functionals. The author supports his main contention by surveying the principal connections between \\(\\lambda\\)- calculus and three important areas in modern logic: higher type recursion theory, category theory, and proof theory. There are five sections in the paper and an extensive bibliography; the emphasis in each section is on structures invented for the semantics of typed and type-free \\(\\lambda\\)- calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120558$434D530B-58F5-4F08-A144-DA82D2557296","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120558$A3BC88DC-A6B6-4A83-BB66-B9F4AC8EDA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120558$A135BF44-91A6-4E02-A376-632238AA8D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120558$56D4AAB2-79A9-401B-9373-93D1034D72A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120558$05D8565E-134D-42A9-A8FD-4A28475CF92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120558$5ACEC6D3-A1EF-49FD-A753-5417457EB5C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ac72e4703dd7695eb24c760584c8c29adc2997","datavalue":{"value":"4101140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120558$C793BFB2-AA13-42F9-A99B-580D7EBCF1DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120558$2E644E90-8A8A-4872-A285-A5E601D3490A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120558$D4FA0498-AD7A-4AE2-89FA-5BEB93EE26C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f38f7ace8daca1c5c22418c37c4924f7932d84","datavalue":{"value":"higher type recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120558$968E6953-3820-4D20-937A-CAAF18EE465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120558$3EB11A56-C361-4706-9BB7-CB4FF7EC74DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120558$45430784-D49A-41A5-BEA9-C52AC1CB6DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2035ce8da11f844bb65034c234274a2169dd2d1","datavalue":{"value":"bibliography","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120558$641D0476-4E9E-4A09-BB83-9AAD76286D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120558$1A5FFAC0-653A-4036-B4F8-C4AF5A750F37","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad60e086a74fc61d4b1f57698734d6ee2f246da9","datavalue":{"value":{"entity-type":"item","numeric-id":306127,"id":"Q306127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$FEF6C4DD-E9EB-4EA5-B47E-EA29F2D35A2D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$5348C170-1967-42D1-95C7-46B4B4FB721B","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":"Q1120558$F1D362DC-F18E-4A44-9A69-0F95F35124D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$5801782B-34D7-4E68-886B-4E6FC60962D5","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":"Q1120558$B8006997-6B81-49E4-BAE2-940DE0017532","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bed575c4010730fb7f1798eba8255d0e0db428ff","datavalue":{"value":"https://doi.org/10.1016/0168-0072(88)90017-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1120558$F03230AB-973D-49BE-BC02-7E45D51E4894","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38f8ef478448d02d44a359c73b377c2413be7ac5","datavalue":{"value":"W1527344590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120558$04B298CE-835D-4A28-8683-6EF9DF18F635","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4414ba8a9a0e62b7b9987beb37b6fcee4dc0c8fc","datavalue":{"value":{"entity-type":"item","numeric-id":3340845,"id":"Q3340845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$035070E3-83DA-45BD-BA8D-9D01A9C7ABA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e536f1d75671c630b57baf1808e70ff2faf238","datavalue":{"value":{"entity-type":"item","numeric-id":3863873,"id":"Q3863873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$159C5DAE-5A57-4E45-8F07-717BEDEBD7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$2802BF3B-F30D-424D-87B6-9785759D6C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f6c3ba9d67daaf9fd7b9e2ad735227bb576b6e","datavalue":{"value":{"entity-type":"item","numeric-id":3734353,"id":"Q3734353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$86189880-7990-499F-89E0-AC6D0CBA4D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a354c052b51cc33cab380ef8c8b129e94109267","datavalue":{"value":{"entity-type":"item","numeric-id":4190093,"id":"Q4190093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$4740D0AD-1BD0-4292-AC8E-1A673C9A2AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5518e34b7536a8c7a1cf5bc9d876c46982dedff3","datavalue":{"value":{"entity-type":"item","numeric-id":2645327,"id":"Q2645327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$BD355736-410D-4F44-BC74-DCCAA8EE0347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040f112374d67d2aadb710b0564e2f09f41c0cc2","datavalue":{"value":{"entity-type":"item","numeric-id":3708006,"id":"Q3708006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$9567416B-9C79-4627-B640-CF29E97DFE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3030a84182f99a88e8543fb15536e3339ff9dba4","datavalue":{"value":{"entity-type":"item","numeric-id":579245,"id":"Q579245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$47EDBD1F-7171-4D7B-BBC1-C2BD2B3F0E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08a7e7d403cea257b26647f08cfb168edc0c81d","datavalue":{"value":{"entity-type":"item","numeric-id":3734394,"id":"Q3734394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$1AB207AA-E5CE-4AD1-AE24-9107C30AB31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e287a76b72955cd46eadf7e27e2c11d6ff9865a","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$30F03956-2829-4145-96A3-B83F4058E591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9a246a741e1579f574568d9b929f4dabeafd33","datavalue":{"value":{"entity-type":"item","numeric-id":3335771,"id":"Q3335771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$A54FA615-489C-4142-81D7-F90EBA931359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09c62b5fb278b94610a1a7f16a578b78037de78","datavalue":{"value":{"entity-type":"item","numeric-id":3676137,"id":"Q3676137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$201F2CF4-6251-4791-AA61-CC653E246097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$2B34CD56-D6AC-4116-9470-E4CDA96EFF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2973a40cdc7ada8d04704b32ff80bbdfecef18","datavalue":{"value":{"entity-type":"item","numeric-id":3960746,"id":"Q3960746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$5887B568-D8A9-4E57-902D-E6E90F33E224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$B8D88DFE-4284-466E-9E51-AEA177BFDD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32ae953476ab90bea3a32cab9fa8ed9072047f3","datavalue":{"value":{"entity-type":"item","numeric-id":3914974,"id":"Q3914974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$F84D3B39-3105-4D83-8DFB-CB4C73E481A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6071f1c70e95526e3cbfda52d62a339595387e70","datavalue":{"value":{"entity-type":"item","numeric-id":4029583,"id":"Q4029583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$7FB0A776-0797-4DC0-A388-612A6F5F0BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3da38fa3f73e91dfdc90a127c0eae839f152982","datavalue":{"value":{"entity-type":"item","numeric-id":3714051,"id":"Q3714051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$2F832FD7-BB39-42C3-8E83-4A04065338B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c0a322641e0fb0bfcedb9760d56ea332ad04e","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$100A6A38-6603-41A6-930E-CA7C2190018F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$7CEF1084-4264-4AB5-8DD0-2F5D8C9EC8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$5F1A22CA-3D5E-4F73-9535-41A07C9EE3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041d27619ddd593aca8298cbe17a548a65e007bf","datavalue":{"value":{"entity-type":"item","numeric-id":1075312,"id":"Q1075312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$0505EBE0-61D8-4A7F-A608-501254BAE475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$26DAD053-FA04-48D9-B893-67F6B003E4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$02F01875-E9B4-4804-8B40-80A7640682CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f3fd26345ebcb47fdc2decbe06144bf40762a9","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$A71F00F1-C7A0-49AB-B89B-5303DA49DF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$8F1CBF9F-3F59-406B-89AF-9C08FA62770A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380a6881518831323f255a15626e883724615dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4767105,"id":"Q4767105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$80889F71-6558-4F2A-98B9-E310301A7F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c284a1af1754906447cd4b2a1c98a6adcb98e0","datavalue":{"value":{"entity-type":"item","numeric-id":3342573,"id":"Q3342573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$F54CEB33-B472-47B2-9FEC-5457AC3423F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$8FBC8DAC-5080-49E6-AA81-DE11E114D3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9616c6e9e07e030df0ce064aa2b8a0a6da1558ab","datavalue":{"value":{"entity-type":"item","numeric-id":3677755,"id":"Q3677755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$1F26CDD2-52F4-4F1C-96CB-B270E87F23F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94cf9631c9e91afb0e168451174422010e0452e","datavalue":{"value":{"entity-type":"item","numeric-id":4006232,"id":"Q4006232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$5A7C6D8E-3C15-4989-97F7-B1A4219D6350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9df63191e117e98445c65ec498daee7c4b8d612","datavalue":{"value":{"entity-type":"item","numeric-id":4145693,"id":"Q4145693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$EC9ED19D-DBA5-4264-BAC2-96B032B328F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a040b4cae5637a5db3717c262d4cc599e1e35375","datavalue":{"value":{"entity-type":"item","numeric-id":4726252,"id":"Q4726252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$5034EF52-1204-4BA4-BB84-BE2125FD36F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83bf7e764843684610edae08b166a258e6b8103","datavalue":{"value":{"entity-type":"item","numeric-id":3659756,"id":"Q3659756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$C681FE80-8B3A-4732-B3F9-AE53D4E4C0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$69926331-2737-43D5-A85C-03697D438031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$C9283EDD-48D2-4818-932A-73C2265C2377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0691e21ed553f2a4405e920d999bdfdf70ebe7","datavalue":{"value":{"entity-type":"item","numeric-id":1109871,"id":"Q1109871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$27F706D9-68C3-42BE-A551-C71D22B2247B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$2318E319-490B-4708-B117-F56B006E2AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3b6866662741aaae533cc58b1394eba5b77691","datavalue":{"value":{"entity-type":"item","numeric-id":4196420,"id":"Q4196420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$0C04D613-37C1-4780-B3AF-7D8FF3DFFC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$9BDA4EE4-55CD-4B14-B11D-5D18194BEC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a318a20654fe6d18f6eb39f1a9161b15bf9565b","datavalue":{"value":{"entity-type":"item","numeric-id":3768869,"id":"Q3768869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$8C204829-2B10-4D6D-995C-1F8770012EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$598FF669-39FC-4250-9A8B-6B9AA8339AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a7aff6e64c6e39cf93d6bf6ccc57f34e2eb209","datavalue":{"value":{"entity-type":"item","numeric-id":1255084,"id":"Q1255084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$0818DB9F-FFCC-4EC8-A843-B94BB41BDE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c21e64793d512ec5cc51669b8d2ffa482c86b3","datavalue":{"value":{"entity-type":"item","numeric-id":3677914,"id":"Q3677914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$0675BAAA-CBEE-4FA5-B3D4-CD4879411C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$B8461E6E-499A-44E5-9017-58A200F0CBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$0A116F58-92AC-4A9D-BC14-967DFD6BDC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$856C3479-3195-4F2C-ABD5-33BD10325C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ee8ad5ef59d19d9c1c42fc765be3205cdeae58","datavalue":{"value":{"entity-type":"item","numeric-id":3043111,"id":"Q3043111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$6A2C0040-19AE-48C9-8B2D-EFC30B975847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee0734545600fd465e287744ccc384cc681549c","datavalue":{"value":{"entity-type":"item","numeric-id":1820596,"id":"Q1820596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$EA644FE4-0633-43E0-B052-A7D219A2626C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$7174E5ED-20BF-4036-9D28-21146BFA3065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$E260FA70-F4CB-45B1-B907-53B105A32EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$6E91251F-B818-4D12-BA08-50B0B2A9ED66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5abcfdc532f878fab9e89230ef7feb7815d5627","datavalue":{"value":{"entity-type":"item","numeric-id":1148318,"id":"Q1148318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$598E0E00-33FC-4105-94BE-038F580CDD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$8A9EC96F-3776-4626-B9BD-AF9ECA35AEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$37C1BC65-C8C9-4388-A669-AC37E538CC80","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":"Q1120558$14ECD87D-29D1-47FB-98EA-522004A65B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c9f2843640e7eabb53dcf6b38d2e418915c6350","datavalue":{"value":{"entity-type":"item","numeric-id":3343471,"id":"Q3343471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$5583210E-348B-45C7-BAAF-689A9EF12344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd16d6aa13a5af0f2ed20cff75e9df8d13bf4212","datavalue":{"value":{"entity-type":"item","numeric-id":3880323,"id":"Q3880323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$2B244225-54E1-4681-ACFB-384AC31715EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5651e939e2a782288a9a4fe9e9bf5ce2302490b5","datavalue":{"value":{"entity-type":"item","numeric-id":4177542,"id":"Q4177542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$3CDB27BA-B28E-4610-8BB8-4E1B786F2A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf9d98ddb31cde733ea23d6df193235b8862dd","datavalue":{"value":{"entity-type":"item","numeric-id":2556396,"id":"Q2556396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$A1A86B25-3D0F-4C67-82CC-3B7CC27BEBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$0D538687-5FE2-4282-BCBF-9F1BD21769DB","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":"Q1120558$7AABF56E-22D5-4DE5-BFF9-BAB16EEEBF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$72A20F85-A103-431B-B290-AF51DE19217C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$EC32CF55-1B34-4CFC-AB81-553F77BCB884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f91e65f1361da728c4984b4e5cc0f45065012e4","datavalue":{"value":{"entity-type":"item","numeric-id":1170880,"id":"Q1170880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$99021504-1C16-4C01-86B2-C855F483F3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$3DBABB2E-E2CF-4F8D-804B-8DDC512D85F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dae46d0a0bd58b96aa9d6a447fa758a54a7c4df","datavalue":{"value":{"entity-type":"item","numeric-id":1104071,"id":"Q1104071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$B567B7B4-DFB5-4FF6-BD90-7759DB6119C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29814f46a951d520e6564eb1a9c06825ffd020ae","datavalue":{"value":{"entity-type":"item","numeric-id":1839846,"id":"Q1839846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$052FE9BD-191A-49EF-9C9D-E40F494C822E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97a81fd7ad71815ea23de5bd9d2e05422152d02","datavalue":{"value":{"entity-type":"item","numeric-id":3673081,"id":"Q3673081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$E823D2D7-ED37-416F-B527-7AE7028B043C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999a4418c35493fc3ba35f2f259ff320a3c8c62f","datavalue":{"value":{"entity-type":"item","numeric-id":792995,"id":"Q792995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$A864D6A0-10B4-42C8-A9E0-D2E45A4A37BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$C3FF25AC-97A1-4351-9E00-3E655916A8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$576DBB30-6C73-4E5A-8099-C8546230BC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c89285146bc6b1010a63b3c32f1013df669f37","datavalue":{"value":{"entity-type":"item","numeric-id":3721820,"id":"Q3721820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$9C8CF73A-DDCE-4582-AE3F-99B2C12101DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$FB5022FF-46E5-425D-8E99-02FFA6CCF4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$C74C25B2-C12F-445B-98BD-861372BC009D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$9F23A22F-CABC-45FE-A8B9-612CE62D0FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$347EF5B6-8EFD-4AB6-94D8-64E7230ED4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$99285C8C-B096-44CC-96F9-CA7FF9EA6903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$6402CD67-8ED7-4BC7-B227-3E55C4D28CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$7F56A724-DB24-4AF2-84D4-B3BA4AAB1D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$A6B26148-6BEB-48D0-BB62-D0E4294FC7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ce79f08e00fb6381cc08fc3a575f45fab80c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1314540,"id":"Q1314540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$B983FC6E-79ED-4518-9FC1-57DDC598B9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$17A9DC8A-2EE1-4616-A2EB-3D42349AC117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$9A4801D3-A77C-43DA-A10D-340CB0091007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08571a559a3e7776d5978876ef4c49e476af8e11","datavalue":{"value":{"entity-type":"item","numeric-id":3216107,"id":"Q3216107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$DE2210A0-D382-4905-AFC6-D7AC196F7084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$9273D2B3-2631-4753-92BD-B6F6E49FE1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5429b997f8a444ab1a0e51ca9bf1fa1147fe74","datavalue":{"value":{"entity-type":"item","numeric-id":3705422,"id":"Q3705422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$2B9202A6-7F60-498F-8391-CE3B1E117A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fad625c8c1b496be7e1be54973c970dc89e19e4","datavalue":{"value":{"entity-type":"item","numeric-id":1923860,"id":"Q1923860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$64B65753-FAA0-477C-AF56-9514553CDE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$5867B97B-ACF4-4BC0-A656-7D2D619346E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5abb06f902f9ed0fef96835b4d42cff003f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3677139,"id":"Q3677139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$3185960D-E846-428A-9BDF-E63C0696181D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17695e225aa63c7d95318b417de6aa4b6f4f2367","datavalue":{"value":{"entity-type":"item","numeric-id":3661543,"id":"Q3661543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$240D6957-FB36-48BF-852C-1D05D38DAB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$ECC79A01-0FD5-424C-8C23-026C0223991E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$40C0265E-5097-456B-A871-5528DB47B477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b44bfd7fc7c59d63d94a30d5811741cc99581","datavalue":{"value":{"entity-type":"item","numeric-id":1073004,"id":"Q1073004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$0E6DF75D-4F64-4F71-ACB2-C5D33E735364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160a2374c05e466369d09ccede54688eb30beecb","datavalue":{"value":{"entity-type":"item","numeric-id":5183475,"id":"Q5183475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$E15385B4-53DA-497E-A101-AFD83DC1B7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$C84AF225-DAB3-4146-8F99-436D4E8369AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f606757fea613383399e21dae2b6c0a19b4f71","datavalue":{"value":{"entity-type":"item","numeric-id":1835901,"id":"Q1835901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$6B7E159D-E610-4504-8315-01BA6809000B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$ABA79922-C855-4BE7-9DEE-1DD434BC5132","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03c3b74ff26c086a7988af4846b84322637129ef","datavalue":{"value":{"entity-type":"item","numeric-id":1868461,"id":"Q1868461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120558$E19AD82A-9023-4A26-B8B7-C318ED5C8442","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edeef39e2e6b0a098b482604d0dcdd7e2ff4523","datavalue":{"value":{"entity-type":"item","numeric-id":3599178,"id":"Q3599178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba128d5bf78a3068296a459219a911a1c408be4a","datavalue":{"value":{"amount":"+0.8128400444984436","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":"Q1120558$3AACD16D-775F-4C20-8839-20F9B3997812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a6bd9f3333a0cb2d7ffabb5730e4061c833614","datavalue":{"value":{"entity-type":"item","numeric-id":4359526,"id":"Q4359526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6c8617828ebefcaa1e31a7a272b1a21d7c1cf3","datavalue":{"value":{"amount":"+0.810189425945282","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":"Q1120558$3EF71A52-04A1-41CC-ACE3-6BC7DD4F6742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c0c01978b71892d3a67ebe94f63cd21be3a8ae","datavalue":{"value":{"entity-type":"item","numeric-id":3708006,"id":"Q3708006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c492c0540af815c6f6d26f29ba45f80718f269ba","datavalue":{"value":{"amount":"+0.7968403697013855","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":"Q1120558$99D6EEE2-095E-4E0E-AF7F-BEFE98B34B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87325b55bbb0f1891d1b43559b6396d02aee6a1a","datavalue":{"value":{"entity-type":"item","numeric-id":1583485,"id":"Q1583485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc0a39587b9fa33ee1f02833789da3e9cd97c3e","datavalue":{"value":{"amount":"+0.7869449257850647","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":"Q1120558$6A53A300-5022-42A6-B0E0-4677F25C3905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25036cb7ecd232d6eb024f82d928c3f01c56d499","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e116a5893bd7d9af0b5548032a4631f6c7864d70","datavalue":{"value":{"amount":"+0.7779361009597778","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":"Q1120558$E697BBEB-25B8-4B6E-88DC-F675E83A14E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Church's formal theory of functions and functionals. The \\(\\lambda\\)- calculus: Connections to higher type recursion theory, proof theory, category theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Church%27s_formal_theory_of_functions_and_functionals._The_%5C(%5Clambda%5C)-_calculus:_Connections_to_higher_type_recursion_theory,_proof_theory,_category_theory"}}}}}