{"entities":{"Q924135":{"pageid":925983,"ns":120,"title":"Item:Q924135","lastrevid":65414349,"modified":"2026-04-12T02:25:44Z","type":"item","id":"Q924135","labels":{"en":{"language":"en","value":"On a quasi-ordering on Boolean functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279825"}},"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":"Q924135$2F305E0C-F86E-44FA-98FB-D2D06D919EA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61513ec3bd40f75df9deb4071cc97a7bec57dc81","datavalue":{"value":{"text":"On a quasi-ordering on Boolean functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q924135$D58B6C28-0336-412C-93B4-3B69DFAB9414","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17b1b50188a0f7b6c395789a703f7ce9a9664efa","datavalue":{"value":"1143.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924135$0B5BE3BC-6EA5-4D3D-85A9-534ECF562A90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22ee8e74264b97280281ca9a75d0b37d2891d2eb","datavalue":{"value":{"entity-type":"item","numeric-id":251911,"id":"Q251911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$CB7B3563-26D8-47CC-B353-080134207128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e0030acd98cbe4786cbae362aba391b5681a10","datavalue":{"value":{"entity-type":"item","numeric-id":186055,"id":"Q186055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$325D59F1-40AD-4221-A574-9148913BAE36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$57D7CF2C-13BA-4E73-8C1E-3BD44356A5D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f20483ddfe1246d1bdad0b17830e08400d7b4745","datavalue":{"value":{"time":"+2008-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q924135$733731F3-FCB3-4A98-B02E-F243325CD390","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5aefe77745338911754670f562c3a1d8980785e6","datavalue":{"value":"https://arxiv.org/abs/math/0601218","type":"string"},"datatype":"url"},"type":"statement","id":"Q924135$0D784C27-4ED7-4DA3-B05D-9C5D7CE3DDD7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"67fd12dc9463f61b908a10280c2572f9565b55f4","datavalue":{"value":"The set \\(\\Omega=\\bigcup_{n\\geq1}B^{B^n}\\) of all Boolean functions is quasi-ordered by the following relation: the functions \\(f\\in B^{B^n}\\) and \\(g\\in B^{B^n}\\) satisfy \\(g\\leq f\\) iff \\(g=f(p_1,\\dots,p_n)\\) for some \\(m\\)-ary projections \\(p_1,\\dots,p_n\\). Let \\((\\widetilde{\\Omega},\\sqsubseteq)\\) denote the partially ordered set associated with the quasi-ordered set \\((\\Omega,\\leq)\\). It is proved that \\((\\widetilde{\\Omega},\\sqsubseteq)\\) is equimorphic to the poset \\(([\\omega]^{<\\omega},\\subseteq)\\) of all finite posets of the set \\(\\omega\\) of integers, where two posets are called equimorphic if each of them is isomorphic to a subset of the other.  The authors also provide functional equations which characterize the class \\(E^k\\) of Boolean functions with at most \\(k\\) essential variables and the subclass \\(L^k\\) of those functions in \\(E^k\\) which satisfy \\(f({\\mathbf z}_1+{\\mathbf z}_2)= f({\\mathbf z}_1)+f({\\mathbf z}_2)+f(\\mathbf 0)\\). There are many other results in this paper, which is higly technical but self-contained. It also contains numerous references to papers which study the qoset \\(\\widetilde{\\Omega}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q924135$4C289350-3091-4FB2-BE09-DCEA408D7694","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$1B0D5427-5815-4042-862F-722003FCC848","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924135$82D41CD8-AD74-412B-90F3-361355379FE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e081d1ca1e1272dec677f2f1b2fb2bf02276b8e","datavalue":{"value":"5279825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924135$72EDC3E9-2DB6-4E72-A5A3-C84DA5B2E297","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5058b1e1a86c7c1adb37dc5cf7ffe28ec77954e9","datavalue":{"value":"quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q924135$04841C08-7095-428C-97A8-B5B86AD5C93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q924135$1C4C175F-38DA-47BE-9967-0F1251B410C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d9ec77b0669b77734b6831d672122e99e5245c","datavalue":{"value":"minor","type":"string"},"datatype":"string"},"type":"statement","id":"Q924135$2D601BE8-2CFD-40D4-A0FB-7D4177031FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40bcef9067b0a0b5b2ff5e5225a97687c52fe7da","datavalue":{"value":"essential variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q924135$ED5257A2-C387-422B-BE60-E1B7323AD551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea719b363176bc9a50fff27fab38bff9497aa667","datavalue":{"value":"equational class","type":"string"},"datatype":"string"},"type":"statement","id":"Q924135$30518E80-7150-4E60-882E-8FC4ED292BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c436b11cc7aad0af0e6054991ee182cdf6456d91","datavalue":{"value":"relational constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q924135$D32F9DE7-A0B2-4DCC-BE44-E3132F57D386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8188687443053315e00b8da6a0924aebae21a8c1","datavalue":{"value":"linear function","type":"string"},"datatype":"string"},"type":"statement","id":"Q924135$7CA97023-364B-4F7B-96FB-CCF0CC716016","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":"Q924135$8A0F6403-2B35-4709-A721-43619E312883","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27b523d6d69f579d14b910b952c6a473e554939f","datavalue":{"value":"W2117842048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924135$8F85860C-EFEF-4918-B9AB-0838E31EB742","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2346f07c809627bdc640953dc2af3b6b8664a5ec","datavalue":{"value":{"entity-type":"item","numeric-id":2385436,"id":"Q2385436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$7E0E3889-E1BD-49F4-8E2B-F7E3904B7305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc65006f0c0ba2af0f625f369428e8d91fb14923","datavalue":{"value":{"entity-type":"item","numeric-id":5701819,"id":"Q5701819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$11E5596E-2CA7-4557-B8FC-4F730D9A9D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4e3e62026a32ea3889fa99ee321b37b138d95f","datavalue":{"value":{"entity-type":"item","numeric-id":5389214,"id":"Q5389214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$0B881401-FA4C-45C6-96AD-9F35EBAC1350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb46d1dea000e9937eec61fcda5b26d3f06c3d73","datavalue":{"value":{"entity-type":"item","numeric-id":2577758,"id":"Q2577758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$7C132F51-378F-4363-800F-309C1ACE5841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d545e65c5cdb0e1fa8f9a27099ba9202b7c625df","datavalue":{"value":{"entity-type":"item","numeric-id":5748174,"id":"Q5748174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$B1491FBC-4ECD-4970-871D-8AD44D0D6A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c923c704e364d7236c477b0f99a7f67af70448ab","datavalue":{"value":{"entity-type":"item","numeric-id":5422556,"id":"Q5422556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$F506E027-C4A8-4718-8CD1-685AA1BDB2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b802504ddc61dbeb87faeaf01a2b9a11ba1a4a3","datavalue":{"value":{"entity-type":"item","numeric-id":856872,"id":"Q856872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$8FD26984-EA27-4396-B2E7-73438F8DF805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$1C3A10CF-45D6-4AF2-B08F-7759023D1928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd6e37a0c2671d98a4817c9c88a4f922deeddd5","datavalue":{"value":{"entity-type":"item","numeric-id":1969777,"id":"Q1969777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$8A11CBCB-144E-4E03-A031-ADCF04ABB80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c736a972e27913928940861c131f7f692a74de91","datavalue":{"value":{"entity-type":"item","numeric-id":1878400,"id":"Q1878400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$DB0AD17C-09A0-4CBA-BBBC-E0E8EF9B8FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998e223d942eb37a1ca885766de03ad261bb8b88","datavalue":{"value":{"entity-type":"item","numeric-id":1841905,"id":"Q1841905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$D430B75E-5E28-499C-A2F3-AECEFAE1FE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d30d6f1ebbb66d6354334692f324b5c738ac725","datavalue":{"value":{"entity-type":"item","numeric-id":5393808,"id":"Q5393808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$8B3BD636-3612-4B20-A2B3-150EB64E19E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c0e22a4f6dd115a6d4784e2d102e0c47d509393","datavalue":{"value":{"entity-type":"item","numeric-id":2755077,"id":"Q2755077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$6481D3D0-F30F-4450-AA5A-65FB79D86CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04fb702774e8379a072aabd3073f1f729a4f9458","datavalue":{"value":{"entity-type":"item","numeric-id":4354427,"id":"Q4354427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$35DE5FDB-FD7F-463B-8716-D5C657B5DB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5038ff04f5a788929fff0bc1c34fd45daee1c6","datavalue":{"value":{"entity-type":"item","numeric-id":1613555,"id":"Q1613555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$3B0673BA-2C2D-40F2-9B9E-3DA94DFFE4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea6fee85a0832ff727c3dde71faa436f6c4d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4544374,"id":"Q4544374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$818CD048-B15F-4F76-8CFD-86C241628A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd9836e43648f737ad61e494dd0aad11349fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5344158,"id":"Q5344158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$66B2AC45-13CB-4871-93E4-8DF0556B250D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b3eac7f018e313e2775e2a7103029c0cf3a4b4b","datavalue":{"value":{"entity-type":"item","numeric-id":1894774,"id":"Q1894774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$ED7A6864-F470-4F41-8EC4-E9531F3A9394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ccb96ca8158466d2f5e24edbab00aea527cd76","datavalue":{"value":{"entity-type":"item","numeric-id":2387440,"id":"Q2387440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924135$48DA8A16-DAF7-4696-BBAE-1FBD4D863030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"454dc84dae09c6e4d9c54eeadbd9e6f3316b4030","datavalue":{"value":"10.1016/J.TCS.2008.01.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924135$03F0DF9C-455B-4D2C-AD7D-FDD3672DEBCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb00f339c2845107f9084d92c83792144fe8310","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd841243cfe6495efbe236f3d0fabfe07ac1a1b","datavalue":{"value":{"amount":"+0.7933586239814758","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":"Q924135$9DAD23A6-FD5E-4CE4-85E1-0096083954CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68d35fd1d6711026d5f2d31b5299b00de37eddf","datavalue":{"value":{"entity-type":"item","numeric-id":5445408,"id":"Q5445408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1146ab4437860ba7cba8577df14b3237c867ca94","datavalue":{"value":{"amount":"+0.7901403903961182","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":"Q924135$E9F118D0-D5E8-4BF8-AB8A-26D6554402C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e370cfdd02684d7633b2b12473456f806b9d71","datavalue":{"value":{"entity-type":"item","numeric-id":1969777,"id":"Q1969777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f947649f155a27f3b9080838d3d334ecdecb5459","datavalue":{"value":{"amount":"+0.7827765345573425","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":"Q924135$369FC0A7-307A-4475-A89D-940AC9602EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb25d1b8c2c8e779a9b252866bf4f1c59e51380e","datavalue":{"value":{"entity-type":"item","numeric-id":3338305,"id":"Q3338305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f947649f155a27f3b9080838d3d334ecdecb5459","datavalue":{"value":{"amount":"+0.7827765345573425","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":"Q924135$FD6ECCCE-69F7-4BC2-BCCF-A171977857C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf573d83c4dd2debd2140c14ab08355a17d6b22d","datavalue":{"value":{"entity-type":"item","numeric-id":603893,"id":"Q603893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3483093eb84b033717beb56492c4908b8a430176","datavalue":{"value":{"amount":"+0.7795838117599487","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":"Q924135$1E02C7A2-1087-4AB8-B681-0EF1D3FD8DAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a quasi-ordering on Boolean functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_quasi-ordering_on_Boolean_functions"}}}}}