{"entities":{"Q1803020":{"pageid":1813762,"ns":120,"title":"Item:Q1803020","lastrevid":72990753,"modified":"2026-04-14T09:14:14Z","type":"item","id":"Q1803020","labels":{"en":{"language":"en","value":"Decidability of elementary theories of certain finitely defined algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220172"}},"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":"Q1803020$610C1FFB-A796-4743-9F28-CE4E54470DC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f808125472224bb34336368731161baf9ad975c5","datavalue":{"value":{"text":"Decidability of elementary theories of certain finitely defined algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803020$84598D5F-A461-453F-9C31-B55955CBB3ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32fcb69cd64975820104eecc3f23c7526e80b16f","datavalue":{"value":"0772.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803020$32A8CB2D-B83F-48C4-AEBF-58BC5B8DB111","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"316839da715a84ea657eeb86d3af0c981efa9fa3","datavalue":{"value":"10.1007/BF01985064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803020$899A773E-C7D3-49EC-AEE9-5A268B260120","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b389fd8de5ba234f58ba7aa906a0c43916893c20","datavalue":{"value":{"entity-type":"item","numeric-id":584244,"id":"Q584244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$CC52E0B7-0648-4066-B8C4-9715C6B564B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$C0FFD045-9F66-4265-8B5E-8AC9D88993F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803020$D96A20E7-20CB-4174-9A02-ECDFDA6828F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0574d5e01d0de6616f91d6672c9bd47776387fbd","datavalue":{"value":"The paper introduces some conditions ensuring that a finitely defined algebra \\(G\\) (with generators \\(A\\) and defining relations \\(S\\)) in a variety defined by the finite set of identities \\(\\Sigma\\) have a decidable first order theory. The conditions essentially involve the rewriting relation on terms (freely generated from \\(A\\)) induced by \\(S\\) and \\(\\Sigma\\); in one case it is assumed to be Noetherian; in the second case this assumption is dropped --- and other conditions are required.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803020$2CDB6397-C065-4F31-AE0E-A840873314E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803020$443D3FD4-B776-4287-815A-DF6EFF6B6056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803020$3D4FA82B-FC0D-4EAB-95FF-A1974836B76D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0390fe00030278303afb0e99e10fd942a684eee3","datavalue":{"value":"220172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803020$4D030BE4-627A-4EBD-BE94-A48A8DD96923","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01d928138907d12c0eaf562f6e4f77e5efffd05","datavalue":{"value":"finitely defined algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803020$7C45FC56-F598-44D4-86E7-48A47EBC2941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda2fcceb25b290ad7359a0c380e0b125bd3d2ee","datavalue":{"value":"decidable first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803020$565FB45B-E819-4B90-BCF1-0EBB9CA65FFB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2aae80144548b21f45948e74c570be9dd7fcd68","datavalue":{"value":{"entity-type":"item","numeric-id":354675,"id":"Q354675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$3C49CE88-2008-41B2-AACB-9F505AAF3781","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":"Q1803020$6AC13520-CC5A-44DD-8EF2-FCFBB5763AD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dc0d97cda021a47a36ad57afedcdda62e25f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5803323,"id":"Q5803323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$C2B8E8A5-8FC6-464A-8D6E-C84251941EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d43769941d07a62a29365f201e64dc2b50e565","datavalue":{"value":{"entity-type":"item","numeric-id":5805025,"id":"Q5805025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$6560EFE5-CF9E-4D77-B870-574BC96AF6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cb3e6e22ac3605ee8558deac396f83f12d4d95","datavalue":{"value":{"entity-type":"item","numeric-id":2538663,"id":"Q2538663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$B09F3F3E-D8B0-4C3E-8B9F-F9CC058B090B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7250e48aac889b56ef2865b789df74e50350fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4149911,"id":"Q4149911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$3D1C9FA8-0D32-45EF-9D0E-416C4AD935F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d966c2e7e35d6f4e31000f67c38b927a10611b0","datavalue":{"value":{"entity-type":"item","numeric-id":5623721,"id":"Q5623721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$DA157533-AF32-43C0-B47F-0ECBBBC34BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$70AB97B2-537C-4D22-9A6C-C443974C7935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1047ff1a1c14e5bbc9913a7a397ad9ddee337554","datavalue":{"value":{"entity-type":"item","numeric-id":3952057,"id":"Q3952057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$AC0C9FA8-71A4-488D-B6F2-F8EE8C30EAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465b372f87f76dcecf7f2ccef24d6aa39cc6f4ef","datavalue":{"value":{"entity-type":"item","numeric-id":4726238,"id":"Q4726238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$CA794D24-A26C-4FC8-8476-5DE326215A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$688BC729-C6E2-4D9B-AF24-CC9AF334213F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8ca8cf51ef97c1a3e57118457a1da4e8c18ee9","datavalue":{"value":{"entity-type":"item","numeric-id":5829025,"id":"Q5829025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$8A839EA1-535F-4318-8DA9-8322F06CDFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803020$5F43B515-23B0-441D-BA35-284695B60D0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3519551eacfed739bd9a6671d8be653a076fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4733855,"id":"Q4733855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa97bc8da5f273cbe5e4102133150e12a87fca3","datavalue":{"value":{"amount":"+0.8688095211982727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1803020$F617B1CF-68A9-4330-A005-6257011AD214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8cede415be6a92cc1d795bbe1ff2101ee88c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1272241,"id":"Q1272241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5fffb084ae5b715b61c10f1387bfbb917a8b7b","datavalue":{"value":{"amount":"+0.8046192526817322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1803020$5CC34BDB-F8E7-46DD-A2FE-8C5F4BDACAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e8d8782bea05fe7b5a5f520f92f946ffa126e","datavalue":{"value":{"entity-type":"item","numeric-id":1311200,"id":"Q1311200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5eba31d416841a26865c69ae964416e5ce55a4f","datavalue":{"value":{"amount":"+0.7950074076652527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1803020$5B3638B9-AFD2-437D-AE6B-08A1C784B4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9ae27f845850e28aca9867ff63d53de5cb5dad","datavalue":{"value":{"entity-type":"item","numeric-id":1177464,"id":"Q1177464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35159cd2e5c7a3efbdc3e740a2dd69874b4a7e1c","datavalue":{"value":{"amount":"+0.7941756844520569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1803020$89AE6C1B-F97C-4C22-8722-275BA63AEAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850bd61f63e036f647d8a7802d5b200422c24688","datavalue":{"value":{"entity-type":"item","numeric-id":4262575,"id":"Q4262575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9daffee32810dafe23254ca0d57f9b7c3da011","datavalue":{"value":{"amount":"+0.7833618521690369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1803020$8BA91E9F-1B8B-4438-8BE9-A8D7400291CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of elementary theories of certain finitely defined algebras","badges":[]}}}}}