{"entities":{"Q1121932":{"pageid":1132681,"ns":120,"title":"Item:Q1121932","lastrevid":66814956,"modified":"2026-04-12T13:02:49Z","type":"item","id":"Q1121932","labels":{"en":{"language":"en","value":"Covering relation in the language of mono-unary algebras with at most one constant symbol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4105039"}},"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":"Q1121932$54ACD754-9E37-4C21-8290-3F52D02D5C69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c856b80ad02160c209c98ba6c13284c29440f1b9","datavalue":{"value":{"text":"Covering relation in the language of mono-unary algebras with at most one constant symbol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121932$8A900F6E-36DD-4EA2-8680-9A26B0EDE7F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91d8a9678fb68475058ba8ac4393de77382f3ed3","datavalue":{"value":"0675.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121932$BBE80685-9311-4616-8503-15B422C0ECBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"246d53c57d015aa9777a92d3d251ea210d3c09f7","datavalue":{"value":"10.1007/BF01236858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121932$FD9F14C5-E410-40D9-8652-D82A6A19977C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21b49f5e6d9da62eb61608c27ee0c65d292b230b","datavalue":{"value":{"entity-type":"item","numeric-id":1121931,"id":"Q1121931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121932$E030C9CD-0E7B-47A0-BB01-7702E8A662A8","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":"Q1121932$F2A8EC1B-D721-4932-851A-ECCC7B236E60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1121932$760F0EA1-9695-4354-B845-AEA7D6BC2B97","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"57179ed3a5d6c9e30cfaf9d5199cf8deee6d3657","datavalue":{"value":"A description of the lattice of equational theories for a language with just one unary operation symbol and arbitrarily many constants was given by Jezek. In the case of a unary operation symbol and at most one constant the author presents effective procedures for finding the theories which are covered by \\(\\theta\\) [E] and the theories which cover \\(\\theta\\) [E], where \\(\\theta\\) [E] is the theory generated by a finite set E of equations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121932$1ACF24FC-BD50-4418-9765-BBF4C8AD0067","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121932$02530DF4-0E3F-4D06-8F0E-1DBC878C0212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121932$187F2875-61CE-452F-A85A-6F10A016E3B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29e48ea8ca22aca4427d9d89250ef8a7c079515f","datavalue":{"value":"4105039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121932$7F436561-3AAF-49C9-B685-7E4A91C8242A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c12277d62c0ea51d3a90b89fb7ed7600c9f0fd44","datavalue":{"value":"monounary algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121932$D388072C-B283-4F9F-8402-172841DB0328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf6d699be011c7cba90faf00144c07463d34f40","datavalue":{"value":"lattice of equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121932$C02B0D6C-B2B1-4CAB-94B7-DEC5E6B3397C","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":"Q1121932$8FEB05D6-81D1-4021-AC10-DA7A8C43B8C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb685d0ec4c76888281f0aa434d4d30778f4592","datavalue":{"value":{"entity-type":"item","numeric-id":2549339,"id":"Q2549339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121932$A31BCE78-A0D0-427A-846A-8C909DF685C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b82125447ccdcd1f3a12801079352a052fc9ef6","datavalue":{"value":{"entity-type":"item","numeric-id":5727671,"id":"Q5727671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121932$79A1FB1B-4D7E-4BD7-BF16-6F020CEBA706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163c74b707ec36d253ce7882db0c1a24b7006ad9","datavalue":{"value":{"entity-type":"item","numeric-id":5581661,"id":"Q5581661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121932$FC10763E-C6F2-4A16-A604-E34E7F0ED28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b94063a8a46bc46e1e6575b6016b614a10cc0b4","datavalue":{"value":{"entity-type":"item","numeric-id":1236558,"id":"Q1236558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121932$4EA6D1B0-6B6B-4369-963E-52F65BFE2859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c916b907f48dfd759bcd52982eaf9cd515bff66e","datavalue":{"value":{"entity-type":"item","numeric-id":3693502,"id":"Q3693502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121932$267F4325-D534-4D0B-B71C-09ED3139A15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67ae762227c51296538bbda84286be3a5cd8050","datavalue":{"value":{"entity-type":"item","numeric-id":1164076,"id":"Q1164076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121932$A37FBBC3-22B2-4F6E-8B11-E195531622D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e890868cae329f37419f03e973319ede37aab4b6","datavalue":{"value":"https://doi.org/10.1007/bf01236858","type":"string"},"datatype":"url"},"type":"statement","id":"Q1121932$8D23FE31-FBD5-4EC8-8765-91C712F62756","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c971d8680c6168fc7af7d186ab548520e75f70fc","datavalue":{"value":"W2088937704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121932$6E25B9C7-0FFB-48C8-A2F4-A2AC6DF3BB4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991e8a7eb6574aa540fe9aca2dbc9a5d0cb52d67","datavalue":{"value":{"entity-type":"item","numeric-id":3788071,"id":"Q3788071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab7e4e97aabaa1abd99bb0a14bcf95bd2937f05","datavalue":{"value":{"amount":"+0.7844727039337158","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":"Q1121932$F7573268-86C7-494D-B54C-EA6D6E8C86D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dad2b7b397c7f7f9f17c32a4d573a0e7421dd4f","datavalue":{"value":{"entity-type":"item","numeric-id":690111,"id":"Q690111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2505f3893ee9fb5db8ccf21319c1fdf11a8c36fb","datavalue":{"value":{"amount":"+0.7764075398445129","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":"Q1121932$BAEE0820-CC7C-45E6-AE1B-55894731D85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c8d084fcef94f52eeaad9fcc8f8061e537301a","datavalue":{"value":{"entity-type":"item","numeric-id":4318107,"id":"Q4318107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e243966820557968f26d7b7269d2c1afcf90caf","datavalue":{"value":{"amount":"+0.7757625579833984","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":"Q1121932$A3BE4A43-452F-4774-BABF-DFB94C1AC8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44cd8a0eeab640d2d4bcdc54b30b1a5371fea3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1802253,"id":"Q1802253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbd524c5ff9856af2c179daf150959a1147a2d5","datavalue":{"value":{"amount":"+0.7732031345367432","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":"Q1121932$F4EE916F-63D9-4A16-A9C3-2AA1E5D974FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ecbf84d1644152438694f33c0220d342a341a7","datavalue":{"value":{"entity-type":"item","numeric-id":1894550,"id":"Q1894550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73194371f1f8e90a4e0a02c272169957575ee27","datavalue":{"value":{"amount":"+0.7727990746498108","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":"Q1121932$C5BE0999-BC4C-4A9F-976C-38CF72017366","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Covering relation in the language of mono-unary algebras with at most one constant symbol","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Covering_relation_in_the_language_of_mono-unary_algebras_with_at_most_one_constant_symbol"}}}}}