{"entities":{"Q4964722":{"pageid":6994301,"ns":120,"title":"Item:Q4964722","lastrevid":58379511,"modified":"2026-04-04T23:23:24Z","type":"item","id":"Q4964722","labels":{"en":{"language":"en","value":"Type inference for bimorphic recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317255"}},"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":"Q4964722$E189A672-12A3-4948-977A-9F85B5370038","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a5c72b6fce3804f98448e5e26104fe1e0ea582c","datavalue":{"value":"1457.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964722$6C4EC90A-5AF7-49A1-915B-834945EFF392","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964722$4981D599-4F56-499B-B78E-42B49307E063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22141819ed6ddc6c391802e000d0404fc62d4317","datavalue":{"value":{"entity-type":"item","numeric-id":235603,"id":"Q235603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964722$6582DFAB-1791-4221-9998-C77F3B348D9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964722$07764CE1-1582-4B1F-ADDA-7094423E0E36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0533f1e4c17e9e4da8bd74001e1e4dab9ab41e56","datavalue":{"value":"https://arxiv.org/abs/1106.1234","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964722$5ABAA94E-E0A7-407C-B174-D2305B06E845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"eedbe3ab9a7129bd314608216cb7e2f82d4725bb","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2011.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964722$18D4B6B1-7CDA-43A2-A0CE-A199F08D73D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964722$5C103CEC-EC45-4985-B782-BDF9DADDEE69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14c6cd6991ea6fb3ceda4dc6fd737dd8764fdf20","datavalue":{"value":"7317255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964722$CC6D289F-347C-4D57-815B-6FBE236238B4","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":"Q4964722$212657A5-D34B-42E0-8B70-0E73C8313AC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbb3792c7294973628dc4cec02b7076e8db03e8","datavalue":{"value":{"entity-type":"item","numeric-id":2771055,"id":"Q2771055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa39325c9a85b081cfa52dee654d3aa9688b8be0","datavalue":{"value":{"amount":"+0.7143869400024414","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":"Q4964722$BC09F260-7B17-4C94-BAD2-0E300ECC41F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c63c37bd980ab7e2d18ef81b0e6b787e7e76a36","datavalue":{"value":{"entity-type":"item","numeric-id":756435,"id":"Q756435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffebc87097bbf67dc1c9c7deb2b4b4a87ecbade0","datavalue":{"value":{"amount":"+0.7107530832290649","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":"Q4964722$61F4B4C7-AC8B-4FE2-8FA6-32C9036643BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d23727cd303c5eb304e7e5e646df2bc81c1ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4703040,"id":"Q4703040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3cd8db30d24943b2061f19fe9c3902e3a5ca11","datavalue":{"value":{"amount":"+0.7065380215644836","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":"Q4964722$5C1DD492-CF02-4490-A03D-C18E4905A35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1555094d85869fdc4dfea44e0a4f93498e01bc66","datavalue":{"value":{"entity-type":"item","numeric-id":3522067,"id":"Q3522067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0dbd34b1e1ccf926c3fa673175652757522686","datavalue":{"value":{"amount":"+0.7015917301177979","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":"Q4964722$19C7FC1A-AD2F-4230-B4C5-D1790BCC50C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84fd695eeaebd7d482db9a4c7928e707d6d6d2f","datavalue":{"value":{"entity-type":"item","numeric-id":5704006,"id":"Q5704006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f58af0cf387138db535c31660795ae26630ece","datavalue":{"value":{"amount":"+0.6944183707237244","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":"Q4964722$7110FFC6-30C8-4CA0-BD72-00F57AE568D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964722"}}}}}