{"entities":{"Q2348121":{"pageid":2358864,"ns":120,"title":"Item:Q2348121","lastrevid":78588236,"modified":"2026-05-06T11:57:19Z","type":"item","id":"Q2348121","labels":{"en":{"language":"en","value":"Boolean ideals and their varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6444755"}},"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":"Q2348121$4D414061-2DD9-4E71-9DA0-939BEB6B27E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e656668b1b5218bcc52c741bd0b87c1cd0cd0d54","datavalue":{"value":{"text":"Boolean ideals and their varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2348121$9F686DC9-2367-4E9B-89D1-6E6AAFC6236D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80433e979e768bc52a194452dcc45ee07766a485","datavalue":{"value":"1318.13045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348121$2AB12B4D-40CF-4600-B94F-97DA1A02B8E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9d660888334a227cc4685409dd2de228bf7660e","datavalue":{"value":{"entity-type":"item","numeric-id":412514,"id":"Q412514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$CE8AC826-78E0-4946-A537-45142363F660","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$2F367B7F-AB9A-4FB7-BAA3-2527878BFD13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c27cb401e28eca76ae6dea189c2231278f07725","datavalue":{"value":{"time":"+2015-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2348121$109172B0-3413-4ABB-8F95-8F997DDBD723","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d52bdeabf9ee087be420a6397238dd5b32655492","datavalue":{"value":"https://arxiv.org/abs/1211.3398","type":"string"},"datatype":"url"},"type":"statement","id":"Q2348121$6979ED62-A94B-418C-AE87-E5660A6A77D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e767adca0ca5e2cbef71cded42b972dcbbba6ab3","datavalue":{"value":"This paper is concerned with ideals in \\(R = \\mathbb{Z}_2[x_1,\\dots,x_n]/(x_i^2-x_i, i=1,\\dots,n)\\). The ring \\(R\\) is a Boolean ring: every element is idempotent. An immediate consequence is that every ideal is principal. For example \\((x_1,x_2) = (x_1x_2 + x_1 + x_2)\\). For a general ideal (as a function of \\(n\\)) it is however not quick to write down the generator of an ideal in \\(R\\) (given several generators of the same ideal). The bottleneck is an explosion in the number of terms. In fact, when it comes to complexity theory, a major source of motivation for the study of \\(R\\) is the SAT problem of satisfyability of Boolean clauses.  The main thread of this paper is a study of the relationship between the variety of an ideal \\(I\\subset R\\) and the exponents of the monomials of the generator of \\(I\\). To see the connection, let \\(\\phi : R\\to R\\) be the following map. Given \\(f\\in R\\), first compute the variety of \\(f\\) in \\(\\mathbb{Z}_2^n\\). Next turn each point in the variety into a monomial, using the point as the exponent vector. Finally, sum the resulting monomials to get \\(\\phi(f)\\). One main result of this paper is that \\(\\phi^4\\) is the identity and on the way to this result the author notes many interesting and useful properties of ideals in~\\(R\\).  The methods are Gr\u00f6bner-free, but the paper also gives a nice account of the connections to Gr\u00f6bner-basis theory and discusses complexity theoretic implications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348121$F9DD562E-4107-4761-8512-4B0FD603207C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b38130ed9909b8c7bacb0e241b601af49d4e19ad","datavalue":{"value":{"entity-type":"item","numeric-id":252472,"id":"Q252472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$38EDF445-8146-4E61-B9ED-DFE90556DDA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"90ef62ca3df70431dbcfd5966d7b2dd88d957348","datavalue":{"value":"13P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348121$4EA91BF9-0AAF-45E0-B009-5B2B56C5EEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac7dbdc6439da3df4db829af9393786bef4c8ea7","datavalue":{"value":"06E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348121$DA401F80-1259-405C-8BAE-6396CADFE788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348121$577320CE-E81D-42A2-8064-787C6B226D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348121$555F3C48-15D5-49B8-AE26-6481D919A8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348121$41A767D6-9584-473C-B6A2-C87CA149A622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348121$1BF32FF6-38A9-4699-BE23-1484500640DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88409c992d5f1a004fbf8bee2c042e6e427388f4","datavalue":{"value":"6444755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348121$19C25244-60CD-451B-A74D-4E76FD5207C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af346a384e72cb41119c7897ce7372c11cc304a0","datavalue":{"value":"Boolean rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348121$A4DA8D8D-9F95-4118-8041-15AA482FBA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a86116afc760fe8da86a3117177c7dce063edd40","datavalue":{"value":"Boolean ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348121$CEC0FA18-6FED-40D2-9004-28859DB09FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348121$2CD36FA1-78AF-4F9B-9E5C-009130390F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c08bc0907bc25cfc515d01978fe09418971ad0","datavalue":{"value":"lexicographic standard monomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348121$624A4413-E600-468E-9501-24C0F9119941","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af9f80e527ec777308252c7863176bcae5262c53","datavalue":{"value":{"entity-type":"item","numeric-id":13477,"id":"Q13477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$96D69699-21BF-4515-8661-57BEDEE65542","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":"Q2348121$5EE715C6-A772-456B-9A59-E4D406FBDFA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3a398316bb1173e036c670f9085bbadaac07874","datavalue":{"value":"W2010477561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348121$559CB77E-987F-4081-A2FE-438030CDD73F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b89f4287dbb4901cc6ba9064f810b81f5cb4f38","datavalue":{"value":{"entity-type":"item","numeric-id":5563439,"id":"Q5563439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$4A26B40F-097E-48C2-9258-8AAC649048BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"184a43cdad5edde8a61949138ebf251e705ad481","datavalue":{"value":{"entity-type":"item","numeric-id":1931429,"id":"Q1931429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$7C41479E-315C-4FA1-B4B6-43C9D6710D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"649b7e74dfebe3b487b5b0875a58be0db4fc8916","datavalue":{"value":{"entity-type":"item","numeric-id":1030264,"id":"Q1030264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$962B0A75-6731-4D23-A858-574FE3E2578F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d5f45f0597dc0ee640b8dceeb709248c27f80e","datavalue":{"value":{"entity-type":"item","numeric-id":1017680,"id":"Q1017680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$F46EE6C4-7AD4-4A66-AA16-0C8FC5B8D3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3349e11d7d5fb869cf0be5d1deb97eadeda6161","datavalue":{"value":{"entity-type":"item","numeric-id":1893979,"id":"Q1893979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$E79B2877-AFA5-4977-A5BF-099FD1E5DE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180dcdcd70e7dd722922a02e19e8df3d14ff3abb","datavalue":{"value":{"entity-type":"item","numeric-id":3413659,"id":"Q3413659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$BC1D2B78-974D-481C-AFDD-75AAF7676EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee84a94d60d8bf3d030608081f30425f114293c5","datavalue":{"value":{"entity-type":"item","numeric-id":2457356,"id":"Q2457356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$65479E2C-3D17-4A03-A7B4-6930754A65B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad0fa36e433f566d04f05003ccb5e91712a3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":2494115,"id":"Q2494115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$0A20E84B-4CDF-4A1A-A105-9C20E69FE97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b876e37aab209a6379f03fdc1284fef4dfc8f5e1","datavalue":{"value":{"entity-type":"item","numeric-id":5301609,"id":"Q5301609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$33224CA2-0B05-4181-9FA4-7211F2CE2ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984663f42388c0ecd43f7d8bee514feed2ec4df","datavalue":{"value":{"entity-type":"item","numeric-id":3946078,"id":"Q3946078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$3FF8A6D7-E80D-4BB0-B7C4-E29B48E1586A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb13ef1e94b4223ff3de2d01fe7f8572fed319e3","datavalue":{"value":{"entity-type":"item","numeric-id":633095,"id":"Q633095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$29888BED-FEEA-45FD-936D-393A0BD57A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45693627939fec63d2836fa11bb5f307d8dbed5a","datavalue":{"value":{"entity-type":"item","numeric-id":3899517,"id":"Q3899517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348121$6F5E6E6C-2F6F-4A90-BA00-D44A8C6BB711","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a76473ca50004481c3c894deb6beb6ceee79220","datavalue":{"value":"10.1016/J.JPAA.2015.02.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348121$DCFF47EB-1653-443A-AB74-162A36656DC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ac4232a8348d3e587d6ea58579daa0e75ee1ae","datavalue":{"value":{"entity-type":"item","numeric-id":3598007,"id":"Q3598007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98180276928d9e29796f8fc8f5377b7dbffb4c02","datavalue":{"value":{"amount":"+0.7291083335876465","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":"Q2348121$094E2B7D-8D84-4DB5-BE05-2364C6E0D841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4445b5f6b273ec44ba703b10a5bd2699797fa67b","datavalue":{"value":{"entity-type":"item","numeric-id":1922418,"id":"Q1922418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1ec0aa2b59220eca64ba82ae4df7d9f04277ff","datavalue":{"value":{"amount":"+0.7266717553138733","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":"Q2348121$1AA99CD5-7D3B-4F32-A946-4B28B3D919CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11589f6c253266c3eac920c08694e22a0c5cb558","datavalue":{"value":{"entity-type":"item","numeric-id":3569133,"id":"Q3569133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1ec0aa2b59220eca64ba82ae4df7d9f04277ff","datavalue":{"value":{"amount":"+0.7266717553138733","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":"Q2348121$FDB86638-746D-45E2-90A8-60A7B97F0E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32bad4d53069332fe6793293aa465dc69e1fb586","datavalue":{"value":{"entity-type":"item","numeric-id":4931177,"id":"Q4931177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f8e99b885218396a579e693c502bde6ae41613","datavalue":{"value":{"amount":"+0.7255309820175171","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":"Q2348121$07CCE5FA-0772-4BD3-8959-CB8815357356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222e6775807d3730e7241d5c19679b99612d829b","datavalue":{"value":{"entity-type":"item","numeric-id":1386705,"id":"Q1386705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d33d70fd573b0ffe5d5672a977bdd39a17a680","datavalue":{"value":{"amount":"+0.725155770778656","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":"Q2348121$C5DDBAD2-2A0C-4258-9C60-72405CB9F6CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean ideals and their varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boolean_ideals_and_their_varieties"}}}}}