{"entities":{"Q2732275":{"pageid":2743014,"ns":120,"title":"Item:Q2732275","lastrevid":41943668,"modified":"2025-05-19T08:49:17Z","type":"item","id":"Q2732275","labels":{"en":{"language":"en","value":"Undecidable theories of Lyndon algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623518"}},"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":"Q2732275$08954552-145E-4C31-8863-BD2EA0091673","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"712902f4566dbac793e6e6c307b02cc78605f288","datavalue":{"value":{"text":"Undecidable theories of Lyndon algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732275$D2CFD0A1-A56A-4B65-BFEC-6639461B778A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af77d5278db75e64986227a3e8b14b6ab6917c00","datavalue":{"value":"0980.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732275$BE1F342F-A74C-4EF9-84AE-9569CAEE04F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99bd0e52b295b3731208d32975377298d46c5e85","datavalue":{"value":"10.2307/2694918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732275$963BB5FE-9770-45D2-85CC-89A55F6AEC17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23cf142406287d1bd9ff829a9eead3b1cfc7e77c","datavalue":{"value":{"entity-type":"item","numeric-id":1595917,"id":"Q1595917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$A5BDB200-2D80-488B-8A6F-64758396F3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$91C716CB-4CDB-4B3C-B570-2DD6C3408189","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa76be71329d496ea48ff062925abe90ad740965","datavalue":{"value":{"time":"+2002-03-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":"Q2732275$0F6DFAD0-C355-41F2-A45E-EE393CA2C989","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732275$EA46EDFB-2700-485E-95E5-0B10229A7C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"987534210f24e22be743ce682e8bd441c895d89c","datavalue":{"value":"51A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732275$373330A1-89F9-4AD0-A466-4416B471A44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732275$C8A0A20C-0B67-4B60-AEBB-F1110240CE53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54212de42c21b3643a7f6f581bbf0818d1c89d3f","datavalue":{"value":"1623518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732275$E0667CEA-4CE7-4313-BDB1-FA069604A33D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e54c5846481055340e8266041b81ccd1eff5635","datavalue":{"value":"Lyndon algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732275$BCC10D36-AA81-4945-B514-3F6A316DC7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"804224cc455a9a847d873191577c8d46d9a0c116","datavalue":{"value":"projectivc geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732275$71A34075-194A-4502-AB08-E3A203511A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf026f2c010b3124bc45ae27e2778e0b1c6b247","datavalue":{"value":"undecidable equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732275$88F7CB0C-8F30-4E6D-8E3E-C8F6E7EF45CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29837b4bfb44efdc7c332c1942c985d4e12272fa","datavalue":{"value":"diagonal-free cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732275$12D087FB-0316-4010-8393-73674BE4E180","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":"Q2732275$42DCCFA3-2469-406C-B437-D387D886D911","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"573ac66bc733ea26571fc0da75e99d42a25a3e7c","datavalue":{"value":"https://doi.org/10.2307/2694918","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732275$42FD652C-5798-4CD1-90DA-F508F0B9D620","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63b610fa00240081f998b31e9c6641b67322f0ac","datavalue":{"value":"W2007040251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732275$2A6D15A5-C882-41B5-B221-D4B9D7FD2D6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d3d6ab7e266e208bfe8d643670073f816c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2521342,"id":"Q2521342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$28DE12DB-89AF-4229-8999-54AF43D6E141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe8ad9bbac4e56be6f51b9f4bf524169d09464e","datavalue":{"value":{"entity-type":"item","numeric-id":775349,"id":"Q775349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$4A8FE2B4-AC0F-4D91-8E25-BA19A0B7BC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbc9d6a1236be17e29241f6802ecb226a6602a2","datavalue":{"value":{"entity-type":"item","numeric-id":797616,"id":"Q797616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$AE4C92B5-0785-4DC0-84FF-83F4D8879FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$159D7670-027F-416A-B475-6C15479E3C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$C40B4700-2443-4EE5-87B6-5C67226C9D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0f025f2ba22ccb88cf1d566ec41be53c0d9647","datavalue":{"value":{"entity-type":"item","numeric-id":4262570,"id":"Q4262570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$E88944AE-3178-4B10-8D71-E943627083DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864b223138308b646883ace202695484a3bcee2d","datavalue":{"value":{"entity-type":"item","numeric-id":3913392,"id":"Q3913392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$922E48AA-5826-4821-80E0-8B73D27CE514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"168f7a0eaa83d8a943367f4d65ebf7680fb19c7b","datavalue":{"value":{"entity-type":"item","numeric-id":4338157,"id":"Q4338157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$BA96C953-E63B-4077-AB1E-C1811B57060B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7324b22d8edcf6cff705a182e8eab44f9db74e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4934808,"id":"Q4934808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$14FBAC0F-FEE9-4855-91FD-1223F9E057D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56a3dd01c8b6900f334f9840cdcfd260af63be5","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$FDC445A6-F4B4-493E-8F2C-1BA79BBF577C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$80DDD488-E62A-4FE7-A228-0A47EF17AF23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f028febc9534a9c9eec9365e8762358f54149d76","datavalue":{"value":{"entity-type":"item","numeric-id":3680804,"id":"Q3680804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0259168ffe6e9f32c1c99cc0449b21f390d2561f","datavalue":{"value":{"amount":"+0.94879675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732275$979D463A-7337-44F1-9724-620387842767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e89d48962f0eb006856e582db099e4d5cfd9fff","datavalue":{"value":{"entity-type":"item","numeric-id":4692087,"id":"Q4692087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f587ea42a021f7297cc68fdcb0194326571f516","datavalue":{"value":{"amount":"+0.8916702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732275$6B49C40B-750B-45CC-B8B5-F95F186DA947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc79af0bf52f80516f6571f432a31eb5aef19fc","datavalue":{"value":{"entity-type":"item","numeric-id":810010,"id":"Q810010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e4914612ecf067c5725fadd9027f346be5595e","datavalue":{"value":{"amount":"+0.8909113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732275$23341BFB-93D9-457F-8569-2CEAD8ADBACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7863a440d701d00392f4c3fdfacd2c5a12b4a5ed","datavalue":{"value":{"entity-type":"item","numeric-id":4338316,"id":"Q4338316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29b6f0ccf2ff1bb5fcb9fc500627cef03784e8a","datavalue":{"value":{"amount":"+0.89004517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732275$F1BF635A-1A29-4D41-A067-87460EF5BD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cdd997f6442c3b1d8bb0b0e193864297cee43f9","datavalue":{"value":{"entity-type":"item","numeric-id":4262581,"id":"Q4262581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a556f8c9a4de83c7f98c8313223af4501183a9","datavalue":{"value":{"amount":"+0.8898876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732275$4FA5BE7D-E45A-4ADF-8C02-DC7EFAFBADC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faab5f13bb9a8ad474846e96bfee0d0765e986bf","datavalue":{"value":{"entity-type":"item","numeric-id":1103604,"id":"Q1103604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c46c57f7f8258247708742c165abc6637a522f","datavalue":{"value":{"amount":"+0.88806635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732275$5ECE7E28-923A-4046-BA93-3921389CB4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532dd9b09221785a9d030661a8fa47e11939d856","datavalue":{"value":{"entity-type":"item","numeric-id":4645108,"id":"Q4645108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20363e84948ee17a7b4d3b188e92fb9b195c14f","datavalue":{"value":{"amount":"+0.8873155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732275$05A48277-50D9-448C-B97B-3FCBC11515FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5cd589cfa171f85dc85a014d7366365f6841f16","datavalue":{"value":{"entity-type":"item","numeric-id":1092889,"id":"Q1092889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2ae4a32c92d09e57884dd293c2dd7df866b2d4","datavalue":{"value":{"amount":"+0.8829379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732275$3DDECA34-A301-4365-AA08-AF15D1DB0E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5de558e7dfae5cd1ea5b591996ebbc78c63098b","datavalue":{"value":{"entity-type":"item","numeric-id":4302341,"id":"Q4302341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08687091d99f4c24c9ebd43e97b8bf046ccffa6","datavalue":{"value":{"amount":"+0.8819909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732275$5746D92B-118C-4747-AFE2-0ED00C114232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b342731ed4b0c0d550d0d15d67740f074704ef","datavalue":{"value":{"entity-type":"item","numeric-id":5015973,"id":"Q5015973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d9c192b16ea1c4b73a9a311c042d39f3f88338","datavalue":{"value":{"amount":"+0.88043624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732275$3B74BD3B-AFBC-4EB5-AA64-52020CFE54F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$1622E03A-6BF0-4155-9702-458D3819EAAA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4759f0cbeae935fd0483036445ec6d9d81a5b1ec","datavalue":{"value":"It is known that Lyndon algebras form an interesting connection between projective geometry and algebraic logic. In this paper, the authors prove that if \\(\\mathcal G\\) is a class of projective geometries which contains an infinite projective geometry of dimension at least three, then the class \\(L({\\mathcal G})\\) of Lyndon algebras associated with projective geometries in \\(\\mathcal G\\) has an undecidable equational theory. In their proof the authors use a connection between projective geometries and diagonal-free cylindric algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732275$1464F375-F30B-49FE-9BA2-A2BAB3064898","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f95cd7386eedaef653f8227ca61e824db8c93f6e","datavalue":{"value":{"entity-type":"item","numeric-id":587967,"id":"Q587967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732275$401CB852-165C-4E53-B644-0E88BD5B7050","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2732275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2732275"}}}}}