{"entities":{"Q1978513":{"pageid":1989255,"ns":120,"title":"Item:Q1978513","lastrevid":47478226,"modified":"2026-01-01T20:40:38Z","type":"item","id":"Q1978513","labels":{"en":{"language":"en","value":"The variety of Kleene algebras with conversion is not finitely based"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1454291"}},"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":"Q1978513$279F607C-9D43-4B4F-8877-D9C382C237D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0aabafc90a9be7ea0f5db1a5654bd5b6d1dcabf","datavalue":{"value":{"text":"The variety of Kleene algebras with conversion is not finitely based","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978513$73D5B929-CFE5-4529-990E-CF7F5FDA8E4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d73444447e12d972a1b021d239053680f9c7560","datavalue":{"value":"0954.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978513$E3B4B74F-6718-4EC9-86D5-A1CEB465C777","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed7657cba78f0d66e0336c3741217a4c192e1894","datavalue":{"value":"10.1016/S0304-3975(99)00079-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978513$9637FDA9-4BD9-41D6-8117-20986D4ABBBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25213054239637bbfaf5bdba4d0290595880445","datavalue":{"value":{"entity-type":"item","numeric-id":309961,"id":"Q309961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$4284C08A-FAA8-4DAC-BE51-978DE2AD7D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53947beb9dc5d675b932a5f73d81d12983fd0150","datavalue":{"value":{"entity-type":"item","numeric-id":342843,"id":"Q342843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$600B54C7-BEA5-4CAB-8C13-573737A79F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$CF1DCD0B-CF9C-4DD4-A894-D2079B6F944F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$900A7431-DFF4-4833-828B-34FE93D1B78B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978513$AB0BAEB6-36D1-4A15-9209-E010DA95169A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f39ac4f33d7be064198cea6ae8528d890a650528","datavalue":{"value":"The elements of the full Kleene algebra (with conversion) of a set \\(A\\) are the binary relations on \\(A\\), and the operations are those of forming unions, compositions, reflexive, transitive closures and converses of relations. Moreover, the empty relation and the identity relation on \\(A\\) are included as constants. The variety \\(KA^\\vee\\) generated by all such relation algebras is the variety of Kleene algebras. The variety \\(KA\\) of conversion-free Kleene algebras is obtained similarly by omitting the conversion operation from the relation algebras. It is known that the equational theory of the variety \\(KA\\) is not finitely based. In this paper the authors prove in two different ways that the same holds for the variety \\(KA^\\vee\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978513$A55935E8-0C92-4D0C-B19E-D58F467871B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978513$DFBA96DB-73FF-4E7E-AF78-DAA7F04AB654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978513$5AE876B9-5C70-4D21-BF80-BFEB8E1DF1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978513$662BEE47-00B0-485D-AEB6-4C4194A1FDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978513$70D8F9BF-3E07-4A2E-8B4F-5A47AB059006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978513$39A94A25-F544-4439-8905-2543E0F1F1F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d47719efc09e517514d2fcc335064cc882ab195e","datavalue":{"value":"1454291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978513$6668DC61-5906-4FBC-9177-2C126E9B2002","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675eed55543b423fc7b51c01fc2b52bfa3550283","datavalue":{"value":"binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978513$7867E09A-620F-494C-8927-54EAC9ACB4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978513$42360A4C-23D4-4DF7-AA18-3D550C8AAAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84eb296a4a2a7e07c452f104605aa1e22ebbd0f","datavalue":{"value":"variety of Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978513$6E2FF3F9-69D9-4136-86C9-1DD9A5548F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978513$5ABF55EC-27F0-4286-A637-3FAB2361ABDC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$E5F2B1BB-2538-4012-BD5D-64F6947FDA30","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":"Q1978513$4A3058AE-F9AD-46C9-886B-E743F91537A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$164417E4-545F-4C0C-B684-CDE8658184F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62ae5d8372aa178180c5517c3ec1038606e5c10","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$63193F22-23EE-4116-88A0-B3EDF512CAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc31b36bf04eab4376f85e6408499afe556bd69","datavalue":{"value":{"entity-type":"item","numeric-id":1344844,"id":"Q1344844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$1FB7EFED-22E6-4F66-8139-824D6BFC9DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$D09F7506-D4A7-49F8-BF56-30C3C3CA7E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"679fbeed1ffc0b11ecce52afab3d172fe091c402","datavalue":{"value":{"entity-type":"item","numeric-id":5894726,"id":"Q5894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$AAEE406E-D7D8-4D8D-AADE-F4BD1996CDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$C59AD86E-5053-4604-90E9-E5FEAEEE6E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608533bf3c2d046e29c46a84659be2d633077793","datavalue":{"value":{"entity-type":"item","numeric-id":1283821,"id":"Q1283821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$2CA31EEB-E46C-43C0-B30E-B6F057CAAF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f2c5bd3751a51585b1dbbe011b98a4eafbff4f","datavalue":{"value":{"entity-type":"item","numeric-id":674338,"id":"Q674338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$196B7073-AA04-41FE-ABBB-633CE6A211C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52056739798ab98d4511f1af51d76ccbf51d9dbb","datavalue":{"value":{"entity-type":"item","numeric-id":4645164,"id":"Q4645164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$60FDF152-290F-4E96-84D8-47DB93D9C734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cae162650f1a9ab79c5006fd0bda55ad0a3cd0c","datavalue":{"value":{"entity-type":"item","numeric-id":4421596,"id":"Q4421596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$2026AB77-34E1-4D83-AA7B-774CE11D42A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$0A70334D-5B4E-4768-BDF5-691582B3B3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d58e96e56fa7670a298892e95b3ad874ec0276b","datavalue":{"value":{"entity-type":"item","numeric-id":4011720,"id":"Q4011720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$CAAE20D2-6925-4A34-80E4-469B2E847A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$BD115265-1A13-4727-97B9-FD6FD5E15FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$708EEB28-CAC5-4CD4-9EDA-D14E0DF03B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$5EAA6C6F-4D2C-4E9A-9359-5E9FA737B936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978513$A4DF9EF6-60D6-4416-93C4-E54F24BD1023","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8ea17ba34c83c191ccefd1cc77f00560d5e0e4b","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00079-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1978513$0126F979-BFDB-4BED-A9DC-B748441A6E9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aed63ef951e9a55c8be084fda5e9bb61ae28e41","datavalue":{"value":"W1986949269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978513$BCA3EBB8-BB61-420B-B458-726F013428E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db5315d5931ab4b651a10b2032c43edbde6dfc14","datavalue":{"value":{"entity-type":"item","numeric-id":674338,"id":"Q674338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e793b3d102083a8ca2ba3ff5f1c09a513f67e019","datavalue":{"value":{"amount":"+0.8389759659767151","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":"Q1978513$CFC7121C-8BDD-427D-AD1A-A1FAEC0026EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce39e8aac244cc9131807d878325c5e2b09df46","datavalue":{"value":{"entity-type":"item","numeric-id":5894726,"id":"Q5894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7defd7d3c26cec26a603b2147b94df84c16e49c1","datavalue":{"value":{"amount":"+0.8165386915206909","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":"Q1978513$DD8616C6-2519-4F3A-BAE5-79D0B9E8308F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdbb167983b39d28d1730bcabc0f8fa8af8eea3","datavalue":{"value":{"entity-type":"item","numeric-id":1344844,"id":"Q1344844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a552c177a4739cbf611b9dd3d87f5a1990b2e317","datavalue":{"value":{"amount":"+0.7584049105644226","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":"Q1978513$89B80A3A-E948-4F91-B814-47FA66EC2F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd0988e246335a2192c141f6cd8376a23f73e78","datavalue":{"value":{"entity-type":"item","numeric-id":2714404,"id":"Q2714404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a552c177a4739cbf611b9dd3d87f5a1990b2e317","datavalue":{"value":{"amount":"+0.7584049105644226","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":"Q1978513$CDA0C100-F327-4BFB-A1BE-8D5DF8E98E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07feede7c37e28000329043b5a16eeee818389d","datavalue":{"value":{"entity-type":"item","numeric-id":5410480,"id":"Q5410480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50e5c9d62bf7d39e13b4a747cd52784f2955913","datavalue":{"value":{"amount":"+0.7552995681762695","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":"Q1978513$E112E125-B9CB-4DB1-90E0-94CCCC072E56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978513","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978513"}}}}}