{"entities":{"Q1224092":{"pageid":1234841,"ns":120,"title":"Item:Q1224092","lastrevid":68292567,"modified":"2026-04-12T22:44:30Z","type":"item","id":"Q1224092","labels":{"en":{"language":"en","value":"On decidability of equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3504961"}},"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":"Q1224092$DDC2AE1D-79B5-4E3C-9BC9-D57B3A9742C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d33d35159596489ff81afd00fc4b67fc1c28c92e","datavalue":{"value":{"text":"On decidability of equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1224092$2A754424-0949-42C6-8692-19510C9FC02F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"947626685c4deed68864c05be0f57a9db271677b","datavalue":{"value":"0323.02056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1224092$6D0C5502-8340-4E5C-9A09-A3B18D5854FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"706aca05e29367a6a3492073c1ee7cd326d64393","datavalue":{"value":"10.1016/0022-4049(76)90062-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1224092$BE6A67DE-804F-4EF1-BFED-69B879BAD2AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1224092$988D9B12-3E54-467B-B077-7F35BAD8899E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1224092$9C5D8A14-9CB2-4B5A-9ABD-60FC064677BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1224092$6FDB2FAC-9B95-42AC-B90F-178DEC1100F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1224092$D0977ACD-3837-4108-9DB2-7008B04A0DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1224092$600B2AC0-BAB4-4319-ABD7-58C6A453FBA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41721c037084c13b22c437009a263980497c47f9","datavalue":{"value":"3504961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1224092$D7CCAD4B-78AE-43AB-BC23-4BE058CA4C5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1224092$7EA4A988-BA9A-4681-AA3B-89E31F16EEFF","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":"Q1224092$D6D4903B-EBD0-423B-872B-8CE508B0C839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eef8021dc1ebb5563d578778070e7a4fa644ba5","datavalue":{"value":"https://doi.org/10.1016/0022-4049(76)90062-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1224092$7721EB5F-D831-4F9F-B801-CD70B043CB46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"888891752d6b793bd81a6ba8f83b5099a291706e","datavalue":{"value":"W1997507039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1224092$9B32954F-A247-4C5C-A7D4-FE622F41F991","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On decidability of equational theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_decidability_of_equational_theories"}}}}}