{"entities":{"Q1363769":{"pageid":1374508,"ns":120,"title":"Item:Q1363769","lastrevid":46506771,"modified":"2025-12-24T22:38:39Z","type":"item","id":"Q1363769","labels":{"en":{"language":"en","value":"Variable and term removal from Boolean formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1047187"}},"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":"Q1363769$CDF2B46E-B381-41D3-A015-88CABDED2739","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c755c89ac1eb994ac065024fef477036bcc7fff","datavalue":{"value":{"text":"Variable and term removal from Boolean formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1363769$88079BCD-A335-4C34-B73E-3E83BEFC9C0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19fa4fb7b24f8696b37f595316890af1d85dcf29","datavalue":{"value":"0879.94041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363769$2FA04984-3931-4C91-B9A6-2F0018989EA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4de8a1ed41a187f5c5663c4aaa66fb2f189581d0","datavalue":{"value":"10.1016/S0166-218X(96)00028-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363769$5B21A202-B283-426B-9D3B-6923BA61ECAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcffaa345cf4b98989b572d2363e3c95f45d1cad","datavalue":{"value":{"entity-type":"item","numeric-id":1363768,"id":"Q1363768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$3FD7F16F-9179-4239-AC16-662E51AB21D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f0097808e0ebdfd3bc5250e1c6d60df9ca6cc","datavalue":{"value":{"entity-type":"item","numeric-id":1278721,"id":"Q1278721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$471DC5E1-B17A-4BA6-A0C1-9ABE2A0DFE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ae8a1f67117b1c40e7224a6ee62353a2cf60cb","datavalue":{"value":{"entity-type":"item","numeric-id":188437,"id":"Q188437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$3009DC36-22DC-4F4D-B493-E225D4891782","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":"Q1363769$BBB8D0BF-CF9B-4695-B8FE-5E01F4E67A89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4792ae2ab319fd603aad0c994faff1f40f5e4ae","datavalue":{"value":{"time":"+1998-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1363769$A1D39E37-31A3-4F49-A514-E347B9D577FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3395a2cd6863e39784161d0f578415f36fc38e6f","datavalue":{"value":"http://www.elsevier.com/locate/dam","type":"string"},"datatype":"url"},"type":"statement","id":"Q1363769$78515488-018C-4FA5-8057-E607D8185B09","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7059f74cfea2819232d31d0976e2628d8b0629c5","datavalue":{"value":"Disjunctive normal forms (DNF's) \\(\\Phi\\) over a set (of variables) \\(V= \\{x_1, x_2, \\dots, x_n\\}\\) are considered. A subset \\(\\pi\\) of the set of all DNF's (over \\(V)\\) is called a property. The fulfilment of four conditions (1)--(4) is supposed where (1) the trivial DNF's \\(\\Lambda\\) and \\(\\Phi\\) (i.e. the simplest DNF's that represent the constants 0 and 1, resp.) belong to \\(\\pi\\), (2) there is a DNF \\(\\Phi\\) such that \\(\\Phi \\notin \\pi\\), (3) whenever every term of a DNF \\(\\Phi\\) is a single literal, then \\(\\Phi \\in \\pi\\), (4) if \\(\\Phi \\in \\pi\\) and \\(\\Phi'\\) is got by deleting a term from \\(\\Phi\\), then \\(\\Phi' \\in \\pi\\). Strengthening Condition (4), we say that \\(\\pi\\) is a term-induced property if the containment \\(\\Phi \\in \\pi\\) and the sentence ``every term of \\(\\Phi\\) belongs to \\(\\pi\\)'' are equivalent.   Let a property \\(\\pi\\), a DNF \\(\\Phi\\) and a subset \\(S\\) of \\(V\\) be given. Let \\(\\Phi \\backslash S\\) be the DNF which is obtained from \\(\\Phi\\) by deleting each occurrence (noncomplemented or complemented) of the elements of \\(S\\), we say that \\(S\\) is a VD-set of \\(\\Phi\\) for \\(\\pi\\) if \\(\\Phi \\backslash S\\in \\pi\\). We can get \\(2^{|S|}\\) DNF's from \\(\\Phi\\) by fixing the elements of \\(S\\) (to the values 0 or 1), we say that \\(S\\) is a VF-set of \\(\\Phi\\) for \\(\\pi\\) if all these \\(2^{|S|}\\) DNF's belong to \\(\\pi\\).   Let us mention two typical results. If \\((\\Phi,S\\) are arbitrary and) \\(\\pi\\) is a term-induced property, then the VD-sets and VF-sets coincide. For any \\(\\pi\\), the task of finding a minimum cardinality VD-set is NP-hard.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363769$5E7FFF17-08CF-48D2-B985-97D269BCB97D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"abaca39f57b88d5b84a55faf23983ba21a1625b6","datavalue":{"value":{"entity-type":"item","numeric-id":588092,"id":"Q588092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$DD6DF468-F73F-4818-B927-D34E50EE2EAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363769$556F028A-BED9-4709-87E0-B1ADD237C429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363769$DB7854B9-5C51-4B3C-83E6-DC31294BAF9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"107c343c564c3f4b656672afe14d650fa7e1ed9a","datavalue":{"value":"1047187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363769$FD0373EE-7F54-4087-8F58-E887D891C14F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363769$38ACE190-1CDB-4200-8C08-8A742B992F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51176d6ab6a2bfd9014bb0739f50697325704bb6","datavalue":{"value":"disjunctive normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363769$A67E5319-CA51-4FE4-B8A5-5617DC2B9600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ee2dcf71a5ba20d9fbeb77c11517ddab390e3c9","datavalue":{"value":"VD-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363769$C92A6BED-95AD-4282-A8AD-36EA9DC18C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a50cfdab35fcc483de5281e97bf761c56c0d9544","datavalue":{"value":"VF-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363769$93D00563-2F69-4E44-BBC1-C33FAB2D3BAA","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":"Q1363769$ACC3A430-C2A2-40C3-8573-2A556ED05268","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c88b6cc73c03c7f6e59b9df82ee73d81dfba54a","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$A8FC2E4A-0C68-4524-A35C-CA9FCEC26CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71f2d332360f09a62b7e9e7a47b5aa0286a78e4","datavalue":{"value":{"entity-type":"item","numeric-id":4286227,"id":"Q4286227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$DF867AE9-26B8-4939-BA6C-C3AA1F003AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eacefc5e1c594f98798d4d7c96b5f584d4ce46a","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$68226FB3-2042-4275-877E-A1CC93D980E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b70805b996ac71796cbf64a76b6ecca1430283","datavalue":{"value":{"entity-type":"item","numeric-id":3680754,"id":"Q3680754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$53AD9C4C-2923-42C0-A227-0CF4F7DC9AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e02e9c674d233134ea38fb41ce14c527d11d38","datavalue":{"value":{"entity-type":"item","numeric-id":4431379,"id":"Q4431379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$08F5BEFF-949B-48CF-A183-7DDF9EFE75F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3429f66618842c840bb9501fb60cac94143f7658","datavalue":{"value":{"entity-type":"item","numeric-id":1198035,"id":"Q1198035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$012572FD-92A6-43F4-AC26-3456A7221215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903be65f2ce4dfc9de2cb4616261a15d63aa1637","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$2F5DC78E-D689-4431-BCA5-1D8D069414BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$A8A7AEA8-E97E-4F40-8E17-3B04FD6E898E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$F03550A8-B80A-4F1B-A08E-70667789287C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ec5477ed81b4bd9beebf6ad8b16c4546d8f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":5538300,"id":"Q5538300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$80EEB4C1-32B5-4F86-A154-F8D212374877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e59c111d12cf14599d3ca95b269f4dfc54948","datavalue":{"value":{"entity-type":"item","numeric-id":4140416,"id":"Q4140416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$275AF031-A95C-45E7-9835-EBAA6EA1473E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7a6c6b8ed22abfff754835104aaed55a1d4a80","datavalue":{"value":{"entity-type":"item","numeric-id":1140988,"id":"Q1140988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$971C2901-0C7E-4085-86D0-A78628B4BC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4a9a9dc22c9aa32725fe2a87b37ee0604e0dff","datavalue":{"value":{"entity-type":"item","numeric-id":5655273,"id":"Q5655273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$5BB274EF-5B3F-4BE4-99B0-47C178F29F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53931acda4d1de6fffc8c785b472a64b77dbbda9","datavalue":{"value":{"entity-type":"item","numeric-id":5402565,"id":"Q5402565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363769$C47BBEC8-FF2C-4865-AB80-6F78B448C47A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57bb13ef45e0ef6ff61bb50afeb951a02f10549a","datavalue":{"value":"W1983342871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363769$26AA6F77-DE88-45AC-B63C-60064F7FA5FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da89cc8841e96e3c98564bb811abca49dddb6c42","datavalue":{"value":{"entity-type":"item","numeric-id":3705361,"id":"Q3705361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ba86ad14df180b29ce7fed8e07512a4f9387fe","datavalue":{"value":{"amount":"+0.7658948302268982","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":"Q1363769$5130FBF1-BA90-40B1-A3C4-9BEF0CA132F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6185d5b5751ce6322e189ec54a56a91cb5071d5","datavalue":{"value":{"entity-type":"item","numeric-id":5661423,"id":"Q5661423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0274ff1978a204ddba51d031635a7ba72d622366","datavalue":{"value":{"amount":"+0.756098747253418","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":"Q1363769$5098EE08-2BF2-4E0D-9B40-534D263F9408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0ae649404e9014f4dcd2ad394e4c9d16f521fd","datavalue":{"value":{"entity-type":"item","numeric-id":5727651,"id":"Q5727651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e6efd33df66ceb00220cdd9c413c53bfa04d4e","datavalue":{"value":{"amount":"+0.7558121085166931","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":"Q1363769$C4BE4014-1451-4B1E-8522-E6758D2F80E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356429dbfb75bf6ed2659f78be186578883aca74","datavalue":{"value":{"entity-type":"item","numeric-id":708020,"id":"Q708020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c783538a356412b227650a2f8906eae1ec53d9","datavalue":{"value":{"amount":"+0.7539263367652893","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":"Q1363769$BD8AAB45-9A2A-4DCE-8B9A-5A7A230115FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f8af7bfed4119e97906b1f278cb136c4b58983","datavalue":{"value":{"entity-type":"item","numeric-id":3342373,"id":"Q3342373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35aa94c243298607bdb7cff380e35056095b4dae","datavalue":{"value":{"amount":"+0.7490292191505432","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":"Q1363769$86391FC7-1080-4434-A84C-2BD9ECCF9C47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1363769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1363769"}}}}}