{"entities":{"Q5049000":{"pageid":7078577,"ns":120,"title":"Item:Q5049000","lastrevid":40729615,"modified":"2025-04-04T12:17:00Z","type":"item","id":"Q5049000","labels":{"en":{"language":"en","value":"Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614668"}},"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":"Q5049000$68B0C70E-FBA5-4DC7-9509-00F1D83DDDEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31ad339cec03880d1d7aaca30235cd1d49fc3608","datavalue":{"value":{"text":"Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049000$0A6A957D-3F01-47FE-AD2C-B913A719921B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7d276e6826b0ae6e9b2de0eed72cac4bc489238","datavalue":{"value":"10.1007/978-3-030-51054-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049000$0E003256-3F49-4590-B5C0-250F22DEA1B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3c291df03a419ad607193564ffbbd8a95a4cc24","datavalue":{"value":{"entity-type":"item","numeric-id":2055900,"id":"Q2055900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049000$3064D237-999B-4446-91CE-22E96457E7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049000$F6081955-128F-47DB-8340-B8226E0CC4A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049000$FA7F8797-3B53-443C-939E-FF1B76495095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5049000$F8DDB196-9879-4F7B-B639-FB19B658B3B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049000$A56F2FC8-EF5B-4839-8DFB-951914935B6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11bdcb181432a4dc7bcab681ae46adcacabc3e77","datavalue":{"value":"7614668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049000$8FD6C6AC-B088-4114-8242-D7A3F5BCE683","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":"Q5049000$B7380DDF-B668-484C-A5A3-DBE944E80E55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8bcf789e07edbd6d8f5c03759a0273e2967f37c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049000$B0F56224-A60B-48C6-ACB4-31C03CE2300E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93cb972effb9f440147242cf23f05e88337b944a","datavalue":{"value":"W3040625350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049000$F58F8172-2CD5-4EDE-94F2-938B4B7EEAA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"526569e2045d88153ecb5cf7f75a680cdcd5a85b","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049000$7698CCA7-1F23-4731-B59A-7BC7651E2F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049000$1F87E130-995B-4005-8795-4349AC498529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049000$503EA238-965E-474A-A1F2-AD70547E35CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0c249e7d3e5e2276960ba48719e9b8c66ba3fb","datavalue":{"value":{"entity-type":"item","numeric-id":5094129,"id":"Q5094129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049000$2D3C3565-FB81-4E1F-8A78-BC42AF28898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbc23e44e1a356be8ada1ddcffaf66d980bb170c","datavalue":{"value":{"entity-type":"item","numeric-id":2672659,"id":"Q2672659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aee0335131e0472f93bcd73ba1909359a68675e","datavalue":{"value":{"amount":"+0.88715833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049000$70794D49-9292-4064-99D8-D29F61E08108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d188b1150b762f3fef3bd2e99032e5abd352fb4","datavalue":{"value":{"entity-type":"item","numeric-id":4945207,"id":"Q4945207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd46bf64023afe727bc18be8e6b595d392a17724","datavalue":{"value":{"amount":"+0.8558321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049000$E60CCE4E-A2CA-4588-A09C-437CD5EB2A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f183308078f52a9809a1e7cc50dd85d7acf55c9","datavalue":{"value":{"entity-type":"item","numeric-id":6061878,"id":"Q6061878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218307fcfdab901ed7e1518a2a09f0caa7950b65","datavalue":{"value":{"amount":"+0.83994293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049000$DC691364-E3E7-4D06-9E27-F2FF864B2EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b18f1bcee5a559e76e86ee84dd5601244af54f6","datavalue":{"value":{"entity-type":"item","numeric-id":909488,"id":"Q909488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9036c5c9fd86e2615f5a5d7e9b449ce354f3c8f3","datavalue":{"value":{"amount":"+0.83839667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049000$AC856775-305A-4A17-A988-7019C230185D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c791a281cb97f86a3414315ed7b9b81a743f25","datavalue":{"value":{"entity-type":"item","numeric-id":5053009,"id":"Q5053009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb6c975cc227fd57530f085c1dffdb344d45aed","datavalue":{"value":{"amount":"+0.8381052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049000$79C8AA29-1597-4D6B-B3C8-DCE2E7041D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116ae40af25df1caab31ce7865056cc8623f9e19","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac9d8f1ed282e688b0c568f8f8068bab0c94d83","datavalue":{"value":{"amount":"+0.8353809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049000$8700AABE-C71F-4211-828D-8D6EB28820E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c0e4996fa4fa732707b33cff8f2c5c612917a0","datavalue":{"value":{"entity-type":"item","numeric-id":757077,"id":"Q757077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5263d162a7bf2b48a6ecc1ee15f7bd276752ec8","datavalue":{"value":{"amount":"+0.8346796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049000$CA69C64D-FEE0-409D-A141-A4007C0F63F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7749ce0df38bddf483bd048f5b50b6dc7c8d02c","datavalue":{"value":{"entity-type":"item","numeric-id":5494313,"id":"Q5494313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fa2d24b3082f82431e2f35087930e7eb720362","datavalue":{"value":{"amount":"+0.8337503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049000$DE1754F0-4253-46B1-AB48-0837A90B73EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee587041bd51b390588853fbdc48e5ebdfa9d1d","datavalue":{"value":{"entity-type":"item","numeric-id":4267721,"id":"Q4267721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c20d50d4bba9db608ec9f7fee6989ebef332926","datavalue":{"value":{"amount":"+0.83344364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5049000$CD280AE5-5A63-4496-8716-7309486D2D2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049000","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049000"}}}}}