{"entities":{"Q2892742":{"pageid":2903467,"ns":120,"title":"Item:Q2892742","lastrevid":84886745,"modified":"2026-06-03T05:02:10Z","type":"item","id":"Q2892742","labels":{"en":{"language":"en","value":"Adding equations to System F types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049276"}},"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":"Q2892742$EF79A7A5-0888-4E13-B72E-ADB400D3C600","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a0ea9000d460f16847c43e747c580ec09cf26ec","datavalue":{"value":{"text":"Adding Equations to System F Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892742$7C12A694-024C-4DC5-A71D-FD8B479BDFF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0b2cb68dc5ba4aad5bb856af5ae47da92845659","datavalue":{"value":"1352.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892742$A7279266-7D6A-429E-9535-17C0CB4ACE52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7ca7a1e9b869b72de509622601fefb04023fd78","datavalue":{"value":"10.1007/978-3-642-28869-2_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892742$34775F5D-1FDD-403A-8167-957DC0D735E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80825289a5e0e61699d027c0caa56c8052edcd8","datavalue":{"value":{"entity-type":"item","numeric-id":2819784,"id":"Q2819784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892742$134C94BA-1456-4048-BDC9-3E326AD15150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24edb71357444cfa1110c00b8f09fd608c1bc854","datavalue":{"value":{"entity-type":"item","numeric-id":2392478,"id":"Q2392478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892742$CAB33635-476A-4244-880D-15796BB61F91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892742$D2D16164-EB9A-41E5-B960-7430CA175272","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892742$E885467B-910B-4F8F-8E4F-AD473D4F6790","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892742$1DF0A912-3092-4EA3-BA21-8F4946EBA84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892742$A2565772-5DD5-4198-A9F2-787C2656FB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892742$E2090D7C-45A7-498B-ABBC-B9A433D59D0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ee9fd0e9d41a093f200a4d77d444c37d449ddc1","datavalue":{"value":"6049276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892742$8F238A4B-5C3D-42F8-9363-6179080B08FF","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":"Q2892742$0F6C5797-0B7C-4DCB-8E30-9D04586C4C37","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":"Q2892742$F12F282B-CD3E-4BEB-B3EE-3514BC53C4B4","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":"Q2892742$1BBFB6D0-ED95-4042-BBFF-DD637AF95730","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d23d8cc64b8ab291ec2f6b746da6a479c7b8a75","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28869-2_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892742$C5D1B24A-2687-4003-BB4C-4D5403A8A77B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2cdcb44b45bec36d71525ad6cec2f277fa5dbdb","datavalue":{"value":"W1940464372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892742$3672F8B9-07C8-4A5F-AEFA-E6B785226AB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"242cf683288af100827015f68ac43b1efdb86b09","datavalue":{"value":{"entity-type":"item","numeric-id":5096247,"id":"Q5096247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af5a025cb9bff3465da51ae92799f3a1dbd9a78","datavalue":{"value":{"amount":"+0.7915456891059875","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":"Q2892742$0EA9E5E3-7D56-4D94-BD7C-7E5D4D8671C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc84c98ecb8d20117ac3288cc27c98c898b554d","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08911f61453841ef4ea0dbb8a8602926609ee504","datavalue":{"value":{"amount":"+0.7770175933837891","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":"Q2892742$5A5A4BDB-1F91-44D4-95B8-D712E2B9AE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66329513ed08c576d00231a95784464d1d411a61","datavalue":{"value":{"entity-type":"item","numeric-id":4028345,"id":"Q4028345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1786bffda2961d240916511f3f4d26fadb339a8","datavalue":{"value":{"amount":"+0.768622636795044","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":"Q2892742$623E254C-C239-40A2-88EC-1D21D4EAA227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4424c639e43965ee40eae97bba9bb67c453c4691","datavalue":{"value":{"entity-type":"item","numeric-id":752689,"id":"Q752689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b0b958054b11aa6f1297dd411be3b2eb6715c6","datavalue":{"value":{"amount":"+0.746817946434021","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":"Q2892742$7694E5DD-52C9-434B-94F3-43C8EB89BF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2a9579abbc60bf00035b88377b0d9fdc9c2cae","datavalue":{"value":{"entity-type":"item","numeric-id":2176683,"id":"Q2176683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17edf2b9a87d0f4f8c90a730061e1f6cc2ec6333","datavalue":{"value":{"amount":"+0.743830680847168","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":"Q2892742$E7CE8D9F-4016-43BF-AEDF-D8B866C09AF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adding equations to System F types","badges":[]}}}}}