{"entities":{"Q1272138":{"pageid":1282888,"ns":120,"title":"Item:Q1272138","lastrevid":70043499,"modified":"2026-04-13T12:03:31Z","type":"item","id":"Q1272138","labels":{"en":{"language":"en","value":"Binary operations suffice to test collapsing of monoidal intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226227"}},"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":"Q1272138$F4607897-DE5A-4DDC-B665-751D1DB27A7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07ce50fb07209e95d33a3c5cd5f9e956a7c47fd5","datavalue":{"value":{"text":"Binary operations suffice to test collapsing of monoidal intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272138$661389D3-00B7-46A1-A0C7-8D28BF614575","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9dc7b0cbff1c9ff69d341e647de1395b88164b1","datavalue":{"value":"0903.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272138$E2FE8CD4-8921-4156-8AB9-9524EF6F8338","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":"Q1272138$F918E0F7-2C90-40C9-94DB-465DED99DA62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53fb7273221ce117f6a427df8be22cfe791bdb36","datavalue":{"value":{"time":"+1998-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272138$FE2944A9-FBF6-4C71-BBDA-F6E66459D680","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a0099913240569ddb3fbf2ad28b22a7b94d4c8c","datavalue":{"value":"Suppose that \\(M\\) is a transformation monoid on a set \\(A\\) and let \\({\\langle }M{\\rangle }\\) be the set of all \\(n\\)-ary functions \\(f\\) over \\(A\\) such that for some \\(m\\in M\\) and \\(1\\leq i \\leq n\\) \\(f(x_1,\\ldots ,x_n)\\approx m(x_i)\\) holds. \\(M\\) is called collapsing if \\({\\langle }M{\\rangle }= \\text{Sta} M\\), the stabilizer of \\(M\\).    \\textit{P. P. P\u00e1lfy} proved that for every non-collapsing monoid \\(M\\) there is a 5-ary function \\(f\\in \\text{Sta} M\\setminus {\\langle }M{\\rangle }\\).    The author proves the following generalization of P\u00e1lfy's theorem:    Let \\(| A | \\geq 3\\). Let \\(M\\) be a non-collapsing monoid on \\(A\\). Then \\(\\text{Sta}M\\) contains an essentially binary function.    In other words, the stabilizer clone \\(\\text{Sta} M\\) is either trivial or contains essentially binary function.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272138$0779C3FF-4C23-4D31-A2D9-D96C4B09DA3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272138$E950B014-2714-42FD-A7F3-7A56F8167F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272138$9B77A0CB-0194-4037-BB87-8EC1BC675E51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d031f18d011edb25ad916680d525159fc33d9dd1","datavalue":{"value":"1226227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272138$BF6DE59D-9D53-47B6-844F-87550FB81183","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f062462618db49df5714de79d07cc2e52eef60f1","datavalue":{"value":"collapsing monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272138$90AD7DC9-B62F-4897-A9E3-7BBA97CF838A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e2919efda3d9828b76deb30a63d62ca5b413914","datavalue":{"value":"clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272138$226C7319-1D27-4E7F-ADDA-6AF132BD588D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a8d210c28298f072c89a49cfe46d235cb79e21","datavalue":{"value":"transformation monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272138$990B553C-743A-446E-A074-A3B49073A90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c73b8037db93fdb7af020db63f09bf56fc1c4c8","datavalue":{"value":"stabilizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272138$EF59478C-D154-4CBE-9517-440B3F45825E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4178d53508ddbdf060c7331fc3c81b2c3dd752e4","datavalue":{"value":{"entity-type":"item","numeric-id":1922114,"id":"Q1922114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272138$3196E982-DB5D-4131-B103-D6D820F5B205","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272138$79DD3A84-535E-40E5-833C-38C03101C09D","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":"Q1272138$EE6EB03C-61FF-40A5-9085-90F4CB674F03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86d2dd8f8d9b2a9fd7774a036e7b5ad7bf0b8ddf","datavalue":{"value":"https://doi.org/10.1007/s000120050039","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272138$BB28669C-15FA-4091-A9FF-23D6791F2C72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d5640f50adbb1150cf49b3439771ad02f70f0d4","datavalue":{"value":"W2056797023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272138$D607B178-B70E-4CCC-AF1B-B53DD5764DBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd70dcecb3875986e05d2e1fc9bd0793646f8c69","datavalue":{"value":"10.1007/S000120050039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272138$B5B3055A-B710-472A-8304-8B8AF84A3592","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490c79206f06469ac2648d826409262afcd2c6bf","datavalue":{"value":{"entity-type":"item","numeric-id":4671966,"id":"Q4671966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e23b1ee4fcd76efb89745b8e901e30a22db0188","datavalue":{"value":{"amount":"+0.87507725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272138$33029A26-02EE-4D72-8962-EECB271E05C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7d960506843119f53df7f6b7961c5d9925c9ac","datavalue":{"value":{"entity-type":"item","numeric-id":2153512,"id":"Q2153512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2441d80db15733e1da2fc56cada50ff6c67f9ae8","datavalue":{"value":{"amount":"+0.82581013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272138$AF55D653-963A-4F99-9319-B8737EF8702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd929551608a2a5b114a8be0df093cdced2b50dc","datavalue":{"value":{"entity-type":"item","numeric-id":3312231,"id":"Q3312231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c053073e0e36a07983b288cb6e9c3ba15df8f95","datavalue":{"value":{"amount":"+0.8192208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272138$E64C9C81-A7DD-425A-A289-564F2789A5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995ad4caf45d8502dbae0feda3082c26891a2dd1","datavalue":{"value":{"entity-type":"item","numeric-id":997115,"id":"Q997115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9d26349aac9ecb90a4fd5878afde91c9ef23d5","datavalue":{"value":{"amount":"+0.8074679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272138$598DFFED-1684-4919-BCF5-4CE56F65CAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"654218f1aedd3265e1b7b6274b2795922d274aca","datavalue":{"value":{"entity-type":"item","numeric-id":522226,"id":"Q522226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a60fba4f8076e2de62fab2094f15328b3613ff","datavalue":{"value":{"amount":"+0.8073358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272138$E2647ED2-18CB-48EC-8533-71F78914FCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60668e675a85831cfd8ae713b537ef2acdc06258","datavalue":{"value":{"entity-type":"item","numeric-id":2496165,"id":"Q2496165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea6538ab1f867f2f30ae221a138a957d42be2ca","datavalue":{"value":{"amount":"+0.8069365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272138$A94925CB-C69A-4267-A129-4F63CAE9870C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb091b286e0c1ed66e1ac3ca7032b8e20af1ac2","datavalue":{"value":{"entity-type":"item","numeric-id":1355653,"id":"Q1355653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39fe81e5c02742837799c008f17c055203db34fa","datavalue":{"value":{"amount":"+0.80655843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272138$D1355154-E09D-4E22-83FD-ADDD0AF87328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3bb96f26f880596c5c870776678b3cb8700123","datavalue":{"value":{"entity-type":"item","numeric-id":512370,"id":"Q512370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b80c5c030e8235d60e2c09fcf5692141fcdb8a9","datavalue":{"value":{"amount":"+0.8025507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272138$C3BBD1F4-0517-4DFD-A15E-86DECC1C6F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb042a36191fbd27022e36d784e6c4f4cd710671","datavalue":{"value":{"entity-type":"item","numeric-id":2283278,"id":"Q2283278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0c99554c99dab655cbd2fd72dabbf4d673b027","datavalue":{"value":{"amount":"+0.80109274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272138$99849353-EAFC-407B-A6B6-C9945D3014E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5b194c6b427bd3454f3bfd5322243336a0d50e","datavalue":{"value":{"entity-type":"item","numeric-id":4344296,"id":"Q4344296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e62258432b550d013363b0ac36e1278c2b936c4","datavalue":{"value":{"amount":"+0.7999871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272138$13744E10-AB01-420C-A163-24AFC59CCC07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Binary operations suffice to test collapsing of monoidal intervals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Binary_operations_suffice_to_test_collapsing_of_monoidal_intervals"}}}}}