{"entities":{"Q5300891":{"pageid":7330465,"ns":120,"title":"Item:Q5300891","lastrevid":92105024,"modified":"2026-06-05T00:52:52Z","type":"item","id":"Q5300891","labels":{"en":{"language":"en","value":"System F i"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182510"}},"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":"Q5300891$899B36AA-7739-4D5B-81ED-E56968BE234D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f049ec1863aa27c8f6cddaee48be1bec424546ca","datavalue":{"value":{"text":"System F i","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300891$63C23EEB-6212-407E-923D-FA76CD465433","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d255863c71684138fdecb2f3b865efc1b0afec70","datavalue":{"value":"1381.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300891$08CA8178-1A57-4D62-9770-4694E627077B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59057f58ee4e7bdaa30051fd6068b46e13540e6d","datavalue":{"value":"10.1007/978-3-642-38946-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300891$E9D069B1-9ABC-4F60-BD6F-576E9E7F4421","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdef4d56dab2040e9e3b90cbb31accfa1cfbb6a7","datavalue":{"value":{"entity-type":"item","numeric-id":2798265,"id":"Q2798265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300891$FF0CFC6F-021B-43DC-913F-9A9F8A7D51B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d68f626b81ca56cdf77c612696c146f6f79bb2e","datavalue":{"value":{"entity-type":"item","numeric-id":1583362,"id":"Q1583362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300891$45E1D04B-75B8-4F13-8591-3C8942B7E12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300891$2F05B0FB-EF30-4989-847D-7A78926C9445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300891$8A2B2599-1B1E-4403-B551-E88BA65F9674","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300891$37E250F0-2231-411F-80D8-4703EE8ABE64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300891$3F3879A9-98A1-429C-8413-3E1C34624E85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300891$93AB99C4-A45F-4A98-B697-1FFB377D7F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300891$765C0275-7EAA-485B-AA7B-E338A83A78C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300891$8B3FAFDD-908D-4545-886C-8D1C09E193A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300891$CC6CF546-1361-4FD0-ADEC-F27DD19F8281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300891$C4757E8A-464E-4901-965D-F20AEC24EE35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f2cccc24a578f56116a46bdd0d919869509ef32","datavalue":{"value":"6182510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300891$CF35573B-1900-41F6-9A25-64FAA1BAC98D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec206b2e10940fa5e27bd2fccd5b7cc6d6fe3b5","datavalue":{"value":"term-indexed data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300891$9C94D77C-220E-4B23-BE8E-0BB5C90A5E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d892a78292e5da0f9bc47dbcc830580299fd6a7","datavalue":{"value":"generalized algebraic data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300891$76F2C029-12B5-418E-862D-DEAB0F7E867C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee20b5996c1f98538fa6b1ed2188937188e760de","datavalue":{"value":"higher-order polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300891$74EB7156-0870-43D6-930D-299CE03561B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43499975cabc0db18a7e5755b2df4ec9f0b646f","datavalue":{"value":"type-constructor polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300891$7E832B44-6B2E-4086-AB7C-E97103F9287A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0c55e197bae3c41cabdbde0c23ea508f4de1c1b","datavalue":{"value":"higher-kinded types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300891$842707C3-9DEB-474A-9246-EE3D97C74205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc969a139461dbee03dd0557722f0200f0b6db6a","datavalue":{"value":"impredicative encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300891$A22975C5-3DAE-482C-9769-919B07B73BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300891$1864A453-DBD4-4671-A9AC-BD5BBFEBE1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dcaee20b2d9c9d3854380f71e500a694f76f764","datavalue":{"value":"logical consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300891$844CD4DA-3A1E-4FDA-B238-CB5FFE641D41","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":"Q5300891$A0E61416-F9E6-4878-80B3-81C19373A0DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c5c8477899b6737411dbed39de055c2d8239a43","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38946-7_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300891$F4D0CF52-AF38-4BE7-B882-86260FDB713D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0895dd1420c7029bf2abc3e8bc6cd4f3d79700dc","datavalue":{"value":"W10033268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300891$96B82927-C10E-494E-8BD4-5201EEE263C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dae860becd9de9724616bcd11df5c39516101a5","datavalue":{"value":{"entity-type":"item","numeric-id":5316622,"id":"Q5316622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303da73cea3897b557e8f5ef59ef6b8636a01c54","datavalue":{"value":{"amount":"+0.8733273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300891$57A52693-CC07-4D43-ABAF-FCDA925A2564","rank":"normal"},{"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":"d933d552ccf096104684363222ac8f522b1169c9","datavalue":{"value":{"amount":"+0.86878514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300891$E1CE5470-D5B9-450A-956D-744E681E1587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4c80a1a444693600c0fbe85cb8e5daca0ebb56","datavalue":{"value":{"entity-type":"item","numeric-id":4703885,"id":"Q4703885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e851fa38a09519d68b19b244cab2eab214932c","datavalue":{"value":{"amount":"+0.84930694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300891$16F31DF1-663B-4B3E-86F8-EF636D7A8BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb3abcce24723edc163c90ff2f955acf81a1bda","datavalue":{"value":{"entity-type":"item","numeric-id":4882489,"id":"Q4882489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886e55dcc3f018cc2953dde9cb3a6a8f8d88a7bf","datavalue":{"value":{"amount":"+0.84566814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300891$62E58982-3514-4BCD-9ED9-68B2CBF5D495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692fce0a8752d40a3a1d33c7db98775f0cfa6240","datavalue":{"value":{"entity-type":"item","numeric-id":5881181,"id":"Q5881181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90919b225423c7e6e46fd3f1d4076ad29c9219f","datavalue":{"value":{"amount":"+0.84065354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300891$7FD41E31-9FD1-4B3A-B718-098FD3A5774A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0baadce94e33045e1554d8e75452c29f55a67f77","datavalue":{"value":{"entity-type":"item","numeric-id":2765372,"id":"Q2765372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f3e3398328a6edf27955279aa55c4184a53a12","datavalue":{"value":{"amount":"+0.8358995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300891$B856EF3C-A854-4CE2-B7AD-BE9A55F62D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b23f757c9584f0eefb90ae44c1a588abdb4ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4896529,"id":"Q4896529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57dc4ab43072eacc0ad410710f5fcf18262f537b","datavalue":{"value":{"amount":"+0.8327786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300891$7B699C51-ACC2-4D35-BF3F-AB7370A75DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a885762a0dea866ecaae8969db5ac5ec05192fc","datavalue":{"value":{"entity-type":"item","numeric-id":4632448,"id":"Q4632448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002137c264813db244a29e78d4a542c27d66e986","datavalue":{"value":{"amount":"+0.83266187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300891$6BF1A129-79A3-4018-AD50-D8E4AB1B1D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60a609f8f045d8527c3d504018e5821d3568dce","datavalue":{"value":{"entity-type":"item","numeric-id":5712302,"id":"Q5712302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe499f166a4a7dcee1262082ba534adeb28ff544","datavalue":{"value":{"amount":"+0.83257794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300891$F06CF139-DF44-4688-BF2E-00CFB98A44B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b045d8cb724ea5c50169abaea653bb5975386127","datavalue":{"value":{"entity-type":"item","numeric-id":1350516,"id":"Q1350516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9496a8f77c9a9d1966767fda2dd9c5e9ee37f4d","datavalue":{"value":{"amount":"+0.8313711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300891$995C62C6-C002-4B58-AD2C-3B61E8D1604C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"System F i","badges":[]}}}}}