{"entities":{"Q294760":{"pageid":296527,"ns":120,"title":"Item:Q294760","lastrevid":52556342,"modified":"2026-01-22T23:13:15Z","type":"item","id":"Q294760","labels":{"en":{"language":"en","value":"Generating all maximal models of a Boolean expression"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594090"}},"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":"Q294760$B5981027-96F8-4327-A545-2E7B5F661923","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30f9819d81ca75c8ec5c77d58e2b2e8a3ca8bad2","datavalue":{"value":{"text":"Generating all maximal models of a Boolean expression","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294760$1B19FD7F-C966-41D1-8E03-D1AE545A744C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6c0f105a5d37e255786fdd30a272d543adf521a","datavalue":{"value":"1339.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294760$BFA0AD8D-1AFB-449F-BC5A-4B05F70A302A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7be0ce0d2fe1164f9ba08e56102a5bd947ec6a26","datavalue":{"value":"10.1016/S0020-0190(00)00023-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294760$290C9546-8EC3-4B59-8401-529FAA8721AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fda7304dd0fda467016dd9372b1deb5bedd86dc8","datavalue":{"value":{"entity-type":"item","numeric-id":294757,"id":"Q294757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$F79046CA-722C-4D51-93F7-B8E5B11EFA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a5ac32c03ae84346f3e58c3cd589e5f7be814d","datavalue":{"value":{"entity-type":"item","numeric-id":294759,"id":"Q294759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$6D71F846-9180-46F7-B33E-B13E793838C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48192dee12fa00fba6adc590537db2bde6786dfe","datavalue":{"value":{"entity-type":"item","numeric-id":911786,"id":"Q911786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$0F30F65C-570D-4319-8EAE-BF9FA87B019D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$9DBF7C90-CD42-4C0F-8F9F-9EABFDA5C360","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32ada740abbb03089ab30647d244c2741fb6e33","datavalue":{"value":{"time":"+2016-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q294760$6EBB10EF-3690-4027-9C3B-761B818871A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294760$DB396DCB-8688-41FC-B6CB-C9495EC52C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294760$51727E73-73B8-4C50-B5AC-9CB01EE1C6CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19a62aae42b7bdf412e2e93e2210feb8e522a018","datavalue":{"value":"6594090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294760$3320BBF1-5542-4472-952A-B7AD1AAAAE8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q294760$5B5219D5-F265-40BA-964D-39A2899B8913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a73c9d6895c8ee9513501b013ab6e6c7fbfb92","datavalue":{"value":"output-polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q294760$8918802C-181D-4B58-8E9A-F1FD8C5D5C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beba97085e6fdc0938bb22fdf296de928fbf386a","datavalue":{"value":"maximal model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q294760$3EDA72AF-BD74-447B-B3EA-3C60F37BF5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f137520fccf2bcc44c3cca81225a6fdd10b25de0","datavalue":{"value":"transversal hypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q294760$AF7C7E1A-ED22-4EC8-A776-B5F664126802","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":"Q294760$625F6791-E268-440F-9F39-4CA9CF883134","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8001acdb7abdc937fea386beac2f167b99780d8","datavalue":{"value":{"entity-type":"item","numeric-id":1380414,"id":"Q1380414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$4CBA3AE8-C731-4277-9F75-3D91341BD2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ec7a90e8465eab11346e076fe94e95b5c1d6c","datavalue":{"value":{"entity-type":"item","numeric-id":3993087,"id":"Q3993087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$BAD75B68-315F-4BEE-B639-8EB46B4F9ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d93864aec7824361eaf84afd94a1a6d700ad7bf","datavalue":{"value":{"entity-type":"item","numeric-id":1205713,"id":"Q1205713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$4403228A-A8AF-45A5-B54B-D9CDE6EE6FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11317780d065622a319a6b336613ee244a3f460d","datavalue":{"value":{"entity-type":"item","numeric-id":1893737,"id":"Q1893737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$08348F70-7930-4AF5-8727-3DC0C14B0B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23fa9db53cabf6cb7341125e31b421198676b4","datavalue":{"value":{"entity-type":"item","numeric-id":1199913,"id":"Q1199913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$25C7B627-E7FB-49E0-B9F0-518F51A81CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2baff2b3fcd933b421c46ded9fa320ffaaebb6","datavalue":{"value":{"entity-type":"item","numeric-id":4862797,"id":"Q4862797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$D8F12DBB-1751-4FC5-B623-781830C1BBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec508bfc3387fbb18ca1c39f6cee06c3d99a635f","datavalue":{"value":{"entity-type":"item","numeric-id":1392203,"id":"Q1392203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$E2F771DC-F11C-4F62-9730-F7D03C9102DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b733d3c598f4f60dac05c662888fe6ef36a0cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3837390,"id":"Q3837390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$806997B1-186F-4AF7-B02B-4FAB907A7A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c48713acd3037a2e87e8e9b9cf4a2e7ca04ddfe","datavalue":{"value":{"entity-type":"item","numeric-id":3771671,"id":"Q3771671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$2F3C7CC8-0B1E-4E2F-91B1-FEFB8EDB64C2","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":"Q294760$BBC7615E-924F-4803-BB49-705D126B2E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6462cc0c0bef572dd85a6892c91fc9e0891a9e4b","datavalue":{"value":{"entity-type":"item","numeric-id":1961461,"id":"Q1961461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$B5A237AE-E15A-4EB2-9425-D645F4EB645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ba7598a622756daa7a1a98c7ec39119480164a","datavalue":{"value":{"entity-type":"item","numeric-id":1108809,"id":"Q1108809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$C8130B6F-2EF9-4C63-AB68-79227E30BB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec6a23c3d13b88fed862805e0103394acbd1dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":4268444,"id":"Q4268444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$7556B0CA-E1A4-4493-A44A-E25C12687C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0896d4def91ed8d8e8f48a247a42bdacee30665","datavalue":{"value":{"entity-type":"item","numeric-id":4210141,"id":"Q4210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$5511BEBA-F9EC-4CDE-9053-5C4F58E52A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626913de913cd1a4fff76323139dbf8464bd3ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4571936,"id":"Q4571936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$F99FD818-C1AD-42E5-8667-8C7F6DEBAD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac3a55eef82665d7ad7eb4bc7b9c6ea93d04ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$24C05588-2A5F-4A7D-ABEC-CA31A7FE06E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$3D716405-85E2-48F1-A2C4-4AC6BFD04293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd9ab761631c46ab7ef21a851d0ae885fc0f55c","datavalue":{"value":{"entity-type":"item","numeric-id":2638818,"id":"Q2638818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294760$FB71AE8C-2D15-4763-BB08-8D87DCAA80F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cf4c363a6591328077d874863524e6b1931b6e","datavalue":{"value":{"entity-type":"item","numeric-id":2786908,"id":"Q2786908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc64d16108faadb8e346c892ab6809d5b013fc67","datavalue":{"value":{"amount":"+0.7851600646972656","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":"Q294760$AEF30DDA-7FBC-4083-8918-8B3D4525338A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d438c5647f094771755b5a4a4ebb6cd2455aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4389761,"id":"Q4389761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9562d09046007ccc4f582a5f5bf734dcc47d991","datavalue":{"value":{"amount":"+0.7591896057128906","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":"Q294760$3AB5836C-3BF0-4DAE-990B-969D10882F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c69bee82fb159b3ebdf33d67333a38d31cc5b33","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f641021d365e1a67a797961bfd760ece791eee09","datavalue":{"value":{"amount":"+0.7586848139762878","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":"Q294760$95CF03A7-C667-40E6-A54E-D998195F9B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68aa1bff3db50c5ab87fb6d64e1a056bc91a211","datavalue":{"value":{"entity-type":"item","numeric-id":1893737,"id":"Q1893737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56010e20974226dddaaeed5906e18d329ffae57a","datavalue":{"value":{"amount":"+0.7550883889198303","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":"Q294760$5F8071E3-D1D0-410B-B57E-219FD6167B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e674fc70adc6056bb00b0f3fcaeb71785e43119","datavalue":{"value":{"entity-type":"item","numeric-id":5191481,"id":"Q5191481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a453b8cec32afb6dd0d53ed35c2be6d20fc612e5","datavalue":{"value":{"amount":"+0.7505765557289124","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":"Q294760$F7719BBD-AD1D-478A-9CC1-5601904285CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:294760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:294760"}}}}}