{"entities":{"Q3189856":{"pageid":3200564,"ns":120,"title":"Item:Q3189856","lastrevid":52089239,"modified":"2026-01-20T22:15:56Z","type":"item","id":"Q3189856","labels":{"en":{"language":"en","value":"A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344241"}},"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":"Q3189856$CC5B6229-27AA-473C-AAEE-DA4944420A99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b99d7f1627afbc2f67fc125cf186bfcda038132e","datavalue":{"value":{"text":"A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189856$3BB44696-D767-4FB4-B073-D865F27F3351","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"386f870834e0508322e35096578e55e4181ddb36","datavalue":{"value":"1295.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189856$60D3401B-308A-49E0-BFF9-C188BE867165","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8417354f88376f4aace0895d4fc02a63ce7bd3cc","datavalue":{"value":"10.1145/1328438.1328483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189856$15209140-B6AE-433F-A440-145170C55E98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189856$96466ECB-B43A-49C7-9C2E-95AA8BC9BA1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8fe873188e189663cac05fcfed6950f35ec1950","datavalue":{"value":{"entity-type":"item","numeric-id":3189819,"id":"Q3189819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189856$3D662B77-9B4B-405D-AC58-F07074E36651","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189856$5D394D1E-384C-4B3E-8D82-21F47E6C7D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189856$5861E4C1-9CA7-4024-A596-139E04F48754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189856$25CAF766-180D-4ADE-916B-E245E0DC71F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189856$8504AAC0-4EB5-4779-89A8-35233EE5CEA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee62e7712a4d54e0b6ecdd17d16fa4b8de0b5345","datavalue":{"value":"6344241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189856$30098444-A318-4FCA-8CE6-6F4CA8A72E59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189856$02EAA8E1-B211-48A2-AD47-2D68F79BD437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189856$4AAAFC10-308A-4F67-91B3-11E4567AC0BE","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":"Q3189856$C1F0AD0D-913B-4861-B26A-96E594140668","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aec06028dc901af4e9294fdb7c83c4eb7ea7048b","datavalue":{"value":"https://doi.org/10.1145/1328438.1328483","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189856$C3F7D9A2-A609-4C0E-B0AA-8549021F975C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d750d6d4ebf19cf2b9abf8544b383b466703f875","datavalue":{"value":"W2039769798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189856$9E8FBC47-A623-44D8-B8BB-2772EA55E4CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25b8f52428493ccf7994fe2ced0015cf3204118","datavalue":{"value":{"entity-type":"item","numeric-id":2866332,"id":"Q2866332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e91e9958ebd608040605da6f5de3003cd0db5a4c","datavalue":{"value":{"amount":"+0.8427380323410034","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":"Q3189856$8643C83B-BB4C-476A-A1AD-6509D93123BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc43cb7f312071225df0e3e6081b9fe2cce13e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5458389,"id":"Q5458389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43973de4e10ae43c0cc927e2eae6e2f0d29574e","datavalue":{"value":{"amount":"+0.8149490356445312","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":"Q3189856$8628FF95-0DA3-4AF9-B753-DB356DC00BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c581e669ae9408182aff3af608d0ce1c9f3579f4","datavalue":{"value":{"entity-type":"item","numeric-id":5747671,"id":"Q5747671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1a7dc60d27858464286132218ffe021177c807","datavalue":{"value":{"amount":"+0.7893029451370239","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":"Q3189856$A584C21A-250A-46ED-9AB2-02D72C508DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ec66fa9b1c1b00857d6d8adde14a14b665361d","datavalue":{"value":{"entity-type":"item","numeric-id":1854398,"id":"Q1854398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e364527d544ef61580a8709053b7cd3378a43c","datavalue":{"value":{"amount":"+0.7642438411712646","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":"Q3189856$C48DEE52-1D3A-48CC-B55A-3C765DA1E596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee810cd1ca3ee8d3e27add81649689a382c313e2","datavalue":{"value":{"entity-type":"item","numeric-id":5195262,"id":"Q5195262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2257025cef727b2d48f7c85999a6228bc13485","datavalue":{"value":{"amount":"+0.7640074491500854","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":"Q3189856$DE63141A-22BA-4059-9F2D-5D1D8916944A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3189856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3189856"}}}}}