{"entities":{"Q6572569":{"pageid":14183724,"ns":120,"title":"Item:Q6572569","lastrevid":95765855,"modified":"2026-06-05T09:43:49Z","type":"item","id":"Q6572569","labels":{"en":{"language":"en","value":"Reflexive tactics for algebra, revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881142"}},"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":"Q6572569$B00FFE26-607F-4977-A02A-C81431D2E368","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f00d764daca04faa2a1ea045f1f909737eba44c9","datavalue":{"value":{"text":"Reflexive tactics for algebra, revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572569$A20E5A44-76AD-4D96-ACFC-40DA6D614282","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b501919147fcd57082a9625dd83a6e83abf9514e","datavalue":{"value":{"entity-type":"item","numeric-id":1648866,"id":"Q1648866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572569$B059F1BD-12E9-486F-8622-0F834D83B61B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572569$83C718F2-0C48-4759-BFAA-5EACC2EB4152","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572569$B99E5F93-B703-44E7-9301-4730800AFDA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba4d6c26c41138cb75240e6fe647f307bd53619b","datavalue":{"value":"7881142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572569$BA56C10E-9870-4F74-B637-02BDE3154C10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572569$B53C9B96-C451-4C5A-85C9-FF52269A4075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2916af33c32ad739d0ce6807c5bea71c8a22f959","datavalue":{"value":"Elpi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572569$5BE31380-4721-4E7A-85BE-FDF01709963E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c0860f607e50db3d17797c14e4805c145c89b0","datavalue":{"value":"\\(\\lambda\\)Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572569$36947CAA-931B-4B1D-8067-C4AD56C70C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d9f573a03b34587dd626cf386eea3e8629f75b","datavalue":{"value":"mathematical components","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572569$837095D1-2FEE-420C-8CA8-2B740A03B74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66565212894f617d9e135f451b753f6472725ee9","datavalue":{"value":"algebraic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572569$743FE91D-6B57-4971-9D0D-53EAD35955A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"590eff6b6d48b5e9b517d1b6a2fe4493b327f1dd","datavalue":{"value":"packed classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572569$6DB7BA7A-7DCE-4902-8ADD-F24CF0BF1F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49189e64e89b129f1d47958296081489c08ad374","datavalue":{"value":"canonical structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572569$940BDC0D-BD60-48D8-B9E6-7A4C87539121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95b67bc981090b288e40939345a46ef449359586","datavalue":{"value":"proof by reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572569$FF738201-0E74-4E4F-A812-A16295432FC0","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":"Q6572569$748CC1ED-5BED-4C5A-9A14-4DFA06361AE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adbaee3c7d6011ff7b2e501f2bcaa4bfc3a58837","datavalue":{"value":"10.4230/LIPICS.ITP.2022.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572569$961EAB31-998B-4FA6-856C-8E16869DD420","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflexive tactics for algebra, revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reflexive_tactics_for_algebra,_revisited"}}}}}