{"entities":{"Q1084376":{"pageid":1095128,"ns":120,"title":"Item:Q1084376","lastrevid":42865245,"modified":"2025-07-15T12:53:11Z","type":"item","id":"Q1084376","labels":{"en":{"language":"en","value":"Dualization of regular Boolean functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3978981"}},"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":"Q1084376$87A96BD1-C344-4C51-825C-161369334DED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cb70fb6c97aef0eb8e0eb33335361a12ef8cc0b","datavalue":{"value":{"text":"Dualization of regular Boolean functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1084376$9D67593C-1191-4B47-A5CD-7B73A9DA650B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0026776a7b3b368baff90880a4fd0393d3c0383b","datavalue":{"value":"0605.94011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084376$19C22613-5CF2-4FBF-B3E1-026420FAD6D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a14aadc8fd2f3bcb0d16a4a9e0a0261e95934a0","datavalue":{"value":"10.1016/0166-218X(87)90056-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084376$68A8F6D3-F0F0-4E13-B290-C35B5D7E07CA","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":"Q1084376$444AC1BD-6A3C-4602-A57B-0FC0C05004DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1084376$ABBAFA5D-1E2A-483C-97CB-FE285F6FB9C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7662154263753cd98ad940aaeee0b50d9ac50f39","datavalue":{"value":"A monotonic Boolean function is regular if its variables are naturally ordered by decreasing 'strength', so that shifting to the right the non- zero entries of any binary false point always yields another false point. Peled and Simeone recently published a polynomial algorithm to generate the maximal false points (MFP's) of a regular function from a list of its minimal true points (MTP's). Another efficient algorithm for this problem is presented here, based on a characterization of the MFP's of a regular function in terms of its MTP's. This result is also used to derive a new upper bound on the number of MFP's of a regular function.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084376$50EB9937-A388-45A2-9627-31A3FD89401D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084376$7272604A-5768-4A84-8573-E2F04E72106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084376$62F0A2CA-3530-4F2B-A8C5-1C35E4002CA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dacc0c3b74b9cca45e73d5ef4389bfd2ef4605ad","datavalue":{"value":"3978981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084376$F2CAB828-A66C-45D5-A205-CD74730D9F8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e30c831ee860aa32890057294641698fb86d4729","datavalue":{"value":"monotonic Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084376$B294B758-C254-4E51-9915-03B37AB741C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a90ef571f0ce870ab757ce653d1f8d1fcc8667","datavalue":{"value":"maximal false points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084376$7FC7C398-1EBE-43CA-8869-238B17FA7D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa2de50cdd4fd7f27aed17159a78102389939eb","datavalue":{"value":"minimal true points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084376$2C0F2188-D958-4A2E-A520-EAC86A01F0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4364d21acd66d915b62f94bfe69e0065826249a1","datavalue":{"value":"efficient algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084376$ABD2A4A7-759E-4160-9630-702B39230C95","rank":"normal"}],"P16":[{"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":"Q1084376$6D9E4845-F9E2-4CBB-959A-DBBB0A7DF198","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":"Q1084376$CB56FF9F-9C0A-471E-8A76-2BBF903F1032","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f3be34444b87e94060eeddaad78e0c69a90fd2","datavalue":{"value":{"entity-type":"item","numeric-id":4165164,"id":"Q4165164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084376$A5A50FBD-6724-4F4D-8CDB-1644BE7EC720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d2dd2677a8e934a6e1f850c8d2cc59ddfb8c53","datavalue":{"value":{"entity-type":"item","numeric-id":1071662,"id":"Q1071662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084376$8D36B73A-6C88-4EEA-A6A5-701D304A44D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8501cee493f055738f00aa7c9c9ea46a233211","datavalue":{"value":{"entity-type":"item","numeric-id":4177485,"id":"Q4177485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084376$2B853A1E-95D5-4592-90DA-05523F738F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66f2974b1bcb71b9bdd76e372adb7901a3c0f1","datavalue":{"value":{"entity-type":"item","numeric-id":5551186,"id":"Q5551186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084376$2CFA9DDF-9752-40D7-A440-E5B521E08B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1247e897198b3f2738471bc885b6603fd3e7993d","datavalue":{"value":{"entity-type":"item","numeric-id":2523685,"id":"Q2523685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084376$D7BEDBBE-4ADF-47E8-B826-0F48FBA01D7C","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":"Q1084376$D0EFD2C7-FBAB-4911-8C31-20839E192823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6b53860e99ce6968cd8d98dd7f7f3f11538c56","datavalue":{"value":{"entity-type":"item","numeric-id":1089348,"id":"Q1089348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084376$EFF8852B-DB41-413C-B825-075646BD8A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5638fb3e8b306d6e46d2528d00b2d1791a849d","datavalue":{"value":{"entity-type":"item","numeric-id":1057879,"id":"Q1057879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084376$5CC8A1CD-AC06-4B66-95CF-058F979A91AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42ebd75602fa450a50e9659f7d6e0c56ae5107d7","datavalue":{"value":"https://doi.org/10.1016/0166-218x(87)90056-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1084376$FDD48266-3233-4964-BEC5-FFBBFBEF210C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22abbb48dcef97bd654857b05b6f66ed108d4e2f","datavalue":{"value":"W2041698105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084376$804C2F49-FB55-4468-A524-E660A7EA7ED1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e14f24acdc2fb8de7273c9a62faace9a06ec57","datavalue":{"value":{"entity-type":"item","numeric-id":1698142,"id":"Q1698142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877b1f590b3649d276a6f297597299f03777ac29","datavalue":{"value":{"amount":"+0.93692243","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":"Q1084376$939E8982-092D-4CF4-89CF-2CB77ED9688B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e378a65d52d772cccea55457c7db604a3e7f6bec","datavalue":{"value":{"entity-type":"item","numeric-id":3569370,"id":"Q3569370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67f2870b44a690510e9533ddc2a012d6d98373d","datavalue":{"value":{"amount":"+0.92311454","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":"Q1084376$9F98108E-43D2-4E16-A45B-9CAE144DB221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d74df351fe2fe401144b9c877ca45788f739d1","datavalue":{"value":{"entity-type":"item","numeric-id":4820594,"id":"Q4820594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbae55161ba21ed4a167865fccc7b88d5f0adc02","datavalue":{"value":{"amount":"+0.9085657","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":"Q1084376$DA8FF13E-B514-4475-9609-C938CCDA1A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ccdd2459fd888f17cf72f44e6c66b8a61290e57","datavalue":{"value":{"entity-type":"item","numeric-id":513353,"id":"Q513353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883deb04fa4be7c5bccc8f64a0ee754c41e47fd8","datavalue":{"value":{"amount":"+0.8952026","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":"Q1084376$69A82207-B5DC-4186-8830-8CCEA5A39A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9becf538238cb17fe51f113d6e1c55473620aef","datavalue":{"value":{"entity-type":"item","numeric-id":750292,"id":"Q750292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325f1d967fa8339117290c218e234d2f7c504a7c","datavalue":{"value":{"amount":"+0.89040077","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":"Q1084376$6C75DAAE-812C-4B6A-BA8C-C192291298B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc2b389a41488dd1ad3edced52f1e9efdd61e53","datavalue":{"value":{"entity-type":"item","numeric-id":4946700,"id":"Q4946700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a3c3af86949761435f799f69f6be854e3dfd39","datavalue":{"value":{"amount":"+0.8902231","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":"Q1084376$95D1E0D9-7047-414C-BD5F-FF84BB67FD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1215f743b2fc6b2d7a3ac24d1eed970db214c547","datavalue":{"value":{"entity-type":"item","numeric-id":4731184,"id":"Q4731184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a09802cc36a752b01ed51b9a3a2a3dd5a7304d","datavalue":{"value":{"amount":"+0.8879426","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":"Q1084376$B1C309A1-F573-49BF-84EC-4AAF263726B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490835c8a8835bd97732bd29012a50286c977843","datavalue":{"value":{"entity-type":"item","numeric-id":2248641,"id":"Q2248641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9b511a0da17b32f156efb396550f10e17d36d5","datavalue":{"value":{"amount":"+0.8778503","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":"Q1084376$82D76466-B7B4-4735-A1E7-956412458476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32eaff7b44261fa390925a9d66403a48a56c0a75","datavalue":{"value":{"entity-type":"item","numeric-id":3983323,"id":"Q3983323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef30abf322c5a0cf80694b0f2dc5e41297f9483f","datavalue":{"value":{"amount":"+0.8739402","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":"Q1084376$4202EF0B-A30D-4C60-9A41-50BA4DE74FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66ddbad42c53ebcacd3b5fdbbbc44b684923c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1327236,"id":"Q1327236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05df095893299c237acf9fcb0403c3b3ba3dbd59","datavalue":{"value":{"amount":"+0.87230873","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":"Q1084376$0F9CECF8-91EA-4F11-AF28-67D43337970D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1084376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1084376"}}}}}