{"entities":{"Q1193590":{"pageid":1204339,"ns":120,"title":"Item:Q1193590","lastrevid":66455604,"modified":"2026-04-12T10:11:24Z","type":"item","id":"Q1193590","labels":{"en":{"language":"en","value":"Type reconstruction in finite rank fragments of the second-order \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64872"}},"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":"Q1193590$F3074020-2227-4B98-A92E-83DAEB4C41B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f3ed608610dffb1f0e325415fbae5e9846ed84f","datavalue":{"value":{"text":"Type reconstruction in finite rank fragments of the second-order \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193590$0F4D97F4-D609-49DC-BFB6-DA3E6AAF9055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adc00054bd55f6fee6c6145eaa722e16101d5e8e","datavalue":{"value":"0753.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193590$4B8492CF-68FA-4D38-B146-0D551F530FF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d845a5c1ab099e516c8b841b59c9603dc3efbbd","datavalue":{"value":"10.1016/0890-5401(92)90020-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193590$C9822475-AD8E-4DAB-A0B5-4B82D04D57D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d9747839bcddbd973b100af1b34777607177c4","datavalue":{"value":{"entity-type":"item","numeric-id":801664,"id":"Q801664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$46A17584-1CBE-42AB-A35E-F4528D2D5571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$7414F2DF-8297-4E55-8302-EDC5DF33630F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$749BB3E5-61E6-4386-BEF7-A2B5D367867D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193590$CD0BD83A-5176-4FB7-BC7D-E99E8A6E07BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193590$532DF477-6D02-47B7-B4A5-C5CA5DD549DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193590$50D28DDB-68B0-43C1-B384-41C85A1A34D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193590$E5462943-8417-4EC6-B4EA-06C2A321538B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193590$9B5EA92D-C060-40B1-8FEF-D1130D473EA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38c58d7ed02fac55ea1923105872d3ab61d71953","datavalue":{"value":"64872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193590$D1B59544-45E3-4505-8AEC-E90F9523B82E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193590$388FD27A-4BA0-4854-B336-2D51B3B8BF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4c07935a385e2ff679b7b381dad17af9f0ec4d","datavalue":{"value":"typability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193590$7B7C3025-B5CA-418C-972C-BDEB2BFE958B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ef5ba4a59e08e0aa1e9616906d7caa64f6f47b","datavalue":{"value":"polymorphic \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193590$A30F449F-D0A1-4379-A5FB-B07452DACBD2","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":"Q1193590$C0DC8DA3-405F-4FEF-98D8-92F1B0504D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f0f9309131bc6ee04b650083b370ec4b2b7ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":34505,"id":"Q34505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$1DAD5C2D-F07C-461F-B869-194E063AF184","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":"Q1193590$89ACF9C9-00DB-4B3D-B3FA-8DD7CCFF032C","rank":"normal"}],"P223":[{"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":"Q1193590$95E6E3EA-6C09-4A3A-BE15-1A4D4D176C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$3633F474-BEEC-4EE3-B78D-4B5483BF8C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bcfabc22212d3db2a4fa41c3566844e5ecdda6","datavalue":{"value":{"entity-type":"item","numeric-id":3668859,"id":"Q3668859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$5A85548B-4FF8-4901-A2C8-A649FB1E75E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5dfcf06b68520fe158081210cee996d3afdc6c","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$3467CA97-A1EC-4B59-B8C2-BCF609C94ECE","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":"Q1193590$6CFB998E-5126-4E89-A4D2-A29F86159E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175ce5d5083c8155a0a3300509bae00b5d459802","datavalue":{"value":{"entity-type":"item","numeric-id":4299012,"id":"Q4299012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$5E5E8251-835C-4560-82B2-602D6DC42DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e6e4ccde75ad59b9f633da0f6072d58499c283","datavalue":{"value":{"entity-type":"item","numeric-id":3811682,"id":"Q3811682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$DDBFCBCC-DF61-47E9-BA59-A30665F8EA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27f9b03a16269eec3dd437030874e0ef679ed65","datavalue":{"value":{"entity-type":"item","numeric-id":3204027,"id":"Q3204027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$E7E570FC-CE69-4459-A079-BCD95ECB9081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5563cb636be982d7a10c0cf19bddc6eed54527cf","datavalue":{"value":{"entity-type":"item","numeric-id":3702495,"id":"Q3702495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$E01171C0-F1E3-4BCE-BEF3-25691E7D0D1B","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":"Q1193590$84C705D4-72C2-4FFE-8E9E-A294F5BC2B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$6618C41F-A974-4661-AD4A-CBDD0C2943A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbac71c6d92500dbf536db2f24add53c05adc73f","datavalue":{"value":{"entity-type":"item","numeric-id":3340118,"id":"Q3340118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$F7A3F6B7-C571-4B11-AD8E-CDBBDD681AFF","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":"Q1193590$F623674E-ACE3-47FD-A125-F6C4320F8DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7fd8b25b50a5ad94a9db961851c1a3dc450842","datavalue":{"value":{"entity-type":"item","numeric-id":3976029,"id":"Q3976029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193590$30564CF8-DDA2-48FF-99DD-3AC4D20014D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cddbc92e7debfa4d2d181732801d54e20622b26","datavalue":{"value":"https://doi.org/10.1016/0890-5401(92)90020-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193590$ED3AAD6A-BBA1-477C-9B0C-2C856EF16690","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"814f379fa4962e82222aa14eb15da2d1a402adf0","datavalue":{"value":"W2074231109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193590$2775B7A8-4C60-4E62-BE92-2025A930A490","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6d2df76a741cf581e954cfda428b2466142500","datavalue":{"value":{"entity-type":"item","numeric-id":3142167,"id":"Q3142167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ccf4987e6409d275c2f7f51e994ec871bd73faa","datavalue":{"value":{"amount":"+0.8546934127807617","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":"Q1193590$BAF71C98-BCE3-4185-86F5-301914A89983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653be8663f5a7e6d0c4c6a727275cb039cfeda99","datavalue":{"value":{"entity-type":"item","numeric-id":4281489,"id":"Q4281489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf94b99b149ae2e6217c10920c13dfd5cea74a05","datavalue":{"value":{"amount":"+0.8159322142601013","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":"Q1193590$0C8D5716-D15B-485C-A6C4-5938133695B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a825fc74e6a188bd4ad5d946d29f6f2cd94ba3d","datavalue":{"value":{"entity-type":"item","numeric-id":3000286,"id":"Q3000286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb629559b950f5025f3b13cbd9882f030b64e80b","datavalue":{"value":{"amount":"+0.81181800365448","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":"Q1193590$C7B34B0D-398B-4F77-8CA4-F16B5EDD5BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ddf68208fec3d1423a51d071151463ca40b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4764610,"id":"Q4764610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abc5f40b6cfce7b51128ab6d4bcd1f0284a1df2","datavalue":{"value":{"amount":"+0.8059230446815491","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":"Q1193590$6B412A1F-8721-4FDC-B875-B53D7014EA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf9b23cbce427d5113fd50005e86a2535ab2b30","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df88748c2e0fb5580d7b5f17a47068618d11e970","datavalue":{"value":{"amount":"+0.8046508431434631","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":"Q1193590$D10F0E92-F377-4614-A50E-87D5BCA4B863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type reconstruction in finite rank fragments of the second-order \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_reconstruction_in_finite_rank_fragments_of_the_second-order_%5C(%5Clambda%5C)-calculus"}}}}}