{"entities":{"Q1344844":{"pageid":1355583,"ns":120,"title":"Item:Q1344844","lastrevid":68515440,"modified":"2026-04-13T00:13:51Z","type":"item","id":"Q1344844","labels":{"en":{"language":"en","value":"Notes on equational theories of relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724105"}},"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":"Q1344844$55608C00-FFF3-4573-822E-BD6BFAA54CEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"654789d28cd7244fd63f49003b68e80b8f5f6901","datavalue":{"value":{"text":"Notes on equational theories of relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344844$55436397-011A-4FB6-B5EC-C70EAEB2E324","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"653db2e4973cebccfea9688aa4497a08f69004f2","datavalue":{"value":"0834.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344844$AA257975-C3C6-4A3C-BF6A-78550A3C6924","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b57d8c8f51bf8c7c95b0ae0734b7e2576f59bbb","datavalue":{"value":"10.1007/BF01190768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344844$6F320519-2244-40D9-97D8-586494D4A2F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b36f8953419b12d7e9e20c7a09e7abcc7fd1d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":987965,"id":"Q987965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344844$B9773AF1-12B0-445F-B4B8-516473191139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344844$07367915-804C-4A4B-B2F0-33F2A2BB9B94","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":"Q1344844$ED28282F-0EF1-4D40-A0A7-D01073108ABE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344844$95B12F5E-AACD-4ED0-9755-A43B56D6BAAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344844$9FF5F328-35E5-479A-81A5-DDB05B5FFCAD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"654f63a974f5596bc45a489531b918ef50df8646","datavalue":{"value":"The paper is a contribution to the equational theory of semirings, Kleene algebras and relation algebras. It studies several equational varieties. The equational class \\(\\text{REL}^\\vee\\) is generated by all algebras of binary relations on a set \\(A\\), with operations union, composition, converse and star (reflexive transitive closure), and constants empty and identity relation. A subclass is given by the theory of full, i.e. total and surjective, relations. The variety \\(L^\\vee\\) is generated by all algebras of formal languages in a free monoid, with operations union, concatenation, reverse and Kleene star, and constants empty language and language consisting of the empty word only.    The main results are explicit descriptions of the free algebras in these classes and proofs that the corresponding equational theories are decidable. These results are interesting for formal languages, relations and dynamic algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344844$9D4843DB-0E67-49B1-8323-DC924D4B4E6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344844$4A0796B7-B5CD-4E53-85BD-59894DEEA963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344844$09E30502-DA5F-45CC-BAF8-6646EAA2EBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344844$021AF9BF-1268-48CF-8ED0-3DC42157B45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344844$3B643715-EB95-4269-A518-D7D7F7908A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344844$1E21188B-1047-4C71-BFF4-BBFB14DBCD5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"561b8a3d9a084a8329bd28d9a82aff4fad0922bf","datavalue":{"value":"724105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344844$D2E77008-CED0-4A3D-851A-0152A69B01DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344844$80F078AE-DF61-499A-9F10-CFCD1189B816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344844$5AE1BD85-4E48-42E4-8610-B3FA0B347813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4558db164c7f575bb520b3fb6e24a7b3ff697af","datavalue":{"value":"Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344844$D691F7FE-A89F-4021-A27C-2EC7DFEA0084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344844$C662E8F8-6FAB-4800-BBAD-13423C585E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675eed55543b423fc7b51c01fc2b52bfa3550283","datavalue":{"value":"binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344844$B04DC5E4-D984-4CFD-B499-3E0BE5E23ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edea1e3f4485e5da2dc4d55673ba5d79e1fa1e6","datavalue":{"value":"algebras of formal languages in a free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344844$DC1ED961-8EDF-4A32-86E6-5C75CD0C43AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36391445f0f3dfece06335c9cb1fe297549dd252","datavalue":{"value":"Kleene star","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344844$673A277D-02D1-4483-85B9-13293EDAD0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344844$1438F99D-5A0A-421F-920F-F4FB3AB995AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6af65d7535a8fbb7d6c22c75741089109e73556","datavalue":{"value":"dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344844$FC75A5AD-3684-41EB-9191-692757E163E1","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":"Q1344844$7DA2047F-2AC1-41F4-923A-0184F880B211","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12af5d9bc8b3f0f080618d60cd7426f415401c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2366691,"id":"Q2366691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344844$EA5F3558-7EBA-48BF-B278-472401B0E57E","rank":"normal"},{"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":"Q1344844$FD446FDD-60A3-4B2F-B1AB-FF1C72A975A0","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":"Q1344844$270F8C8C-CEC7-45D2-B5F7-F8D81317458F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344844$92BDB6C7-1A25-44F6-B2D5-6F970772D6AB","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":"Q1344844$2ECF46C8-DED3-4DBD-AD37-91A63CAAD251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46f0326b647ba2cdf08d8baa3f51cd6a58f37f4","datavalue":{"value":{"entity-type":"item","numeric-id":3994922,"id":"Q3994922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344844$EB3B8251-23FA-4B16-BF10-85D381BDB6BC","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":"Q1344844$F0D1F1CB-EB8D-4A09-94CB-B571EC42FAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9b6fee7afc6e55aa83396b5c6df38a519c39df","datavalue":{"value":{"entity-type":"item","numeric-id":4273477,"id":"Q4273477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344844$16279939-FEB0-453A-84A8-34CD89CBD1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344844$FAB5C21F-7A76-4FB4-9E22-29BA6BBE0C43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c963a7f56dd7e7d2323a103fad76cf382b9b025","datavalue":{"value":"https://doi.org/10.1007/bf01190768","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344844$BAA93235-6B67-4B83-A82B-9048FB8AA556","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e496ac42e7c6ef91c698656f50d9f030d6a4bc2","datavalue":{"value":"W2049894505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344844$3285C338-9A47-41AA-931F-1E65C247B09C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967e8e3abf5ee8837a570c44a1e24bb64cd25178","datavalue":{"value":{"entity-type":"item","numeric-id":4348001,"id":"Q4348001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e7e48b4ddf7b0b135af923754f8d317ab777bc","datavalue":{"value":{"amount":"+0.8510360717773438","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":"Q1344844$498C0A96-D1C7-4B00-8272-9396FD300287","rank":"normal"},{"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":"1fa07126d89818851979efa960aa294ca23766fc","datavalue":{"value":{"amount":"+0.8126339912414551","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":"Q1344844$B2E968F9-7292-4512-919D-205C3FE15B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542061c5c55c836eaf98ce162ee67d77de77f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1894553,"id":"Q1894553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c86681ce03b15adb733783bc9653b47001c247","datavalue":{"value":{"amount":"+0.8059403896331787","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":"Q1344844$DF1EF681-6C68-4D1F-AEA3-268F6FBFC0E3","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":"cea5d22f2b5edc3294ac2526b2f0fe319c9ed923","datavalue":{"value":{"amount":"+0.7891663312911987","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":"Q1344844$77303069-2963-43CC-AF04-77BF1CCDE5AF","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":"89c2c97999d168076342f2f10f1fc9e512073658","datavalue":{"value":{"amount":"+0.782427191734314","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":"Q1344844$4FD680B0-7649-4F2A-A6C4-8BF0CD6DF561","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Notes on equational theories of relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Notes_on_equational_theories_of_relations"}}}}}