{"entities":{"Q7221982":{"pageid":22313279,"ns":120,"title":"Item:Q7221982","lastrevid":107685416,"modified":"2026-10-27T11:39:15Z","type":"item","id":"Q7221982","labels":{"en":{"language":"en","value":"A Formalization of Abstract Rewriting in Agda"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q7221982$DAD11676-F333-44D0-8216-974986CAE504","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea8258efc0c807aa3a84f12ebcd68838427a662","datavalue":{"value":{"time":"+2026-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7221982$2028CEB9-5B8B-42C8-8DBC-19BCA111C6BB","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"caeba867dc012a330582865ac616eed639eae38d","datavalue":{"value":"2603.10936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7221982$11664310-FF96-49FB-B560-DE754234756A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5198eaf4101ffb2fcc3698915938ad8a62299013","datavalue":{"value":{"entity-type":"item","numeric-id":7221981,"id":"Q7221981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7221982$A400694F-6646-4C84-B7C5-A91A4427FDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75cfcd3b65fca9dabfe6a7a0d6f510ecbd180120","datavalue":{"value":{"entity-type":"item","numeric-id":2200832,"id":"Q2200832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7221982$538B8EC9-99DC-401A-99BF-7DB923C32458","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7221982$47C0574F-7072-439C-A50D-0FA6C37458ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7221982$5C3D7686-E9F8-4610-BE40-F0D7AA04EF39","rank":"normal"}],"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":"Q7221982$04F4E5AC-41D9-417E-8EBC-814626492E51","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":"Q7221982$FA5008F3-8C88-4418-87D4-CB6914734012","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Formalization of Abstract Rewriting in Agda","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Formalization_of_Abstract_Rewriting_in_Agda"}}}}}