{"entities":{"Q2828241":{"pageid":2838979,"ns":120,"title":"Item:Q2828241","lastrevid":83387708,"modified":"2026-05-07T07:29:35Z","type":"item","id":"Q2828241","labels":{"en":{"language":"en","value":"System F-omega with equirecursive types for datatype-generic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642940"}},"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":"Q2828241$1224325C-0ABE-4E13-9772-BE22607C96E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2a7db1160d0767fa5170beb133bd4393c81cbb8","datavalue":{"value":"1347.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828241$4A2000A8-DA5D-41B1-B182-8EEA3B705ECF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"784aa521101703800fae34b2183a5a710027dbf6","datavalue":{"value":"10.1145/2837614.2837660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828241$AB53C08D-2C9E-4FCF-BBDD-ACA3B88B1E91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96761ab0c44771f754a36f594697d1f367d9adb6","datavalue":{"value":{"entity-type":"item","numeric-id":2343090,"id":"Q2343090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828241$A180DA9D-3ABA-469B-94FD-42D1ED7FFA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cbaa23812e59edd34da290875214683be19b899","datavalue":{"value":{"entity-type":"item","numeric-id":2828240,"id":"Q2828240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828241$AE1CC619-89B7-458F-BAD2-23C4DA54A54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be3eb5c4cd2026f9dab25aa23e26b12f470e2323","datavalue":{"value":{"entity-type":"item","numeric-id":2323965,"id":"Q2323965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828241$49EEC9C3-32AC-48C3-B46B-4821EE61C951","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828241$3C59BAB2-F037-4E7B-B740-F85147CAA122","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828241$E1694A3A-5D37-4F62-A4D3-3C84A5335959","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828241$34F1F1CA-4965-4033-987D-FFA7ED7C95D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828241$A74A28CC-0D0A-4F98-BA13-75603BABFF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828241$8F6CD310-DADD-4E38-B20A-927A3BF04541","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c130e0fc08e476078b13d9a4144cb040ac9d686d","datavalue":{"value":"6642940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828241$740F689D-8168-48E8-8A84-9A20B07FD54A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3559559e14b6b643d292c86b33d8a610597e1217","datavalue":{"value":"datatype-generic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828241$7D1B66E0-F607-4853-AC98-73EC0DD41A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e3216a90fd038dc17c4fa6218ae306116e73e4","datavalue":{"value":"equirecursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828241$7196115C-9955-44CC-BEDD-355CEDB66233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ae2377400284661ec6d82c2d48a16b8df164793","datavalue":{"value":"functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828241$B839C333-55E9-41F9-BBC1-76B4EFF770E5","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":"Q2828241$64249E43-6F61-4DEB-AE3B-C9B2E6F955FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4242c99879dc850ae9061c818b86518cbbb82d9","datavalue":{"value":"https://doi.org/10.1145/2837614.2837660","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828241$59EF2EE2-F81F-4443-B17C-E20457922B63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0c853f7da56a164448e2971c0b08b875a3ebec3","datavalue":{"value":"W2293338131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828241$725FE43A-903A-4ABB-9AB1-B7EC7781B87A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b3c2db9431abc8cc30d243ad083d655b600d4b","datavalue":{"value":{"entity-type":"item","numeric-id":2936822,"id":"Q2936822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2989b2f3d90e0076d5b4806a45ac627866d8fa9f","datavalue":{"value":{"amount":"+0.8699144","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":"Q2828241$C7E6680B-F2B4-4922-A5AB-8008341C1409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3920d60595b82c842b3f7398b11719680c162d0","datavalue":{"value":{"entity-type":"item","numeric-id":4490755,"id":"Q4490755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1920b351d780b904bec74376e192edd7d95b8e9","datavalue":{"value":{"amount":"+0.86657596","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":"Q2828241$BFA97B20-6ABA-4E38-A60E-D794D481DAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc55ff89662a19ca44fc4e65a75d3087d84d21e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329739,"id":"Q1329739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5731a5bc207885a5db50636ff291ecf444bf0ded","datavalue":{"value":{"amount":"+0.86578506","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":"Q2828241$B1FC01DB-395B-46EC-8E1F-C41F7AC24DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8134ca0a3198d2d4940e53fb3a17695b6784e462","datavalue":{"value":{"entity-type":"item","numeric-id":4490735,"id":"Q4490735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6e7ddc28ed85d639cf84e478b63136ef4b4e74","datavalue":{"value":{"amount":"+0.8546138","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":"Q2828241$B39F58E7-B0B6-470C-9A85-4A6410A42387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55900eb0781a5eb21efa65abd1d7d78d1464723","datavalue":{"value":{"entity-type":"item","numeric-id":5140267,"id":"Q5140267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29af59a71e1aabb87060200295a4a37e1fb83ac3","datavalue":{"value":{"amount":"+0.8539316","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":"Q2828241$DE6CA792-94FA-4F75-AB33-178DD2BC7C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404cedddd331acf4bde84a81fd5d201d129e75c6","datavalue":{"value":{"entity-type":"item","numeric-id":3452268,"id":"Q3452268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423a30261a8a4209d5f28f78bfc02fec96a586da","datavalue":{"value":{"amount":"+0.8535136","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":"Q2828241$1D48AA11-CC61-41BB-B7CC-E23F5C46E8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93976a1c4eac2f8655be149b663ea6dcc21b46d","datavalue":{"value":{"entity-type":"item","numeric-id":1884932,"id":"Q1884932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b74cbb1a6ed255db51e91a22039b403a35fdda","datavalue":{"value":{"amount":"+0.8532508","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":"Q2828241$F1EA5098-1F1A-4719-B258-53C428D42289","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff2487b4b344a7816a11236961425a2c4b3d0072","datavalue":{"value":{"text":"System F-omega with equirecursive types for datatype-generic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828241$B6389106-53E7-4BCE-B210-389C16C6EA2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"System F-omega with equirecursive types for datatype-generic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/System_F-omega_with_equirecursive_types_for_datatype-generic_programming"}}}}}