{"entities":{"Q2552799":{"pageid":2463510,"ns":0,"title":"Q2552799","lastrevid":2460388233,"modified":"2026-02-03T16:27:32Z","type":"item","id":"Q2552799","labels":{"zh-hans":{"language":"zh-hans","value":"\u7cfb\u7edfF"},"zh-hant":{"language":"zh-hant","value":"\u7cfb\u7d71F"},"zh-hk":{"language":"zh-hk","value":"\u7cfb\u7d71F"},"ja":{"language":"ja","value":"System F"},"pl":{"language":"pl","value":"System F"},"el":{"language":"el","value":"\u03a3\u03cd\u03c3\u03c4\u03b7\u03bc\u03b1 F"},"fr":{"language":"fr","value":"syst\u00e8me F"},"en":{"language":"en","value":"System F"},"hr":{"language":"hr","value":"Sustav F"},"it":{"language":"it","value":"Sistema F"},"zh":{"language":"zh","value":"\u7cfb\u7edfF"},"ru":{"language":"ru","value":"\u0421\u0438\u0441\u0442\u0435\u043c\u0430 F"},"nl":{"language":"nl","value":"System F"},"eo":{"language":"eo","value":"Sistemo F"},"uk":{"language":"uk","value":"\u0441\u0438\u0441\u0442\u0435\u043c\u0430 F"},"tr":{"language":"tr","value":"Sistem F"}},"descriptions":{"en":{"language":"en","value":"typed lambda calculus"},"eo":{"language":"eo","value":"formala komputa sistemo"},"uk":{"language":"uk","value":"\u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0442\u0438\u043f\u0456\u0437\u043e\u0432\u0430\u043d\u043e\u0433\u043e \u043b\u044f\u043c\u0431\u0434\u0430-\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044f"},"fr":{"language":"fr","value":"lambda-calcul typ\u00e9"}},"aliases":{"ja":[{"language":"ja","value":"\u30b7\u30b9\u30c6\u30e0F"}],"fr":[{"language":"fr","value":"Systeme F"}],"it":[{"language":"it","value":"Lambda calcolo di secondo ordine"}],"en":[{"language":"en","value":"polymorphic lambda calculus"},{"language":"en","value":"polymorphic \u03bb-calculus"},{"language":"en","value":"second-order lambda calculus"},{"language":"en","value":"second-order \u03bb-calculus"},{"language":"en","value":"F\u2082"},{"language":"en","value":"F2"}],"zh":[{"language":"zh","value":"System F"}],"ru":[{"language":"ru","value":"\u043f\u043e\u043b\u0438\u043c\u043e\u0440\u0444\u043d\u043e\u0435 \u043b\u044f\u043c\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435"}],"eo":[{"language":"eo","value":"plurforma lambda-kalkulo"}],"uk":[{"language":"uk","value":"\u043f\u043e\u043b\u0456\u043c\u043e\u0440\u0444\u043d\u0435 \u043b\u044f\u043c\u0431\u0434\u0430-\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044f"},{"language":"uk","value":"\u043b\u044f\u043c\u0431\u0434\u0430-\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044f \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u043f\u043e\u0440\u044f\u0434\u043a\u0443"},{"language":"uk","value":"\u043f\u043e\u043b\u0456\u043c\u043e\u0440\u0444\u043d\u0435 \u03bb-\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044f"}]},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"73a9dc406a6e4834c8cd73a9d0adf956857aeb86","datavalue":{"value":{"entity-type":"item","numeric-id":242028,"id":"Q242028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2552799$d5bd0a83-47e4-b384-a0c5-09fb9cb28c8d","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"f981b06f7ff1041d7bca19e20abf77501d92c129","datavalue":{"value":{"entity-type":"item","numeric-id":2607208,"id":"Q2607208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2552799$9ff2ffe8-47b4-5206-30f3-a331dfeb3118","rank":"normal"}],"P646":[{"mainsnak":{"snaktype":"value","property":"P646","hash":"433435c56e916ed217b40b6e77e5f5fc7507814f","datavalue":{"value":"/m/039vd_","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2552799$6B418C93-6864-4B14-9B17-634833BAD833","rank":"normal","references":[{"hash":"2b00cb481cddcac7623114367489b5c194901c4a","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a94b740202b097dd33355e0e6c00e54b9395e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":15241312,"id":"Q15241312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P577":[{"snaktype":"value","property":"P577","hash":"fde79ecb015112d2f29229ccc1ec514ed3e71fa2","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P577"]}]}],"P61":[{"mainsnak":{"snaktype":"value","property":"P61","hash":"6a0837caa41d9c46cac86e3ab6d8d5b26091046b","datavalue":{"value":{"entity-type":"item","numeric-id":3087821,"id":"Q3087821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P575":[{"snaktype":"value","property":"P575","hash":"fb6f46929a1b3fe84336caf2043939e906709259","datavalue":{"value":{"time":"+1972-01-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P575"],"id":"Q2552799$2c4df57b-461e-4de9-0cc9-e87fa6090d66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P61","hash":"035c2e67dcead8f6f725c549d67839c68dbebb3d","datavalue":{"value":{"entity-type":"item","numeric-id":3719620,"id":"Q3719620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P575":[{"snaktype":"value","property":"P575","hash":"cb1b4e906ee18b211f271b941b2294b1c5a67fdc","datavalue":{"value":{"time":"+1974-01-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P575"],"id":"Q2552799$3942f137-4d66-9630-cb2c-0e0ac2f89c17","rank":"normal"}],"P6366":[{"mainsnak":{"snaktype":"value","property":"P6366","hash":"0d5cd5424536a2eeff995476b2e4cef63a4a0ffe","datavalue":{"value":"55128367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2552799$144D70DF-76BF-4CA0-AA35-8D48DEEA153E","rank":"normal"}],"P1889":[{"mainsnak":{"snaktype":"value","property":"P1889","hash":"85c1d70e040b1583086f037f9bdc4eab454e523d","datavalue":{"value":{"entity-type":"item","numeric-id":311157,"id":"Q311157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2552799$EAEE445D-49AE-4310-916D-EE183042ACF5","rank":"normal","references":[{"hash":"926fabb61c81ce89f01297ed8f89aab85d1f1e43","snaks":{"P143":[{"snaktype":"value","property":"P143","hash":"39224a9c2e8ce5424defbd16603d25771956c7fc","datavalue":{"value":{"entity-type":"item","numeric-id":1551807,"id":"Q1551807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P4656":[{"snaktype":"value","property":"P4656","hash":"2eb38b72dcfe816aab4aabeea18f2fe3963afc2e","datavalue":{"value":"https://pl.wikipedia.org/w/index.php?title=System_F&oldid=38178506","type":"string"},"datatype":"url"}]},"snaks-order":["P143","P4656"]}]}],"P10283":[{"mainsnak":{"snaktype":"value","property":"P10283","hash":"2f00f35ac3b7f39818c17162b05a03cd5dbbc2ce","datavalue":{"value":"C55128367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2552799$740A626A-CFD1-4FE8-9592-94045286BDC4","rank":"normal","references":[{"hash":"e0b27d817c9a9b3247df341000fc490bafcba862","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"4a4f26a5361b5707266e48e425bf2be2f99fd2ab","datavalue":{"value":{"entity-type":"item","numeric-id":107507571,"id":"Q107507571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"435834d08182bb9f3dbe974ba9840af0f12899cc","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}],"P854":[{"snaktype":"value","property":"P854","hash":"a4a4bf53f22268815c51ec10fed608da703c9c7f","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}],"P1065":[{"snaktype":"value","property":"P1065","hash":"3134281f51e2490f88272d53c56ee95d9cc24e2c","datavalue":{"value":"https://web.archive.org/web/20220125070108/https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}],"P2960":[{"snaktype":"value","property":"P2960","hash":"f7ff3a0de7f9571ecb5e0740cba4122c6703e1ec","datavalue":{"value":{"time":"+2022-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813","P854","P1065","P2960"]}]}]},"sitelinks":{"zhwiki":{"site":"zhwiki","title":"\u7cfb\u7edfF","badges":[],"url":"https://zh.wikipedia.org/wiki/%E7%B3%BB%E7%BB%9FF"},"jawiki":{"site":"jawiki","title":"System F","badges":[],"url":"https://ja.wikipedia.org/wiki/System_F"},"plwiki":{"site":"plwiki","title":"System F","badges":[],"url":"https://pl.wikipedia.org/wiki/System_F"},"elwiki":{"site":"elwiki","title":"\u03a3\u03cd\u03c3\u03c4\u03b7\u03bc\u03b1 F","badges":[],"url":"https://el.wikipedia.org/wiki/%CE%A3%CF%8D%CF%83%CF%84%CE%B7%CE%BC%CE%B1_F"},"frwiki":{"site":"frwiki","title":"Syst\u00e8me F","badges":[],"url":"https://fr.wikipedia.org/wiki/Syst%C3%A8me_F"},"enwiki":{"site":"enwiki","title":"System F","badges":[],"url":"https://en.wikipedia.org/wiki/System_F"},"hrwiki":{"site":"hrwiki","title":"Sustav F","badges":[],"url":"https://hr.wikipedia.org/wiki/Sustav_F"},"itwiki":{"site":"itwiki","title":"Sistema F","badges":[],"url":"https://it.wikipedia.org/wiki/Sistema_F"},"ruwiki":{"site":"ruwiki","title":"\u0421\u0438\u0441\u0442\u0435\u043c\u0430 F","badges":[],"url":"https://ru.wikipedia.org/wiki/%D0%A1%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0_F"},"ukwiki":{"site":"ukwiki","title":"\u0421\u0438\u0441\u0442\u0435\u043c\u0430 F","badges":[],"url":"https://uk.wikipedia.org/wiki/%D0%A1%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0_F"},"trwiki":{"site":"trwiki","title":"Sistem F","badges":[],"url":"https://tr.wikipedia.org/wiki/Sistem_F"}}}}}