{"entities":{"Q5501464":{"pageid":7531024,"ns":120,"title":"Item:Q5501464","lastrevid":52319759,"modified":"2026-01-21T10:50:50Z","type":"item","id":"Q5501464","labels":{"en":{"language":"en","value":"Mechanized meta-reasoning using a hybrid HOAS/de Bruijn representation and reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6469480"}},"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":"Q5501464$CBA605D2-F4BD-4C9F-B03E-9C3E9BE09554","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d91a81b7c60a6edc1865db71f322c44a62838203","datavalue":{"value":{"text":"Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5501464$11714792-C3B0-4B67-9EE8-D9C810740F81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"819713bc3d477effa224dd041e64e10420aa79d7","datavalue":{"value":"1321.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501464$EAA80722-DDD9-48E6-84F6-3C52E5BA2D03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d38b07b4306399531adaa921b112b7f96a0e0cb","datavalue":{"value":"10.1145/1159803.1159826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501464$24C69E62-B83D-4735-B287-56B614F67A15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69415f9cb2bdcd5ee0c076af334d1a1d2499c85","datavalue":{"value":{"entity-type":"item","numeric-id":5501454,"id":"Q5501454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501464$5B24CA82-FCFD-4A0C-848C-C70E9E781CAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80468e64804c1b89fefb2ee4bac60a8b1364b55b","datavalue":{"value":{"time":"+2015-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5501464$84829D59-9908-4DF6-B82E-87A0209C05B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501464$C7BEFD93-D5CE-4DFD-961C-73DB41320777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501464$C365331C-5AAB-46DD-A39F-7AAB1417F1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b7c313999abf38e2158ee1358188631e8bb7193","datavalue":{"value":"6469480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501464$66FB2721-1355-4039-9D51-A3422A9F50AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501464$F4BBB974-C9A4-4538-8CB2-03236BE85988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99de118b7262da381e77ffe40e8f93933f193fca","datavalue":{"value":"languages with bindings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501464$D0C26372-E31F-4039-B2FC-1FE528AD7E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fece5b20889a2078780548497bf4af8c0810a216","datavalue":{"value":"mechanized reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501464$1562DA0F-21EC-4407-A567-AF73E9513B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a900f8b49d829f483bbdc0ab592dbc55362613","datavalue":{"value":"meta-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501464$C5060D46-3B23-4B7D-BE67-D5DDD06E6A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f253792cf53496a2d1de160e901284465ff597","datavalue":{"value":"MetaPRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501464$03319A1C-A2CC-44F4-93E3-AE41D53C2ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e686a41d01a468db385452624afe2f1a7127b02","datavalue":{"value":"NuPRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501464$8581D08E-CEAB-4F28-B943-F6FE8D611CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501464$27C1E804-0DE7-4782-AE0B-BDB59FF37161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501464$7DA7A353-EB95-437F-A65F-43212FB2B071","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501464$5F6A6A47-0FAE-48B4-88AB-D23B9F0F9366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef5f048f2ff970244195639e7bcf4e64ea5e666","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501464$5DE3BF41-667F-4C9B-86D0-D2A21FFECE82","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":"Q5501464$E0C2BA48-D0CB-4AE9-B770-8BEC3A232D83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11d45f0424d202c77c958b859d1c615f86f84d65","datavalue":{"value":"https://doi.org/10.1145/1159803.1159826","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501464$D19D4CE7-4BA1-4F06-B90B-A8ACCA1797FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cd7e2385fea9773721486d64c9e6b47c5e75833","datavalue":{"value":"W2081798440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501464$6CF67B53-39AB-4E16-B28E-1BA182BEA070","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ca390a037376bf0ee9810968554a6a01295767","datavalue":{"value":{"entity-type":"item","numeric-id":2892744,"id":"Q2892744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad5c133c12f0f3b28c1d6db87abdac87b4e50e1","datavalue":{"value":{"amount":"+0.7726650238037109","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":"Q5501464$AE59A065-8732-4535-B3F1-2E357D72E0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba24dbc87145dcfa5054973152a32e0554098f4","datavalue":{"value":{"entity-type":"item","numeric-id":3612436,"id":"Q3612436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7738c5a4464bfe1675882c052b0153670bb9cdc4","datavalue":{"value":{"amount":"+0.7664676904678345","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":"Q5501464$BCDE386E-57D4-4F97-8FC7-65270FE43C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbd805b7b44902c13309d5bd3b30627095ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fa48c5a9b7c5a7fc81818d95749d5528a22663","datavalue":{"value":{"amount":"+0.757621169090271","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":"Q5501464$79488C60-E86B-418E-83A0-6C0FFD89E554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d14c5f583bbe183a2a9218377e2112b0214198","datavalue":{"value":{"amount":"+0.7549601197242737","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":"Q5501464$4AB40620-D8BE-4CD1-96EC-660106519F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7140a2ae246559fc814817943371da5d5e1056","datavalue":{"value":{"entity-type":"item","numeric-id":2323447,"id":"Q2323447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54a0f8aa56da28107ce6c9c9a218f9e51b1d93c","datavalue":{"value":{"amount":"+0.7522284388542175","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":"Q5501464$04F48AE2-33B9-474D-B226-E75162611A8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501464"}}}}}