{"entities":{"Q1054760":{"pageid":1056608,"ns":120,"title":"Item:Q1054760","lastrevid":69527814,"modified":"2026-04-13T07:36:52Z","type":"item","id":"Q1054760","labels":{"en":{"language":"en","value":"A completeness theorem for weak equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3821823"}},"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":"Q1054760$972CD818-3D47-4791-A02A-24CDB92ECAE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7af550653a5b4bc940b2434397e739863f5705bf","datavalue":{"value":{"text":"A completeness theorem for weak equational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1054760$DB1F0867-185F-4FED-89EE-C725E750EA2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be0e412ad832585afb16692b056e453c3947b32e","datavalue":{"value":"0519.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054760$49336EB0-36FD-4DEA-B27A-323D4583544D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11c48607599d138783a0876f4857e5a7ee9e72c2","datavalue":{"value":"10.1007/BF01191787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054760$D62A8B6A-D355-48B0-A004-4060DB1AA7BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"894db987add34604b03a22c96efda70763fee988","datavalue":{"value":{"entity-type":"item","numeric-id":1054759,"id":"Q1054759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054760$9B4E016D-8B59-4C00-A0D7-20C60C9A54FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054760$974A3319-CC72-4B21-9BFC-CBB671E278C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1054760$4EFDF6DB-6539-441E-BF4E-FEE98D477758","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054760$0588F196-74C0-49C3-B6BA-326E3ABC0779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054760$DD51FC62-C98A-404A-B291-DDC8B3848541","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b75341ad6cf1fb8582ba6d017ce79390eabd8ab4","datavalue":{"value":"3821823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054760$F59EB1D1-9E25-431E-869A-05592D7DD20D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054760$626BE906-FAFF-4D25-A7E9-CDA21B13BE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b62ddf9c259a587f46428cc7621f1e420bfa2c35","datavalue":{"value":"weak equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054760$5A0F2807-9A09-4ACB-BCD7-A5942A488DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa995e34b1e64e6118dbcc2e3f29715c2127d8f","datavalue":{"value":"Birkhoff-like Completeness Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054760$62B6C80A-FCCA-4DF5-B90C-19F84E43887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538a94fdd259d2465d50a0dc5cfaf67b7749522e","datavalue":{"value":"partial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054760$F9980991-B90D-42ED-B200-451D10069939","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":"Q1054760$FF238ACA-A154-4FA1-B24F-931C140C9A4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b327d4946abbf43f456d66269ecccc387857a80","datavalue":{"value":{"entity-type":"item","numeric-id":1845753,"id":"Q1845753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054760$1F948787-DD86-4FD1-A25C-64419E5A0A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27461595d2cd7808b1684251a54420bbd55d9ea","datavalue":{"value":{"entity-type":"item","numeric-id":5534270,"id":"Q5534270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054760$41699388-3E8C-4FB5-9C4A-1092DEBA2222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A completeness theorem for weak equational logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_completeness_theorem_for_weak_equational_logic"}}}}}