{"entities":{"Q1897976":{"pageid":1908718,"ns":120,"title":"Item:Q1897976","lastrevid":69224241,"modified":"2026-04-13T05:35:07Z","type":"item","id":"Q1897976","labels":{"en":{"language":"en","value":"Axiomatizability and model completeness of the class of regular polygons"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 794626"}},"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":"Q1897976$0930F835-AB19-47E4-8EE9-275E1CD5EB42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3b8c8688e176df48bd00d46b04cf75cdbf04766","datavalue":{"value":{"text":"Axiomatizability and model completeness of the class of regular polygons","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1897976$C7816320-7FB9-4A7F-A0D5-F97C3DD97717","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c07ad5edbf84041aaec55a7a253008a7c00ae900","datavalue":{"value":"0833.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897976$5E0347C0-2F66-4DEF-B4EC-EB07978562AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e76f2531c246940b22d6fa8c483a87bba5794c7e","datavalue":{"value":"10.1007/BF02104943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897976$EAF93D94-717E-4520-BBB7-D756794D1284","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897976$F1C99D28-B2E3-4022-A0D1-B98DEE5CDD3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39befa412b6f184069f2e562a37f7fe841b3f444","datavalue":{"value":{"time":"+1995-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1897976$9D4E5E01-8B11-4F68-9331-14C015F72076","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bba61aa36d47a15de08393ddcbb49b44bbf2e285","datavalue":{"value":"Let \\(S\\) be a monoid with the unity element 1. An algebraic system \\(\\langle A; s \\rangle_{s \\in S}\\) is a (left) polygon (or an \\(S\\)- polygon) provided that \\(s_1 (s_2a) = (s_1s_2)a\\) and \\(1a = a\\) for all \\(s_1, s_2 \\in S\\) and \\(a \\in A\\). Such a polygon \\(\\langle A;s \\rangle_{s \\in S}\\) is denoted by \\(_sA\\). A polygon \\(_sA\\) is regular provided that, for every \\(a \\in A\\), there exists an idempotent \\(e \\in S\\) such that \\(_sSa \\cong {}_s Se\\). The author describes monoids with axiomatizable and model complete classes of regular polygons.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897976$B3097ACB-5387-4AAE-B59C-A84370836B91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897976$EA64A784-ACA4-4C63-8B63-20A546005E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897976$5B676CEC-87C1-4FEA-A04E-265BE55C11C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a76ad6cf51bf6d22a84a12c18ded380ea5cb92ae","datavalue":{"value":"794626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897976$524F848D-1436-4842-A131-531CC93D3283","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897976$C391BBAE-E939-4E7C-820C-8ABC9EF58586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897976$AE750BC8-0DB3-4998-807D-1E17407E8112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897976$9C5FFF16-70CA-41AB-99C1-DD27979AD438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"483073ae596aeb45e58360bda1736cf0ee2a6a4f","datavalue":{"value":"algebraic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897976$CC3D741E-7963-497D-8CAC-4DFA0533FBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170160e29856358abcbecaa5fdd58378da8e45fa","datavalue":{"value":"regular polygons","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897976$285A9B23-D62B-45BA-9F42-3B211AAE2F4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f65a840d0478c6eb5f5dd350de7b5a56e28efbaf","datavalue":{"value":{"entity-type":"item","numeric-id":1750763,"id":"Q1750763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897976$7FB81153-DE73-4F37-9FE5-DF7A4AFA71C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6266d8908d5823c0f1c017cd7af42d6e26ae6d04","datavalue":{"value":{"entity-type":"item","numeric-id":1655497,"id":"Q1655497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897976$5A9093F6-16DD-4FE7-9C8E-A25784105BE6","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":"Q1897976$5B37B2FE-F2C3-4003-9B58-F3E1B30395E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4838bc3751d97f034864e597ccc0907360f1ba24","datavalue":{"value":{"entity-type":"item","numeric-id":3825006,"id":"Q3825006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897976$073C903D-918E-4663-BEAB-1B569B14EC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b78b3e9f447142e5f9e74fef4c16b1535768c00c","datavalue":{"value":{"entity-type":"item","numeric-id":5719719,"id":"Q5719719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897976$63DEC9AC-D295-4FD7-ADDD-108C0E0C3DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663a8e36764dccb41b9c0cc9099eb5ecae860793","datavalue":{"value":{"entity-type":"item","numeric-id":4711784,"id":"Q4711784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897976$FC595E8F-9EE3-41C4-9893-A6842EFE8F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c77ee0438480189f86146af7f4536ae2e4abc60","datavalue":{"value":{"entity-type":"item","numeric-id":810865,"id":"Q810865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897976$3E8BEA4D-7FD3-4142-9572-51633C823403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b92e65be7253162800b24a4ab4aa23eb177a0c","datavalue":{"value":{"entity-type":"item","numeric-id":582659,"id":"Q582659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897976$80B0C1E5-1C4A-4ABD-8848-0DE38BC966C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"602aa90e377ac2d97bb29a73323ee948e49f9676","datavalue":{"value":"https://doi.org/10.1007/bf02104943","type":"string"},"datatype":"url"},"type":"statement","id":"Q1897976$FA9A0AA8-9D64-43FB-B22F-42236278867B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cad34d260215da909c20c7e3ad97e4e58be4f88b","datavalue":{"value":"W2046838141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897976$01B2BD77-EFE6-4D80-AF71-88DAC96C8B3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01a93ba9bcca8eeb7a489ee8988980527c38aafe","datavalue":{"value":{"entity-type":"item","numeric-id":5315077,"id":"Q5315077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a63540c4e8ad78b40a5631d788e77656981aad","datavalue":{"value":{"amount":"+0.921890914440155","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":"Q1897976$3C225F1D-0E14-489B-AB85-89527EE69C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98324e654d5c296f1ff2caeca4aa7ff7db93f04","datavalue":{"value":{"entity-type":"item","numeric-id":1803027,"id":"Q1803027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda4a83dfa2fab74bbcaeb38e1918d71167ca93e","datavalue":{"value":{"amount":"+0.8643367886543274","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":"Q1897976$8905EDC7-B6C2-4C44-ACAD-77E1B6A4E5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"184eeaec842f243c6e738285d5f4c99b5e77f7e8","datavalue":{"value":{"entity-type":"item","numeric-id":4802803,"id":"Q4802803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5800ffe1a99b75bdb5491cfd304359cc67f5ac","datavalue":{"value":{"amount":"+0.8617464900016785","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":"Q1897976$CDED609A-2C03-4D55-8367-2EAB4BC3128D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d975bef457bea08919b81e1a11b083c74191268c","datavalue":{"value":{"entity-type":"item","numeric-id":404725,"id":"Q404725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7829ec7c53e6b9e63206bbcf9d6ad8742046a748","datavalue":{"value":{"amount":"+0.8322637677192688","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":"Q1897976$DCA6457F-F47F-4333-AAFE-4189D593A999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1524a302fc7af165ef612fe82bbdafe86a6e4dc4","datavalue":{"value":{"entity-type":"item","numeric-id":4436304,"id":"Q4436304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10edbce5173be5399a23c913e40706376d0dd7b1","datavalue":{"value":{"amount":"+0.8278289437294006","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":"Q1897976$2C5A6666-261F-4130-BD86-6CAF879FD127","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizability and model completeness of the class of regular polygons","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizability_and_model_completeness_of_the_class_of_regular_polygons"}}}}}