{"entities":{"Q1909855":{"pageid":1920597,"ns":120,"title":"Item:Q1909855","lastrevid":73061154,"modified":"2026-04-14T10:06:01Z","type":"item","id":"Q1909855","labels":{"en":{"language":"en","value":"Theories of first order of integer semigroup rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 857530"}},"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":"Q1909855$C9E2D834-4958-483B-8890-97C55FF87263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"721fdbd544674365b16ab1c718ce401ea46fadcd","datavalue":{"value":{"text":"Theories of first order of integer semigroup rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1909855$F2E49A28-1302-472C-9A13-16385711650E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"212154661246df824253a7fbe9c87f740f7d3891","datavalue":{"value":"0846.20061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909855$7641ACAE-AE6F-4D27-88EB-60AB5128AF4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3f90221ce10570cb01791b320fa9802497a9d9","datavalue":{"value":{"entity-type":"item","numeric-id":1909854,"id":"Q1909854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909855$FC0D9584-1B77-475D-B249-34CCC511D257","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909855$7BAA5727-1CD1-46DB-BA6E-D7E4AABEFB6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b94ab033811e5d990b59b864246642d77c86d4b","datavalue":{"value":{"time":"+1996-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1909855$81776B26-B482-4521-B5D1-7A2FEAF0C6E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1fb0fb26cbd6e1bb52a968a148a3a2b0bb0d9555","datavalue":{"value":"The aim of the paper is to start studying the first order theories of semigroup rings. From the author's commentary: ``In the first section we consider integer semigroup rings of free semigroups of no more than countable rank and of cyclic groups. We establish criteria of elementary equivalence of such rings. In the second section we consider integer semigroup rings of free semigroups with unit of arbitrary rank and cyclic semigroups. We describe decidable theories of such rings in the frames of the scheme-alternative hierarchy, which was defined in [\\textit{Yu. M. Vazhenin}, Algebra Logika 26, No. 4, 419-434 (1987; Zbl 0647.03006)]''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909855$A12DAF19-7AE3-4256-8151-2628047A586C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909855$E647C3AC-D3C8-47B0-9969-C7E63D129073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909855$96406893-A754-410F-94CA-64F6A29805ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f763c8cd6a5bb163b3bc0f29fb7bffc7801b7ec","datavalue":{"value":"16S36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909855$B2E6F06C-9E3B-4F2A-8C15-A60AEDC28FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909855$BB5CFCCB-22BD-4D6B-A46E-B6A4B41A3B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909855$0A8F59D8-9A63-45DD-BA8E-FC3BC87B5F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a110c7416e1228fed50bb2e0832c21a254df2cc","datavalue":{"value":"20M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909855$D0BBE71B-7124-42AF-95C9-A4BC8A72584D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70f1eaac50ffce3fe7fcd921f41aa5a33968cfa6","datavalue":{"value":"857530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909855$55A71A88-1369-46A9-A308-6AD94BE6B9A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3336b438cc6e97e70c0df5fba7c15a7ac47ba1e3","datavalue":{"value":"first order theories of semigroup rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909855$585D76DD-803D-4BA7-A30F-8676FAD80F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be91f2f5065a5d85dc9ebc5bb44e683c7ae9eaa3","datavalue":{"value":"integer semigroup rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909855$E2EB425F-3A8E-44A4-9024-CD724AC896B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954597857ebd2b4f1b14dab13197add72b8a804b","datavalue":{"value":"free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909855$A9079FEB-C884-4736-92E3-FF8DC700376D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909855$E41C046D-B71B-4AF5-B066-DA479FE2E083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c8cdbff0edb918eb0c0aaf884494a1a0096db5","datavalue":{"value":"decidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909855$ABB80FC4-EF10-49A2-B8C5-7490BB257513","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce929559c868748088ace439753e6dc3f3bf3ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1434104,"id":"Q1434104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909855$74DD655B-991C-4EBA-9329-B8C4DC56C972","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":"Q1909855$961DD3BC-AF3A-4DE1-9700-00861758799E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d98ef9912285f856f3800b218f6260ebbe25dfc","datavalue":{"value":{"entity-type":"item","numeric-id":3204451,"id":"Q3204451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db328ee65c1f753b6aab6b0be0cb5556436093f","datavalue":{"value":{"amount":"+0.7460618019104004","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":"Q1909855$7CCF45DE-C054-4CD0-8514-996393C86F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60512bd7c445418079532b0d380cc580f71ea612","datavalue":{"value":{"entity-type":"item","numeric-id":3203010,"id":"Q3203010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41aa0956c955c38572069576c52f920a1d8c05cb","datavalue":{"value":{"amount":"+0.7209926247596741","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":"Q1909855$852AF779-2F8A-4BAE-A106-D1F8045F2DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629c1a7ea56aebd782b5584f1fb260a030f546ee","datavalue":{"value":{"entity-type":"item","numeric-id":5119280,"id":"Q5119280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97e531318e6e1d4e7dded319edf378499133111","datavalue":{"value":{"amount":"+0.7200400829315186","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":"Q1909855$4E64A18B-63CC-4F56-8A48-73E1E6B831A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff91aaa9e8ac098398c1fd536f7b111af908d569","datavalue":{"value":{"entity-type":"item","numeric-id":1332855,"id":"Q1332855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0762d9ac4e9da2fca5b87b24e4ea851b2137ae","datavalue":{"value":{"amount":"+0.7155872583389282","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":"Q1909855$690BDAB5-CACF-4B66-B638-49D5DAB5A613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd10af72cd92efb06254ef83c084122b893330d","datavalue":{"value":{"entity-type":"item","numeric-id":3980171,"id":"Q3980171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a336f99930c393f754d6aa0e476691983e9ad5","datavalue":{"value":{"amount":"+0.7155113220214844","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":"Q1909855$9AC40061-315C-4CAF-B7AF-A45DBC87080E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theories of first order of integer semigroup rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theories_of_first_order_of_integer_semigroup_rings"}}}}}