{"entities":{"Q1121302":{"pageid":1132051,"ns":120,"title":"Item:Q1121302","lastrevid":49281961,"modified":"2026-01-06T21:48:52Z","type":"item","id":"Q1121302","labels":{"en":{"language":"en","value":"Involutions defined by monadic terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4103155"}},"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":"Q1121302$D75CAABE-6393-4F49-B39E-71833931A783","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f601d30a1b973e9068d3e12a5e31a6ddf2ca3e17","datavalue":{"value":{"text":"Involutions defined by monadic terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121302$E424F09B-7207-4D39-A8A5-7FBE84E6986F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bccb73843b4bed77a7b03c3ccd9c5de3ba4b3a9","datavalue":{"value":"0674.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121302$375AD596-DE9D-4E44-B255-939642071CC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78b45312368db35f46c0b95059116de7c33c4b88","datavalue":{"value":"10.1007/BF00671567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121302$99D24674-E2C9-407B-842B-42010FCA95BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fd20a3f39dc5ea0f18531f9ec3674bf83941b94","datavalue":{"value":{"entity-type":"item","numeric-id":186044,"id":"Q186044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121302$41DA86C7-BC67-4506-928E-4C7258483161","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121302$B22E9980-380E-4780-BB10-BD1B3DDBB800","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1121302$D3A79426-14F3-4BDD-A5AF-06D2F2ACFC51","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3932fd2a6ee27d7d47596dc9c4c6c84f70b04519","datavalue":{"value":"The variety of monadic algebras is the class of all algebras \\((A,+,\\cdot,',\\circ,0,1)\\) of type (2,2,1,1,0,0) such that \\((A,+,\\cdot,',0,1)\\) is a Boolean algebra and the following identities hold: 1) \\(1^{\\circ}=1\\), 2) \\(x^{\\circ}\\leq x\\), 3) \\(x^{\\circ}\\leq x^{\\circ \\circ}\\), 4) \\((xy)^{\\circ}=x^{\\circ}y^{\\circ}\\), 5) \\(x^{'\\circ '\\circ}\\leq x\\). Let \\(\\gamma (x):=x^{\\circ}+x'x^{'\\circ '}\\) and \\(\\beta (x):=x^{'\\circ}+xx^{\\circ '}\\). Then 1)-4) together with 6) \\(\\gamma (\\gamma (x))=x\\) or \\(6')\\) \\(\\beta (\\beta (x))=x\\) are bases of identities for the variety of monadic algebras. The involutions \\(\\beta\\) and \\(\\gamma\\) give rise to an interpretation from the variety of bounded distributive lattices into the variety of monadic algebras [see \\textit{R. A. Lewin}, ibid. 46, 329-342 (1987; Zbl 0647.08003)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121302$E3C03A76-EB58-4F1E-9C17-E1AC22B1A306","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121302$C8003E91-A9F3-4FCB-B68C-643CA5F3AAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121302$3EB0B7D2-8A72-446E-A649-95A365629944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121302$6F12167E-A92C-42D1-862D-EC48B134F595","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ece50edd71b142256e22bcfeab78203f1c87c476","datavalue":{"value":"4103155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121302$61B5713E-B2F9-415D-81EE-14A2E4D82164","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f7bc8a3a49b3b925de4dfb243c663a9c24507bd","datavalue":{"value":"bases of identities for varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121302$6F650578-FAD7-4839-8624-1716DBC41AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa23327d7c003d51c7431be5020d5b7a4435de01","datavalue":{"value":"variety of monadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121302$759942E6-71C5-4172-BF5E-3082FD4F8FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5374d6381d8d140e3843583e0e15bce148c51efb","datavalue":{"value":"bounded distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121302$D677D16C-F484-4F80-8CF5-95B13F31EDF4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121302$5459DB0F-326C-44BC-BF83-55901AA673B7","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":"Q1121302$21B04109-C5CF-4D23-8822-1BB9984019A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3d2f911ecb3b5590d70035c532dcb4003778fb","datavalue":{"value":{"entity-type":"item","numeric-id":3875896,"id":"Q3875896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121302$EB042634-CB94-46BB-A0EB-EA172FCED48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeb5037f851962569191306a95268775e451fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5335309,"id":"Q5335309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121302$DDBBCCC0-35F5-40A7-9B3B-A3B6C00C7951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85438f12b2728ba9c19aea71f3be4f00937583b1","datavalue":{"value":{"entity-type":"item","numeric-id":3347940,"id":"Q3347940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121302$278DF9DB-6E50-47C4-9F3B-9E97A80D55AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49e43350a07c5110a63cc792da4247e31158602","datavalue":{"value":{"entity-type":"item","numeric-id":1104351,"id":"Q1104351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121302$CFCE0DE0-6A38-44BF-8E83-9004B337D983","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a993f5869913c5a189f0c96b482d99f3e317140f","datavalue":{"value":{"entity-type":"item","numeric-id":3553892,"id":"Q3553892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078b28b8e70919ff81e2a08ccb5e115a11064d9c","datavalue":{"value":{"amount":"+0.7574242353439331","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":"Q1121302$4DE9154D-8563-4C8D-BA8C-1EE346DAA8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54c1390c4c1db7caea05078f2bcd9c82ea7f5b7","datavalue":{"value":{"entity-type":"item","numeric-id":4801736,"id":"Q4801736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a0e8679f653d401aed4b0070993b3e6c9c4dd1","datavalue":{"value":{"amount":"+0.7417477965354919","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":"Q1121302$B25727B3-6F36-483B-9702-2D6900311EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ac94350060337be9992b2623dfd6fb96ce04f5","datavalue":{"value":{"entity-type":"item","numeric-id":5436991,"id":"Q5436991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fd33140c6f7bd04d8157be12fe4dff5b75c8ff","datavalue":{"value":{"amount":"+0.7337142825126648","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":"Q1121302$38306376-F42B-4B89-9D9D-938097B9892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aff3d19e3cfa71a45225feb019a09731ba7b181","datavalue":{"value":{"entity-type":"item","numeric-id":780237,"id":"Q780237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8887f9ddb8b2a3d527a6cfca11e9cd1a7ea613a2","datavalue":{"value":{"amount":"+0.7249553203582764","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":"Q1121302$2C744185-C183-4A38-A003-2E64A4DB2FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652e3ddbaaa0482fa49c40e3689e31a387b98509","datavalue":{"value":{"entity-type":"item","numeric-id":2450844,"id":"Q2450844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403a2f125711089c4a052ac31ea72373ec94276c","datavalue":{"value":{"amount":"+0.7218088507652283","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":"Q1121302$1AD0A41A-AD31-4807-8A41-4FE526D22AF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1121302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1121302"}}}}}