{"entities":{"Q958481":{"pageid":960329,"ns":120,"title":"Item:Q958481","lastrevid":65664987,"modified":"2026-04-12T04:08:35Z","type":"item","id":"Q958481","labels":{"en":{"language":"en","value":"Parameter-free polymorphic types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378321"}},"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":"Q958481$B88CBF8F-85C8-4D15-8535-7EE06B9C0320","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c77423a677cd45deb12b51e9a3e78fd5e16e35a7","datavalue":{"value":{"text":"Parameter-free polymorphic types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q958481$18086B7A-26FB-4AC7-B058-129BF97F9E1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4761e614555b175e2cc1e25af33f10cf2fcc93b1","datavalue":{"value":"1156.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958481$07AFDBA4-7135-408A-8949-FCC7A7D63E6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb8c6d7991f5202e4a9f96d80547d6992e4ea57","datavalue":{"value":{"entity-type":"item","numeric-id":636309,"id":"Q636309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958481$52C9F9B9-4CB6-4AAA-BFB8-40B8BDCC8992","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":"Q958481$7481B7E5-876C-4C4D-A98F-A11E67D4CD43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85c956bb62834fd3366db6abe30b39dc8a24e17e","datavalue":{"value":{"time":"+2008-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q958481$314F509B-D1EF-4C12-BD00-B865D3017F3F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb3f389b9e445da3308c1175f53a261965756247","datavalue":{"value":"This paper concerns a fragment of the polymorphically typed \\(\\lambda\\)-calculus (Girand's System F) in which, in every type \\(\\forall \\alpha . \\tau\\), the variable \\(\\alpha\\) is the only free variable in \\(\\tau\\). The lambda terms with types in this fragment Aehlig shows to be exactly the functions provably recursive by finitely iterated inductive definitions. He also shows that this fragment has the same strength as a fragment of second-order arithmetic that he has previously studied. Proofs in the second-order arithmetic can be interpreted as \\(\\lambda\\)-terms computing the function claimed to exist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q958481$EB405436-4440-4C8D-B98E-C2B50C775CB4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958481$D74B470A-F056-4E25-B49E-0520B37C9B9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958481$3BAB767B-8908-4370-82F7-F641DAEB50E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958481$072B4991-38D2-442A-8A30-D6B12F1D5ECC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa2fb65067b32187f07a1a8527f7bfb95928a914","datavalue":{"value":"5378321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958481$D5DEA167-5789-4689-BE3F-72D054F5B481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q958481$D35C11D0-E87C-4452-9E04-A9C31AAFDF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q958481$0EFCD54B-91B8-4ABA-9C7B-0812DB633B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q958481$3CDD28A4-8FBB-4525-A548-5C05EA08399B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q958481$1E9BB140-6BB0-4066-AC43-93E3EC00C23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q958481$6EF13519-8F35-41C6-B4AB-7DCEF661E94A","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":"Q958481$E6956B23-FFBB-407E-8058-3DA0C910128D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"507bd879c682763b8a0c6882501c23b4f0f2c932","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q958481$82EBFCA4-6DE4-41C1-86EA-CE482C2AE578","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de30a67df7d4e84fdfb41b9c3a3647ae555fd47a","datavalue":{"value":"W2046193889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958481$0E59ED84-35F0-4ECF-8245-F649877C863E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c9bb36764854195fc9f78e8cce2947d94bfa69b","datavalue":{"value":{"entity-type":"item","numeric-id":5486242,"id":"Q5486242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958481$547BB3D2-FF26-43A8-B90E-9093CB1C7FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf4b357a0a94978ac349e24753f1162ff858b41","datavalue":{"value":{"entity-type":"item","numeric-id":2778814,"id":"Q2778814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958481$00E6A959-221A-43B1-A706-525560694D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1a90574c396a1ca159a0401d8596bb5f1e528d","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958481$F7280BC2-10EF-45E7-8556-B8A8CA296ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958481$BFB5D0AB-9E93-4F6E-9A9F-2CAE94C814CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4577aab451977e49ee8d4b4a69876cde591022a7","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958481$54E45489-506F-40C8-8A58-64754CC8014F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958481$E2BA50CC-B233-44AB-AABC-E381258638EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7e7dfa9d530d207d8af0616a7342a81c167185","datavalue":{"value":{"entity-type":"item","numeric-id":4720069,"id":"Q4720069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958481$7BDBA9B0-F542-447C-8A10-B58300372C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec940eee0477184e354b8959d22d2df44a783c7","datavalue":{"value":{"entity-type":"item","numeric-id":4215633,"id":"Q4215633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958481$B9ED0D09-C08F-4CA8-9AD4-FA3B7B0ABE6A","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":"Q958481$A83BAB74-4C25-472E-AB6D-9CCB18DB8A97","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":"Q958481$803C03E4-A407-4038-8060-CF8C533E3C4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5abc657c652607a73d4c67b407e3f41663a7fb84","datavalue":{"value":"10.1016/J.APAL.2008.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958481$58B19F42-94DF-46BB-AA25-8C887110FA73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5b95f7aea7854d1638ffbc13b0db36cc6e601c","datavalue":{"value":{"entity-type":"item","numeric-id":2778814,"id":"Q2778814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfe38f5e5e7ecd6460a84d4f9be75fcd93b9143","datavalue":{"value":{"amount":"+0.7899602651596069","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":"Q958481$CB58A311-325C-473E-81F8-BFF4AC456889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4116d7bb7083b191bc72e76ece0f0ff01486a31","datavalue":{"value":{"entity-type":"item","numeric-id":1314344,"id":"Q1314344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfe38f5e5e7ecd6460a84d4f9be75fcd93b9143","datavalue":{"value":{"amount":"+0.7899602651596069","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":"Q958481$5D13AD67-3E75-427D-A55C-8A47FABEECA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437e8475196b1c74558309143d00e154b4d71f60","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fbba530820729d52e41296a227f8a343db2286","datavalue":{"value":{"amount":"+0.7790467739105225","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":"Q958481$D835C1B4-5991-47E4-ACC0-D6B38C4C0A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a77e0ad4ecd1ec0fdadcbc16ee81ff1005a76ce","datavalue":{"value":{"entity-type":"item","numeric-id":4428884,"id":"Q4428884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac468d7371d74b81fa4ccc15683ada92fcf247d","datavalue":{"value":{"amount":"+0.7737864255905151","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":"Q958481$503BD527-CC4F-4CD8-8E23-C3F4D44765C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aedf9c230831d7c32a2469d424ad742688c901d5","datavalue":{"value":{"entity-type":"item","numeric-id":5277728,"id":"Q5277728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed05e72650a9085b05cb860c2a005daeda85a864","datavalue":{"value":{"amount":"+0.7728473544120789","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":"Q958481$77E16DD2-2D8F-499C-AE29-0469769424A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameter-free polymorphic types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameter-free_polymorphic_types"}}}}}