{"entities":{"Q3883561":{"pageid":5913466,"ns":120,"title":"Item:Q3883561","lastrevid":54614171,"modified":"2026-01-29T14:32:59Z","type":"item","id":"Q3883561","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3688776"}},"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":"Q3883561$56352354-46E0-4B03-A86E-9C03C041BCA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13bf64505f921b112d2c2987236b16ad27e3e223","datavalue":{"value":"0441.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883561$432FDA7D-A47E-4921-8B49-75531FDEF0C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6241907e2e0c1059723f7f49c889f54b0a9f6a21","datavalue":{"value":{"entity-type":"item","numeric-id":789176,"id":"Q789176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883561$E08D80F8-6326-4082-8F02-45BFF23098D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3883561$AC31C0EA-2070-45DE-9438-09BD913F6F71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883561$4A499070-38A9-4C5E-9119-95B4D232C3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883561$88AAA427-F31B-456D-A826-CE5BAFE9A16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883561$B276AFD9-E04A-441E-BEE3-D81B23E0DA8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa988445681d57b6b3d9d67181fe684dcbffc118","datavalue":{"value":"3688776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883561$ED06A3ED-9F56-4F36-BCB6-5FB5BA25ECD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883561$8088F390-B382-4443-B9BA-28E165540C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f932219b5bba73b7b113968108c2922905db87e7","datavalue":{"value":"narrowing process","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883561$3798C0E2-64F3-40EA-AAF5-D2C476A9D001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883561$38E43DE4-0DD1-4473-A98F-71FD15257D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0500c160d05c8ea90379359300df5d1d676851","datavalue":{"value":"Fay's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883561$ECAB1A80-11F7-4F58-B9A0-B12591766A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cacca1ca7b8ec10d107067e764061ee23ab6e0f","datavalue":{"value":"canonical term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883561$BE163EAD-1C66-48EB-887F-0BE70139E54D","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":"Q3883561$2E6FCE13-DC27-4645-9AB9-84C0594C41EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3883561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3883561"}}}}}