{"entities":{"Q4813816":{"pageid":6843396,"ns":120,"title":"Item:Q4813816","lastrevid":74556351,"modified":"2026-04-14T23:19:40Z","type":"item","id":"Q4813816","labels":{"en":{"language":"en","value":"Definability in the lattice of equational theories of commutative semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2091210"}},"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":"Q4813816$C1C0401B-02FA-4A0F-B36E-D4BE6471D312","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84b18c97579232ce822b980502a7668ed8cc3dcf","datavalue":{"value":{"text":"Definability in the lattice of equational theories of commutative semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4813816$68249884-40FF-454B-BDC6-01F545AEEF36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66dc7b84668899e4cdcc0b20e8ac418d553c89b2","datavalue":{"value":"1050.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813816$266530A2-FFD8-4BE8-8D72-1AF66B442D2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d844406d0a0526335275dd358b9ed20ee3d5185a","datavalue":{"value":"10.1090/S0002-9947-03-03351-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813816$3760315E-4883-41B5-A01A-27AF60783269","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$BD0F6432-80E7-4830-A232-84D3BEAF72F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9795cb0c9a94f1d13e079b8c212829a7c382d6b6","datavalue":{"value":{"time":"+2004-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4813816$16E966A4-5BB0-49A6-9E4A-73A1776538DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813816$9D34358E-86EA-4C37-8ED6-316ECF318D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813816$466945DE-0095-4871-A7AB-B2871FB0502B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813816$233D3E75-920C-4DBF-B7B8-A037EFC3B959","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afb48c8ceb9600bf0243e43dbcdd88155e14aa91","datavalue":{"value":"2091210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813816$63058193-2850-46D7-9F84-2FDECC724114","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813816$721B4EC2-35C5-4BB3-A502-20B308D1282D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813816$9A5E8A69-4083-4BAB-8895-DD84E87D75A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cf9711c6390395a60b61ca8ecf0b9b2bef1aea","datavalue":{"value":"lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813816$F6969519-08A0-46D7-AFEE-ECB6745ACC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cc5869501fb31db51428fa26c5084ccea33a7d0","datavalue":{"value":"Schwabauer theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813816$D69FD60E-302A-48D2-BAEE-E9ED8B63DC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e4dd294df2d3c06891db7759a295f99ae15e99","datavalue":{"value":"abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813816$B69C77E0-0278-47CC-ADF4-9169747C40D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abbee602f10dfd485b9c86471b2bd23b957c2ed4","datavalue":{"value":{"entity-type":"item","numeric-id":490319,"id":"Q490319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$5A2BFA3A-F7EF-4492-B782-F96661B4AA62","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":"Q4813816$AB0A0880-CB07-4B2C-8872-0549614DD20C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba012695192fa46d767411df39f2652a2e942d90","datavalue":{"value":{"entity-type":"item","numeric-id":1868922,"id":"Q1868922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$8E8FF33A-DA3E-48F3-9BF5-1DB857D94B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5ecd231ea2d3ded384eeb73b36ba078a81c7eb","datavalue":{"value":{"entity-type":"item","numeric-id":5925810,"id":"Q5925810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$89E7CAAB-6DF8-43AA-B8B8-24BF81886EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01888e9f6e7265814a00905b0f1164103d9769a5","datavalue":{"value":{"entity-type":"item","numeric-id":3150862,"id":"Q3150862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$35B6B9A2-507D-411D-B8B9-1BE8682F32FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90df3c9881df6ae282e0dba43585fc880671834d","datavalue":{"value":{"entity-type":"item","numeric-id":4154918,"id":"Q4154918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$53C4515A-931E-4F79-BB61-F60A8A8EB503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1481b99859c76a49c08cf2ff3ae2f47db991a46c","datavalue":{"value":{"entity-type":"item","numeric-id":1255975,"id":"Q1255975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$F322B4D1-21B1-4732-B2EE-AE177382B3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0d226bdd5e2a936bd4172f1cd25f5f88afc091","datavalue":{"value":{"entity-type":"item","numeric-id":3743360,"id":"Q3743360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$889F3D77-6F3F-4885-B921-9CA35CE93EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813bc49701b3df07f012765c7deb7121604820fb","datavalue":{"value":{"entity-type":"item","numeric-id":1209280,"id":"Q1209280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$6F64B8CF-A771-4490-9CD8-7BA4C4349ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64e14f6bfac5f4444249bc08d1704ba4f8edc7","datavalue":{"value":{"entity-type":"item","numeric-id":4292747,"id":"Q4292747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$C024007A-23A5-410F-AF44-D089E73FD50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaae3c09ad5f858f653b425f30a5223089ced9a7","datavalue":{"value":{"entity-type":"item","numeric-id":1383954,"id":"Q1383954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$02C41958-484D-49AD-92BB-0F65952EED53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a003b84f2c394f7b064434e72a356d184d9f681","datavalue":{"value":{"entity-type":"item","numeric-id":4093440,"id":"Q4093440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$1603A7C9-D9FA-488A-95E7-C1AFF2849789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0069bfd44f20ffca1f13711f6ed0aaa8cdbb2345","datavalue":{"value":{"entity-type":"item","numeric-id":5632610,"id":"Q5632610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$E9B7E468-428B-41F6-983F-92630D922704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$ED1C7EB9-EC39-440F-BF64-00D480031B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37913ff16b8af19898fa7bd52035cc2425d3d8f1","datavalue":{"value":{"entity-type":"item","numeric-id":4722217,"id":"Q4722217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813816$5E57272E-C35C-46EE-8C6C-13FD96FA4041","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c034874e5756f93eb29a173df8279e138c0ffcd7","datavalue":{"value":{"entity-type":"item","numeric-id":3631861,"id":"Q3631861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c99cc916e01f7da8d60dd107c11b1685b29d68a","datavalue":{"value":{"amount":"+0.9108204245567322","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":"Q4813816$483BB381-AD33-4CF7-B594-08495C4E74E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7c4f03c224939b7056be3a0db4b4c3fd648743","datavalue":{"value":{"entity-type":"item","numeric-id":3165644,"id":"Q3165644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391e7f457f1825bc3f47bafb20c21562b29e9b2d","datavalue":{"value":{"amount":"+0.9088555574417114","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":"Q4813816$EFB1ABDA-12E8-46D1-A643-4133837B01EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960c496201f40bd78c3c2ec6b6ab044a5de44fc1","datavalue":{"value":{"entity-type":"item","numeric-id":5925810,"id":"Q5925810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e950f63f9e43dc2ab9efb36dd1fbb0f6ab31ef0d","datavalue":{"value":{"amount":"+0.9068699479103088","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":"Q4813816$1C956F36-A32B-4F60-A892-7B97C251126C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de261ea9b782e351a6d47821a5b8ddbe80a3e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":1209280,"id":"Q1209280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7edab5d81a40f89e76da5986bdfdbfdbeffe2e8","datavalue":{"value":{"amount":"+0.831605076789856","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":"Q4813816$210D97BB-CB2E-4BBA-8758-951839CD3DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5d290e44651a0caeabfd4e81b331da7c467d2d","datavalue":{"value":{"entity-type":"item","numeric-id":1939493,"id":"Q1939493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ba3fbef62abbb26fa28a466288412f9ada6009","datavalue":{"value":{"amount":"+0.8289445638656616","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":"Q4813816$8D0DC8B6-4264-41AE-81E5-F409A3916946","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability in the lattice of equational theories of commutative semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definability_in_the_lattice_of_equational_theories_of_commutative_semigroups"}}}}}