{"entities":{"Q5094129":{"pageid":7123705,"ns":120,"title":"Item:Q5094129","lastrevid":100199486,"modified":"2026-06-05T21:36:02Z","type":"item","id":"Q5094129","labels":{"en":{"language":"en","value":"Beyond notations: hygienic macro expansion for theorem proving languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566057"}},"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":"Q5094129$6B274010-21CB-4722-B7B9-B02E8D6963E2","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":"Q5094129$6BF8E3E3-5E44-4884-9844-2F560F4FA11A","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":"Q5094129$EE71AE8A-8CA3-40A3-895C-F18A71260F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad9afbe138412ffaaaf6109d22a748c988081a7b","datavalue":{"value":{"time":"+2022-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5094129$71CD74A5-CA92-46CE-A088-1D3DE87CC2CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31ba691b9e6fa49f09d7db47f7579389aae95929","datavalue":{"value":"https://arxiv.org/abs/2001.10490","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094129$C6E8C0EF-961D-4567-A9D3-FFBC8DE04968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"44a3bc096369723229cd000fe18e9dbcbe12f306","datavalue":{"value":"https://lmcs.episciences.org/9362","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094129$650E7DE2-8999-4F31-ACBC-E668592C56FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094129$9C593185-D028-4519-8D1A-D4589B9CDA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094129$75F22E96-1C84-4E3F-9B4B-A0AB97F1E77B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23a027d8451bbb2fbf65114b689315db920e1557","datavalue":{"value":"7566057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094129$0FAEC26F-1137-423A-81C7-CDE3F9C56315","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c261aad1320bd1be59bcc3eddd0eba6b4283c7bb","datavalue":{"value":"lean macro hygiene","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094129$83798548-3D08-402C-A0DD-F4CB7E1D994D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2e87d897ce5d80b030b7930ad6e7942edbeeaaf","datavalue":{"value":{"entity-type":"item","numeric-id":24996,"id":"Q24996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094129$D42DCD1F-3038-428C-AEEA-209E873681EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094129$C218CA6D-CE56-46CE-AB1F-6C511C33FECF","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":"Q5094129$C92249FD-07D2-4ECE-B53F-6BC3E760991B","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":"Q5094129$159303D4-A887-4D1B-8529-50E862CCEED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094129$FB6F27EE-0F9F-4B3F-BC3D-E41F0301DD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8a6a7f4a099b96912e5cba667c8ca70d007bb8","datavalue":{"value":{"entity-type":"item","numeric-id":287365,"id":"Q287365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094129$E61AB370-B8A0-44B1-B1D4-3F10D9B88F82","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":"Q5094129$031C6A9D-1F66-49F8-8A4B-FC0BAAC8B5DF","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":"Q5094129$37891C7C-3CE8-4B09-9D77-C96D0AD8A6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82cb1e257dda662945ebd1839cf365c3833f0da","datavalue":{"value":{"entity-type":"item","numeric-id":5094129,"id":"Q5094129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094129$47CCE259-971E-44EA-A707-19F936BA8404","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965f231a90752300703f9c058a4753d30c2b2cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5049000,"id":"Q5049000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1a0c176b9039a6de5abd6480e48cb24d7291a7","datavalue":{"value":{"amount":"+0.9952391386032104","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":"Q5094129$8784A4FE-D4D3-421F-B9C1-CF1E631BF4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91775f01ba4c25b2d967362cbd663ccac7d40c92","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb300c9f4a24056ce1672f7534d8af440ed68a95","datavalue":{"value":{"amount":"+0.7445179224014282","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":"Q5094129$C7690096-0BD9-44A8-9F14-2EFF3C9C0F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952dd0313ffcdf0b91b490f0739b8e7d073d048d","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fedf234cb09642b08817956b07ddbc88f6305eb1","datavalue":{"value":{"amount":"+0.6947574615478516","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":"Q5094129$9DD5864D-40AC-403D-9511-79E16BC5064C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8fc519c81890f963ff41e9abebedea516f59fd","datavalue":{"value":{"entity-type":"item","numeric-id":5371944,"id":"Q5371944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f657be3586a3aaf3806cf6d39ce440dbbb8ecbb1","datavalue":{"value":{"amount":"+0.6773019433021545","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":"Q5094129$8296F8A3-2C6B-4914-9B29-A27C7EB57661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d02c01b16dad0598c1db2341a00c943470b3588","datavalue":{"value":{"entity-type":"item","numeric-id":5458385,"id":"Q5458385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e9eee395db35fc99e208d0c1859c22c3fc04ec","datavalue":{"value":{"amount":"+0.6738379001617432","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":"Q5094129$FD4D43CA-7825-4BBF-B8D9-66EFD016E371","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Beyond notations: hygienic macro expansion for theorem proving languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Beyond_notations:_hygienic_macro_expansion_for_theorem_proving_languages"}}}}}