{"entities":{"Q1177938":{"pageid":1188687,"ns":120,"title":"Item:Q1177938","lastrevid":66508878,"modified":"2026-04-12T10:32:10Z","type":"item","id":"Q1177938","labels":{"en":{"language":"en","value":"Metacircularity in the polymorphic \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22509"}},"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":"Q1177938$9CFFF4DA-8858-457C-842A-53AE7DF4083E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3654cd93d1dd7a840282fc2fd050a5d93ccfabd8","datavalue":{"value":{"text":"Metacircularity in the polymorphic \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177938$73244AD8-F67D-4819-ACAA-F11798DE20D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"347e1916854e321622aae9c045d9f4064f56ac40","datavalue":{"value":"0736.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177938$9FCDA407-18F5-47E9-B90C-A76B0E2BAE38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d8ec45ec5b089bac2daf63500aee2cc4a4a2b9a","datavalue":{"value":"10.1016/0304-3975(90)90109-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177938$02D0FF93-EEBB-4984-9376-F8F1E94D4B6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$B166C5BA-B6F9-4AB1-ABCD-90392544FC64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$3B2190BA-F782-4B5C-867F-084F8650B6B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177938$DC9D06C2-DA81-49DE-ABDB-2D0089C917B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177938$9A452C32-CCB3-491D-B869-EF8E24386F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177938$C2A76AA5-6FFC-418B-A531-FDF72517B29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177938$8ABC416A-C8FF-4679-8DDE-400A9DC99A33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab75ce4efb2bc585120541c055456df798c0b2bb","datavalue":{"value":"22509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177938$09F24F5B-6DD6-43E4-ADC9-32DE73DBF01F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a47f1403c88ecfcba9925663505561c678e97dd","datavalue":{"value":"metacircularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177938$F6F29DC1-0FA1-4B0F-AE29-1215D96532A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"530eb471449c092403ef82fcef8249c03fb2c62f","datavalue":{"value":"polymorphic lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177938$A9EBAB5A-6A5E-4799-B8EB-4EDC68356D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0292d7ae2b8e3a14fbdf5d645725bd7a994ae5","datavalue":{"value":"abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177938$50CE5CCC-56FD-4E3D-A173-3B4C3356CE72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$D83BE710-93E4-4860-BCB6-2AC9662B0370","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":"Q1177938$470ECD69-86A9-466C-838A-18978DEFA44E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$91581BEF-36DE-425C-AD9F-F7AC9B6FB0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$155E5760-7BFF-4C57-9706-D4C155788B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$5962A936-89CC-495E-AB14-FD0EAFFAFB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$49C82780-401D-4C5D-9932-C06F5724430E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$3E1BAA71-7FD2-44C0-92DC-E7CCEE82D4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0445152e056b327286215039947692dcc08243","datavalue":{"value":{"entity-type":"item","numeric-id":3789525,"id":"Q3789525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$750F211E-D7D2-471F-957B-9E1AD16D18A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04882dd0098e511c274267f86b00f5c3a4c9815","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$C483235A-DB2C-4B3B-B50A-21A20A01A536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$2EEA9AA2-093E-4A3D-9E89-7C38A6638605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352f7fce03df140efe1bf6ee86c2e7250270ba00","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$BEB2C64A-AC64-4A86-B4F3-ACE45FBDE45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5abb06f902f9ed0fef96835b4d42cff003f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3677139,"id":"Q3677139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$73C7AF06-E7A9-4B09-B906-B43CD5FA239E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177938$9DFEB078-E8C3-4A43-8EFA-B50CF65772B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"729c7e1e07d614ea1fd9e23164e6e20e5b372f93","datavalue":{"value":"https://doi.org/10.1016/0304-3975(90)90109-u","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177938$71918442-EF9A-4F14-AD01-BA89C7388B32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7498abe145c35ad68ddb8e9d1da592fde01afda","datavalue":{"value":"W2018926799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177938$C3B16250-CD92-4FEB-9209-2F60C0E5E058","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6136813fd4775286628acb26535090b935490024","datavalue":{"value":{"entity-type":"item","numeric-id":908683,"id":"Q908683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1fa94b9b06e498f19713272c41bd566ec355153","datavalue":{"value":{"amount":"+0.7851659059524536","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":"Q1177938$F1421133-56AD-44E2-83F8-BF45160A9A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eab334841c1608213227574ab077d5fc0d9a43c","datavalue":{"value":{"entity-type":"item","numeric-id":5370878,"id":"Q5370878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a60f4309a478d0a62ea94c34b4d97ec684dc3e","datavalue":{"value":{"amount":"+0.7403815388679504","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":"Q1177938$0104963E-766F-419C-A632-C25FA1622D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e60eb2f7181c3c209e50762c2ed76e22b7cd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3478384,"id":"Q3478384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9ff5956c64eab0e47662c8641b709a2112054f","datavalue":{"value":{"amount":"+0.7386881709098816","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":"Q1177938$25872EC6-D1BC-4D52-840C-E522DEC1961E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c097eca35bc531bbbb108f2dacb4adb59289e5","datavalue":{"value":{"entity-type":"item","numeric-id":3768869,"id":"Q3768869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e5ebe6dda4f7c0a5382cd5302ee3498bab06b0","datavalue":{"value":{"amount":"+0.7332292795181274","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":"Q1177938$B11DFDD0-19DD-42BF-A820-4FF02B3C587A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7b6e5bdd0ee2463bb86185d60ece2fdb609d8e","datavalue":{"value":{"entity-type":"item","numeric-id":5704020,"id":"Q5704020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31996dfa23d422e99294d4bbe0374d5017d9d341","datavalue":{"value":{"amount":"+0.7325356602668762","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":"Q1177938$479D9924-4AC2-4FD8-AAE0-2F423403084C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Metacircularity in the polymorphic \\(\\lambda\\)-calculus","badges":[]}}}}}