{"entities":{"Q628298":{"pageid":630146,"ns":120,"title":"Item:Q628298","lastrevid":63076608,"modified":"2026-04-11T10:26:35Z","type":"item","id":"Q628298","labels":{"en":{"language":"en","value":"On the suppression of variables in Boolean equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5864301"}},"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":"Q628298$89177A6E-28AE-4F50-B88E-2C03221675A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"275d4e492728084c02bc7835d983caeb879d1b32","datavalue":{"value":{"text":"On the suppression of variables in Boolean equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q628298$A3075D63-92A4-4BAA-85E9-03F2406E4A71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fcc66c2c924ff9e2096782d8ab25b6b871b3e71","datavalue":{"value":"1218.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628298$01CFA108-90C8-403C-9466-DEA95DB15CB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ea6639d3f73d70d48269287aeef84434e58cd3","datavalue":{"value":{"entity-type":"item","numeric-id":621642,"id":"Q621642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628298$47B69731-078C-4425-92D4-82297A08C679","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628298$9D1D5F92-6177-48A0-A0CB-8788168C1D58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea47cd398be2e1bd31e6b45d02de9148c81f65a6","datavalue":{"value":{"time":"+2011-03-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":"Q628298$6BC6A0AE-DA2C-4DDC-91D5-801AF32AD47B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7202cb4d2d105170ddcba6097d68d7f18b355a37","datavalue":{"value":"This paper studies the suppression of variables from a Boolean equation, thus yielding a Boolean equation, derived from the parent equation, whose solutions are exactly those of the parent equation that do not involve the suppressed variables. The resultant of suppression, defined in the paper, is derived in a relatively simple way from the original Boolean equation. Three sets of solutions associated with suppression are defined and the relations among the sets are established; an example demonstrates these relations. Finally, the resultant of suppression is applied to the examples given by Marin and Ledley, showing that in such cases it is advantageous to solve the resultant of suppression of certain variables rather than solving the original equation and filtering the desired solutions from the results, in order to save computational effort.","type":"string"},"datatype":"string"},"type":"statement","id":"Q628298$35E6E198-B2E4-414A-8C58-6B81B55F6DA9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af6f91027425e6a3e182e3068da26575ef8e093e","datavalue":{"value":{"entity-type":"item","numeric-id":190560,"id":"Q190560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628298$20871EC4-5C5E-4D14-BB1C-61CE35694F99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628298$1A9DA54C-9C9C-4AB1-A414-23C0C3CE8BE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36eebaa2ea2d0cb807039e0648a634a39a366891","datavalue":{"value":"5864301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628298$0A206E18-9F6C-4D37-BABD-8EA65548A579","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb9948809613feeb70ab019571ba45ede36e063","datavalue":{"value":"Boolean equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q628298$9C87DA4A-AC2D-4ED5-AD35-4E49EC46614F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf479cc507c88476a0f5b248275fd85a5ac48386","datavalue":{"value":"elimination of variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q628298$FC83EDB1-D275-4125-B158-E904870CB092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"082e221dca91443fa9f98e630f8346658ec631c8","datavalue":{"value":"suppression of variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q628298$CC3820D3-74AF-45F4-97F9-089ACBF4BDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63581f67aa85926095f4df90b89269748659931","datavalue":{"value":"simplified solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q628298$04BB1B01-9CFF-431F-9841-2AD8F59D29DA","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":"Q628298$7585E5BD-95A3-4767-9C97-53E3399E9655","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a7ed1421b8af08f83444417fbb0dbf02fa29876","datavalue":{"value":"https://doi.org/10.1016/j.dam.2010.11.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q628298$0CA94073-4F3C-4505-8559-B133D538139E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4abbcc523989cb08b7c2f5613bd8f96e24ae80c","datavalue":{"value":"W2066127269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628298$375BC75D-56B0-4C11-B1AB-6B30E6A00342","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f6a9a7c9da0a601c5ec02e63a65e824a9a7532","datavalue":{"value":{"entity-type":"item","numeric-id":4974982,"id":"Q4974982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628298$A288A727-B49B-4DA2-9FAE-C8726082A60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc76312ff380de47de6b8e5da423dc731f0d670","datavalue":{"value":{"entity-type":"item","numeric-id":3069694,"id":"Q3069694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628298$F3793495-96B5-4E1A-9E47-F63F7FC864E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd54c086af2e43b098cb26ac468515dcb43302d","datavalue":{"value":{"entity-type":"item","numeric-id":4419472,"id":"Q4419472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628298$4E01AD5B-6262-4838-8582-BED90F6394E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94714f972cf9fa12d0f2232bf1c9be2d7d3258f","datavalue":{"value":{"entity-type":"item","numeric-id":5732949,"id":"Q5732949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628298$D86EA103-9709-49E0-9371-E53C6E5AA0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c649cb2b258212db8bc8b744d1bbfa8f2c014e","datavalue":{"value":{"entity-type":"item","numeric-id":5575100,"id":"Q5575100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628298$3BCA44B0-C0F3-412E-8630-B81ABE2125DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa595c975cc96f28daa1bd7521f98f77aeacc40","datavalue":{"value":{"entity-type":"item","numeric-id":4083731,"id":"Q4083731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628298$D199F3BE-50CD-439E-BB0C-CC80A838AFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdee747cc0299eb4279d4a1b241c310f76dad7ed","datavalue":{"value":{"entity-type":"item","numeric-id":2734536,"id":"Q2734536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628298$955984C9-542D-45CC-8C45-9F116EC4E92D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85322c8f8134cafef3b4970e0d2fa547e73a8d7b","datavalue":{"value":"10.1016/J.DAM.2010.11.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628298$C07BAB5C-142D-406B-B8D6-0292151DDBEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f5087d8d7e9b3a04b4b5cb84455cfa845a458df","datavalue":{"value":{"entity-type":"item","numeric-id":4731231,"id":"Q4731231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97274e5b706057c04d2f9bd2ad40eb2a7f3941e0","datavalue":{"value":{"amount":"+0.86115605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q628298$DB4594B1-8A88-4BD3-BBFA-578493C97DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea6917d0a85484b119e75345a3ef25393af3322","datavalue":{"value":{"entity-type":"item","numeric-id":2032298,"id":"Q2032298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be47cedc0b96cba2c7c16bcfa5c4acec4c8eb7d4","datavalue":{"value":{"amount":"+0.8573554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q628298$B99B6987-728C-4FD3-A0FA-929724150E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567d30e4ca1d0fa1811952f5f3998d27440f728a","datavalue":{"value":{"entity-type":"item","numeric-id":3161307,"id":"Q3161307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def29018e3ded96f7f52da18aef2c484baa452a2","datavalue":{"value":{"amount":"+0.8551332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q628298$E43FC641-D968-4B8D-A135-E8082C66E05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606005ca4d50300db16647ba7912f3c249a1fea1","datavalue":{"value":{"entity-type":"item","numeric-id":3635534,"id":"Q3635534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece49677d2c9dd98479064301fb8a370b5292feb","datavalue":{"value":{"amount":"+0.8538719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q628298$E26AC205-AF6C-4198-B13B-68D71E8245CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962810abf84d607b00209a9e28fdbdffd8482be4","datavalue":{"value":{"entity-type":"item","numeric-id":5413064,"id":"Q5413064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa5ac5bb679d43abe4c7fa0bd4c4390bfb8f27e","datavalue":{"value":{"amount":"+0.8493361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q628298$D6ACA077-F728-4B36-AB97-D0BDCE7BFF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb2ae2238d9585232e3db54c6304ec357c1497a","datavalue":{"value":{"entity-type":"item","numeric-id":2770782,"id":"Q2770782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b2920c0fa19fd43e2f34e5e4fbd8a01b1d998e","datavalue":{"value":{"amount":"+0.8426114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q628298$7C01CBEC-7055-4F72-A2CE-1B96FD8C3CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c001c75c7f7afc42607623cfeec2e110d4beeb","datavalue":{"value":{"entity-type":"item","numeric-id":1578492,"id":"Q1578492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a93c016f4ad4e683de70bb0e63e8c1140f32d1b","datavalue":{"value":{"amount":"+0.8418486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q628298$2F65E4DB-A9F6-4AA9-85BA-E626CEB98653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50a8bad94e703878221a430704e19c00edf0331","datavalue":{"value":{"entity-type":"item","numeric-id":1183343,"id":"Q1183343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f103de81eafd0ef002f5fbb539d11b9c3476e145","datavalue":{"value":{"amount":"+0.8414289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q628298$9FE66DFE-7709-4E6C-A208-4FC0DE6A26C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cf493a6abbe868b9f20612138b36f94578be61","datavalue":{"value":{"entity-type":"item","numeric-id":3758900,"id":"Q3758900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0319fc52667cbb7c2a3698704296b4c09f8d18","datavalue":{"value":{"amount":"+0.84139866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q628298$BD0543F1-87BD-42F9-9DB1-5397CF998AB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the suppression of variables in Boolean equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_suppression_of_variables_in_Boolean_equations"}}}}}