{"entities":{"Q4764610":{"pageid":6794190,"ns":120,"title":"Item:Q4764610","lastrevid":46353252,"modified":"2025-12-24T15:13:56Z","type":"item","id":"Q4764610","labels":{"en":{"language":"en","value":"The complexity of type inference for higher-order typed lambda calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 751115"}},"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":"Q4764610$C6D7E1A3-A1A7-4A1C-A8B5-36B2B2E0DC2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0a7716d831a3c5ad2bb6f2088b80420ea533e97","datavalue":{"value":{"text":"The complexity of type inference for higher-order typed lambda calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4764610$030ABE0C-FF9A-4D2A-B9FB-D95DBBA2E4BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13c1cacdac5834ec880e15f0ef01e4641788058b","datavalue":{"value":"0827.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764610$5378814A-B185-47F7-AFD2-63D5094D59AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72b5b3619712f331c461b1d4a781f5b9b55e8cc1","datavalue":{"value":"10.1017/S0956796800001143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764610$981BC8AE-FB9D-47DD-AB93-B8316AB61EE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4075a941b116fdb7fba5d0a255c87be281bcf70d","datavalue":{"value":{"entity-type":"item","numeric-id":656872,"id":"Q656872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$CC1B31FB-737A-404B-8BFE-9CCBBE50F3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8aa6a584af6ab1dfc32be732b34caa5aaa87e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198970,"id":"Q1198970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$0E0B52B8-92CC-432E-ADBC-1F040A9F975A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$B576EE77-C107-4F4F-B6D5-71171248354F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2c5a0478135439b51e1336eb30896ff68f823dd","datavalue":{"value":{"time":"+1995-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4764610$3385A373-A0DC-4AD3-B5F0-5118748681CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764610$F3A70FD7-E106-4254-8AEE-DABA940AF9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764610$BF5FF4D9-2525-42F0-81CB-FA2ABD9EBB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764610$3FC8C583-C0CA-40C5-A237-676483D3634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764610$188FC5FF-DF9D-4A24-BD0D-42503B4FD7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764610$23F07C55-BCC9-46CB-BFD3-41747405F504","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88a55a083212d97d4aabdd1bddfb8917bb9b4847","datavalue":{"value":"751115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764610$FC44B16D-5FFA-4A15-8040-A25FA26542EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f868322202e67f681155588f488aed91606c5874","datavalue":{"value":"complexity of type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764610$57738DDB-1CD9-4AD3-B901-4DB5FD2AB02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62fdbfb7470a080e587c5ea6f527ad44459006ff","datavalue":{"value":"decidability of type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764610$621FD805-D69F-42F5-AE55-99D20E1F7D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cefba4c068c952c4cc661eb5b24d1aa672e72c4","datavalue":{"value":"second order polymorphic typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764610$82B6C87D-47CA-4681-AC65-16553363E791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764610$93F53478-BB67-4290-9EAE-1A99385D21D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d6bff971bd5d38b6b13a8c735b89cbc0283c854","datavalue":{"value":"higher-order extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764610$6C203139-FA59-4D58-BE47-F404428BAB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6effc8fced750ff65804fdc4b2f830f16be86a9e","datavalue":{"value":"encoding of Turing machines by types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764610$BBE08240-AB22-4B9B-9CBC-71EC74B0378F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$F9738C18-ACD3-4271-8C6D-37DAFF9C2749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$AFB200FA-B19C-4092-9668-95DC4F0F1BF0","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":"Q4764610$9D7D8D22-260E-42C0-A080-1C5DC57979CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$00B81966-3D4E-48D8-A701-C1BA5C78F3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81d57b58abc3a82b100d072439fecb147f7ea86","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$C791AE5E-98B4-4469-998E-85A36AE18A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$573BE15F-7278-4524-8533-E0060E4B64A9","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":"Q4764610$F2ADD834-B6EA-4164-B4F4-24BC31A9375E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$F7E3E299-D4F8-4CA0-8046-8AB71AF84C96","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":"Q4764610$844B9D3F-B7AC-495C-92C2-7CBF48D39480","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":"Q4764610$608677A8-A6D4-4132-876A-FEDAA86F173D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$FCDAAFCF-387E-4ACE-BAB4-8B1D571330D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ed8c1c9b5cf85c3067f46e271b605235d5e997","datavalue":{"value":{"entity-type":"item","numeric-id":5339741,"id":"Q5339741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$2CA82A51-06C4-4B13-A01D-927241B6C8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$042B1706-3076-4775-A903-FACBA321BB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5207714fd94750cfa4c573c7f7539944ef6c7cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4127363,"id":"Q4127363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$4F1E4872-3678-4E55-8D57-041D0D492F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dd304c0299403d2bebe74ec297d73e4c0d658d","datavalue":{"value":{"entity-type":"item","numeric-id":1199546,"id":"Q1199546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$3BF50F5E-C699-4ED5-97EB-7D9B1977A657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501600a1c3d42fe776ddf565d0d4192db086a47e","datavalue":{"value":{"entity-type":"item","numeric-id":4763983,"id":"Q4763983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$1AF1C20D-74FF-463D-8906-B4F02DE8D1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764610$4A959D79-07B8-4985-9C29-76B034655359","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"783eaf293bf5f7f3c43623313d5364b222f172b6","datavalue":{"value":"https://doi.org/10.1017/s0956796800001143","type":"string"},"datatype":"url"},"type":"statement","id":"Q4764610$37FF6A09-A000-4B57-A58E-878CCB61416A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e407cf83bdc26cd7e50e727f67182d3d6e1db36","datavalue":{"value":"W2112391755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764610$9BEBF355-70F6-425F-B74B-210AE9F9C35A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667de67404f22ec11cd1e9b6028841a513a25d06","datavalue":{"value":{"entity-type":"item","numeric-id":3142164,"id":"Q3142164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4f2efe7d1e0ed4d99610413a7843ba3fd28167","datavalue":{"value":{"amount":"+0.8447844982147217","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":"Q4764610$D47CFC9C-8762-46CE-9B9A-7B6D81203848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc5fc02249d7fe072d2dfa32926af06efc19c9","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba88f483d16f48dede22f4c6bc85798889388b5c","datavalue":{"value":{"amount":"+0.8247668147087097","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":"Q4764610$DB49A1E1-6D66-444B-8AFC-D9CD00F2F571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ef2029b24f95b26a5ec932ba4a6767ab4ee3e7","datavalue":{"value":{"entity-type":"item","numeric-id":1193590,"id":"Q1193590"},"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":"Q4764610$5A3B9F8A-0475-4A26-88B7-408AB719CFAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4764610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4764610"}}}}}