{"entities":{"Q1097288":{"pageid":1108040,"ns":120,"title":"Item:Q1097288","lastrevid":66967704,"modified":"2026-04-12T14:03:06Z","type":"item","id":"Q1097288","labels":{"en":{"language":"en","value":"One-generated clones of operations on binary relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033806"}},"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":"Q1097288$BC84DA4F-B0BC-4F36-87D0-D7E5A6FFDA80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa5ccdd480cee481a7d5b8a82dd18ff00528abb2","datavalue":{"value":{"text":"One-generated clones of operations on binary relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097288$CB99339C-1A42-4AC4-AE3A-516A98B477C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b438d487840fe6f13a2483e85deed103ef1d6bb7","datavalue":{"value":"0635.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097288$3FC085DB-03BC-4E10-9D00-F2465FE5C04C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8afd241b7731fa8e2bbbeb5f1b74e34ce0aedddb","datavalue":{"value":{"entity-type":"item","numeric-id":1097287,"id":"Q1097287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097288$A6705851-07F6-4F74-90E9-A4C9CBD5AF3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097288$30EB4317-89FA-474D-8037-1321380FEF2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1097288$E10CF72C-5926-46A6-BC75-36200CC2BAE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"235f24412d34e7a3edfaa93c174a8caf754803be","datavalue":{"value":"https://eudml.org/doc/138351","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097288$18AC7051-44E8-45D2-91B5-F68B3283DC0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"928071e8dfa6644d2ed67fac21ca00442d9834e0","datavalue":{"value":"A clone over a set A is a set of finitary operations on A closed under superpositions and containing the projections. The author investigates clones over the set Re(U) of all binary relations on a set U with at least two elements. He shows that every finitely generated clone over Re(U) containing the Sheffer stroke is one-generated. In particular, every clone over Re(U) containing the Sheffer stroke and the relational composition is one-generated. The ``classical cone'' over Re(U) is the clone generated by the Boolean set operations \\(\\cup\\), \\(\\cap\\), \\(\\emptyset\\), \\(U\\times U\\), \\({}^ c\\), the relation composition \\(\\circ\\), the operation of forming the inverse \\(^{-1}\\) and the identity relation E, where constants are regarded as constant unary operations. It is proved that the classical clone and - more generally - the clone of an arbitrary relation algebra in the sense of \\textit{B. J\u00f3nsson} [Algebra Univers. 15, 273-298 (1973; Zbl 0545.08009)] is one-generated by a binary operation, thus solving a problem posed by J\u00f3nsson.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097288$244A8E0F-8AFC-4355-B252-1B11B335B2A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097288$C0011E84-53E5-48C6-B921-A7523D1DA3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097288$10DE6008-64A0-40C5-8535-DD9E230AE33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097288$6389B61C-651B-45C0-B6D4-29D40B2D4E23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c931f9d8e7ae0c2cac21ff4ea0174c15e29d9249","datavalue":{"value":"4033806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097288$66069439-FB47-4A86-9E33-C913FD17EC3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d315cc60e214ff9fd8d44532efa60e689096ed5","datavalue":{"value":"clone of operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097288$83032B82-BFDD-4BC8-B93C-85EAC0B1DDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675eed55543b423fc7b51c01fc2b52bfa3550283","datavalue":{"value":"binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097288$AE8A5187-7FE9-488C-AD20-26B5F070FE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b3ab70ad69cab7bdfac114b339e293ea19c4147","datavalue":{"value":"finitely generated clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097288$4F1E40C6-EC55-49CA-9F98-285049DEFC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4534ce9989fe843863b1f200c40482fcf5e1e260","datavalue":{"value":"Sheffer stroke","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097288$8F6ECC1A-5488-477E-8321-9DA9C2C23B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097288$C614643A-6736-4278-87AB-EEE378D55AD4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91c81d2a07f17bb7a2ffecb85e0f87749274f55f","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097288$CC090C51-49AE-4A7C-8C51-A5523BC33EF0","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":"Q1097288$A0BEF0E3-DC20-48A3-A51C-D573B29507AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c50924ade314360f463709dfcca65b9ed538733","datavalue":{"value":{"entity-type":"item","numeric-id":3684178,"id":"Q3684178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa806a68dfc06ea32be94b4d6975d724b7f0e3c","datavalue":{"value":{"amount":"+0.9163755774497986","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":"Q1097288$93AC15B0-9BDB-4693-9173-A21F3AEE3772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf754880518c0a7d0368526cc1e698a6324239b3","datavalue":{"value":{"entity-type":"item","numeric-id":873741,"id":"Q873741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dececdafc2933e7b36cd467d9ffea06924a3459","datavalue":{"value":{"amount":"+0.8520229458808899","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":"Q1097288$3F408CF4-B8B3-4393-AAC2-3C89105AF0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4c3d1814f7ca8433f1d394c5260f6ee1d0cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":3979086,"id":"Q3979086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e36f3d2001836cc74bc868fbe74199c592cc97","datavalue":{"value":{"amount":"+0.850135087966919","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":"Q1097288$1D9ABE1D-3F7E-4DBF-9772-45FA4467FA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f20f6a6a25caa24fd80293bd7bf1092ba70ca8","datavalue":{"value":{"entity-type":"item","numeric-id":1272147,"id":"Q1272147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be20333c4f83f7de8480f482a8a0d5073588f495","datavalue":{"value":{"amount":"+0.844258725643158","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":"Q1097288$8D5420FC-3CBC-4492-B793-834D53EFBFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09f8dac20d312f0e85349f3e55dd6f2f60fa096","datavalue":{"value":{"entity-type":"item","numeric-id":4011726,"id":"Q4011726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cadb9984c514962294e710bf737597e68701bfdf","datavalue":{"value":{"amount":"+0.8435224890708923","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":"Q1097288$A233510E-592F-4544-A20A-32B8D3072398","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One-generated clones of operations on binary relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One-generated_clones_of_operations_on_binary_relations"}}}}}