{"entities":{"Q2828238":{"pageid":2838976,"ns":120,"title":"Item:Q2828238","lastrevid":83655743,"modified":"2026-05-07T09:44:33Z","type":"item","id":"Q2828238","labels":{"en":{"language":"en","value":"Breaking through the normalization barrier: a self-interpreter for F-omega"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642938"}},"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":"Q2828238$60BE882F-05EB-45C7-A53D-E11338191D86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b33e9bc7e0c2f5bb82a115698b6b6498df6ac120","datavalue":{"value":"1347.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828238$3642EC38-C23C-4B72-B870-3E6B3FA51B08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03859b252661001a3af4fa9c29b6d6715767cd4d","datavalue":{"value":"10.1145/2837614.2837623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828238$E0E79EBE-E0F1-4AF9-A517-E8927ADAF5F8","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":"Q2828238$AA140F00-EBD7-47E4-8EB5-2CC66D15D77A","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":"Q2828238$B9C8CC02-73F8-4196-A1ED-9FF136C6EEB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828238$75504F8B-50F6-464C-B7B4-B00F88993113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828238$BE689A14-36A8-4BF7-B728-EEFD7E5AF2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828238$AA7F08F8-9D99-475B-B40C-4B983253A964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828238$01D2A8DD-E9CF-4042-A2C8-CC13229EE805","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afc014aae518bfd6bb4a67055da9375d78f6e337","datavalue":{"value":"6642938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828238$7B0352AE-412C-4D39-9669-5EDA6731F6F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828238$2FF2838C-AE94-40F9-AB6D-ACF71EF1F865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ba66c71e3c9c370a93e15446b7b1c42c576db0","datavalue":{"value":"meta-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828238$085747C5-7227-4389-BA5F-C3EC7CAA3ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f33462de83f3c8ec0e31225526023938cc84f587","datavalue":{"value":"self-interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828238$F06BAF92-F888-4EDA-A3B3-91699F4C9BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b88aa5664731ac63b3d1fcc6a0091c5b458deab9","datavalue":{"value":"self-representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828238$08DAF0D5-08FD-42AC-8971-AA606A42BF86","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":"Q2828238$0704AD20-E8C9-4BD9-94D3-82175870C8A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb0ad091bef836c03ef6cbe212bbe2a30b14539d","datavalue":{"value":"https://doi.org/10.1145/2837614.2837623","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828238$6790044B-31A1-448C-A34D-3B3CED4590A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62954e98ca16b94158e8dce4170a8ef86682c09c","datavalue":{"value":"W2295655199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828238$743B0BA2-3625-43CE-A909-6AA126BD723B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a54330371a2f4c52e0c86f8a511f238e1d2b52","datavalue":{"value":{"entity-type":"item","numeric-id":4283231,"id":"Q4283231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8064fff96a000ea5e0942fe50f0f1802d39a1a7b","datavalue":{"value":{"amount":"+0.7980919","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":"Q2828238$C044C4FF-74A1-4510-A380-CEC41776F904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d24e500c7ea621a4b7172a4d1e9ce957721d70","datavalue":{"value":{"entity-type":"item","numeric-id":3558340,"id":"Q3558340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ee9e802a7a9cd08929412a827a3d65574a26a0","datavalue":{"value":{"amount":"+0.7741219","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":"Q2828238$68B88BCD-E36E-4178-BFD6-830D3AD4727D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b33377db07332cc929dc466c09021761dadca1c","datavalue":{"value":{"entity-type":"item","numeric-id":5889884,"id":"Q5889884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9a1f4b50cb285f293fa5f0e6c1482058e5d395","datavalue":{"value":{"amount":"+0.773429","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":"Q2828238$5A5D13E4-48CA-418D-9E94-6456E9ECCD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4561662ea25861eee8a7823dfb783e1751d20ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2778820,"id":"Q2778820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c482222c927e8c850e840f61d10fc6a6ad88d75","datavalue":{"value":{"amount":"+0.7729499","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":"Q2828238$AD102540-D066-43B0-974C-DD5E5CF6FFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f1902b497ac492d7872d5aa8f09b7af8f8de37","datavalue":{"value":{"entity-type":"item","numeric-id":5881209,"id":"Q5881209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f0ee72d9f77a95a136773789156328595979e2","datavalue":{"value":{"amount":"+0.7623172","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":"Q2828238$B3CC4FE2-5B17-47AC-9364-B4877498007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97fcd6bedcf020abfcbc75c6952c9965b64f8f52","datavalue":{"value":{"entity-type":"item","numeric-id":3004595,"id":"Q3004595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffb015e4e20f9189b9510529824562528fa838c","datavalue":{"value":{"amount":"+0.7610515","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":"Q2828238$965529F5-BAC5-4884-A268-3541DA567E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aadfa86451afae3efec984c4829a469ac4dca4e","datavalue":{"value":{"entity-type":"item","numeric-id":5717056,"id":"Q5717056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74fd2bf943f59c64da25704e616ce83836f6ad3","datavalue":{"value":{"amount":"+0.76062775","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":"Q2828238$312964A0-88C9-4E4C-9817-2DEAEEC02887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834756c65b022b24a5bd575f5aba6ccba57cf47d","datavalue":{"value":{"entity-type":"item","numeric-id":4719378,"id":"Q4719378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b42a0de49c300cfaa36cb48285e894dfc00695","datavalue":{"value":{"amount":"+0.7588265","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":"Q2828238$33F567A8-0DDC-4734-A3B4-4DAEE84D46D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb14c3611ef288786bdc24e8e8433e8dccbf6833","datavalue":{"value":{"entity-type":"item","numeric-id":3644739,"id":"Q3644739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7d057e1fb5d0f90f2a64d71ee805fb50439ce1","datavalue":{"value":{"amount":"+0.7569833","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":"Q2828238$695590A7-26C1-4348-AAE9-3A84670C5A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d42fe49bfdcf25b8a646b75d36b1c49087f911e","datavalue":{"value":{"entity-type":"item","numeric-id":3422018,"id":"Q3422018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb643aca6b9d1e86c3a21832e108d09592877dc","datavalue":{"value":{"amount":"+0.75643057","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":"Q2828238$0EFF9B68-AA51-4322-809B-16802B896C2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63c927b67d5a0f08f468ab1264f7b29c22e74a89","datavalue":{"value":{"text":"Breaking through the normalization barrier: a self-interpreter for F-omega","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828238$835AABB5-9B43-47F4-8652-E8E8308EFC26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd18b70e459781c2d15e9fdb878e56852d344ae0","datavalue":{"value":{"entity-type":"item","numeric-id":6229362,"id":"Q6229362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828238$CD10FF96-0CF9-4C27-9889-1BB128C5C4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f811e3f3dcab3f43bc2cac5f5c769c98be55f5","datavalue":{"value":{"entity-type":"item","numeric-id":672458,"id":"Q672458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828238$74C4CC14-6737-443D-AAA8-2342593644E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Breaking through the normalization barrier: a self-interpreter for F-omega","badges":[]}}}}}