{"entities":{"Q1983134":{"pageid":1993876,"ns":120,"title":"Item:Q1983134","lastrevid":72205062,"modified":"2026-04-14T03:18:02Z","type":"item","id":"Q1983134","labels":{"en":{"language":"en","value":"Enumerating models of DNF faster: breaking the dependency on the formula size"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7395741"}},"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":"Q1983134$E9888509-EF66-4612-8B00-78D7F138DB4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfa81e2efe4d178f5961e0bff646007ee5e00279","datavalue":{"value":{"text":"Enumerating models of DNF faster: breaking the dependency on the formula size","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1983134$2CC3E0B8-2E81-4110-80B7-162FE69619F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fecf80de58f31558ba8f1ceccc24d138affa8e76","datavalue":{"value":{"entity-type":"item","numeric-id":290897,"id":"Q290897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$AF2000FA-13D6-4336-937F-39E12799B228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f07e4ed25210f70eeae01c09bca167534c0052","datavalue":{"value":{"entity-type":"item","numeric-id":385503,"id":"Q385503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$30E66609-C64E-4261-9C43-3F001C1B69C8","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":"Q1983134$5458B906-68DE-465D-A7E3-5F8DD9599D44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bb8fdccbb569eae411be4d1b32d655b679d620b","datavalue":{"value":{"time":"+2021-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1983134$CBD385DB-70D2-4AF1-81AA-4DF32FE9F819","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ce1eb5cb978f371fd991bc03782e2ba1fd2fcb5","datavalue":{"value":"https://arxiv.org/abs/1810.04006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1983134$D9A1C9F3-7011-4B48-923B-B612827EF89D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983134$EB25F410-AD1B-464B-B482-3EEE313EF005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983134$C49B248C-1B0D-4D17-9F38-888B6956EE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983134$D414E73E-6727-4411-B75C-0FF08C1F5ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de0493fc6f7fe4361a54e7c2f5546e4ec52adf0","datavalue":{"value":"05C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983134$D6D1AFF4-F696-4DBF-9A19-4EBB3DFCB908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983134$4743F689-36E7-4395-A33D-ECCBC9583951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983134$4382FF7D-A8C5-4E17-82DB-DE1C999BEF5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc85b9933c9be607a609b331512085c5e0169753","datavalue":{"value":"7395741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983134$7BB7BAAA-DB3D-4A5B-BC09-8F3D4F964AB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1983134$F0BFD56F-CFA5-46C7-935A-24518089184C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1983134$6EA4F240-147D-42AC-91BE-71D1E7EBFCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54b2541b44abdffa80a55f59d74e8518d14a635","datavalue":{"value":"DNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1983134$54330E19-9D4B-44CF-A531-7C46618BEC48","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":"Q1983134$DB88296A-1111-4A37-8CF3-6B93635E89F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c926856b380ac654a454ab674e8da1650202aa95","datavalue":{"value":"W3010237674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983134$3CA94B1D-2F7D-4C68-937B-191B9BE05044","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb30a4e572cc2843d152b694e61d2cf7e89a0ece","datavalue":{"value":{"entity-type":"item","numeric-id":5111443,"id":"Q5111443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$53706A17-3CBF-4B53-BC6A-5D4D08AC51EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e32a01f1d588f6d8c933d64e7a17325dbff022c","datavalue":{"value":{"entity-type":"item","numeric-id":1917258,"id":"Q1917258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$D834865D-F863-44D7-8EAD-758DA49BD909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486328bcb835b0d729b04b9e1d795e5e5932317a","datavalue":{"value":{"entity-type":"item","numeric-id":3613336,"id":"Q3613336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$B62C6BBA-0616-4CAB-860F-C826CCD3451D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bf4e5c70b4941802309a3fdb54a98b69ccd3ed","datavalue":{"value":{"entity-type":"item","numeric-id":1635813,"id":"Q1635813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$B76E5FDD-7126-4990-87E3-51F74D9FBEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c986e694ea48e4f604e741bc68ed6900c6ddecbe","datavalue":{"value":{"entity-type":"item","numeric-id":967312,"id":"Q967312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$B274ADD2-C09B-4A34-81CA-27ABAD28F413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1858e829edbff20ad48edab5cf07bdd922098408","datavalue":{"value":{"entity-type":"item","numeric-id":4389761,"id":"Q4389761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$2D6B7906-8AFC-4B28-ABB8-ADE6FAF56814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34971f5c33a88dba4326d78aad6864ac5f374314","datavalue":{"value":{"entity-type":"item","numeric-id":2915682,"id":"Q2915682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$DB5B8C64-15E7-452E-98F9-F9FDE59139AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$916AAA1C-C6E6-44F7-A031-9E1EA9C5E8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c2224374d232336acda947332972e7b0b01797","datavalue":{"value":{"entity-type":"item","numeric-id":4369384,"id":"Q4369384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$07735B62-EDB7-4556-977C-3E8C612A2697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79e0895cef6511a66f2f69942b4b62dbc4d4823","datavalue":{"value":{"entity-type":"item","numeric-id":2957449,"id":"Q2957449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$485CB439-768E-4AF2-8BBA-220FE37CB464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b600b9259481ed76748959d13215b1219f768e45","datavalue":{"value":{"entity-type":"item","numeric-id":4601904,"id":"Q4601904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$B5ECE401-5C31-42BC-98B2-E49A8D711302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4628e3e8764688dbda8a25a2421c9a06e1fbbfe","datavalue":{"value":{"entity-type":"item","numeric-id":5226843,"id":"Q5226843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$2E818312-C32A-41BD-93D7-2A203A0EFB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb2f5863f22d28ccab6c56f802924dbe762ae","datavalue":{"value":{"entity-type":"item","numeric-id":2009190,"id":"Q2009190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$AF7308C7-D277-4C70-9452-44430F619743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff18239048ae56591c9a0daa06217bca17c64b0","datavalue":{"value":{"entity-type":"item","numeric-id":2449091,"id":"Q2449091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$EDCE9589-0A66-40EC-B21D-04AA9104BA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a05a9238b4e94bb781552ef0f2d45656df3d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4291563,"id":"Q4291563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$C2F47DFE-CCC3-485A-9D78-C8742F39D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040b7b9fbede4032e8348103c4d815e16fc87c56","datavalue":{"value":{"entity-type":"item","numeric-id":4075503,"id":"Q4075503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$604D0788-F88F-4DC3-846B-4C1CD4F3AC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e48d4989228a4670eef0160cdb8903a1aeb1021","datavalue":{"value":{"entity-type":"item","numeric-id":3586118,"id":"Q3586118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$2F664D7A-C7B8-410A-85F1-493F80D0C2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82fed6ef0e502aad6eaaddb6e3bd5ee4d937daae","datavalue":{"value":{"entity-type":"item","numeric-id":385504,"id":"Q385504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$3D880E58-E08D-4F0B-A3A5-42775C4DE0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65515d62d7639e9ed17ac72550e5c64fb990888","datavalue":{"value":{"entity-type":"item","numeric-id":3449856,"id":"Q3449856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$740E8821-986F-4CE5-9B28-55C0F7089EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6a72a62eb7ac00a65cb3378a54949f41ee0676","datavalue":{"value":{"entity-type":"item","numeric-id":2581276,"id":"Q2581276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$15F29824-9AB5-4BB1-B922-BBAA229C3D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9627ee40d6098655c0a507d4ebe4c72c9f6937fd","datavalue":{"value":{"entity-type":"item","numeric-id":4725765,"id":"Q4725765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983134$81B87794-311D-45C9-BA0A-2DECDB51BD26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a8881c7768ac729bc60bead179ef28db627b91f","datavalue":{"value":"10.1016/J.DAM.2020.02.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983134$CDC8E290-0B52-4F84-B907-9FAD05AF0D3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46bfbd59f7dcfb521957096ba8ed75d2cf830d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5111443,"id":"Q5111443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cece7eb22c9ff6434c856ae49991997ffe9fa7","datavalue":{"value":{"amount":"+0.7902698516845703","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":"Q1983134$8EA73DA7-4938-4ED5-A7CA-F501BE6CD155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddacf8f0efd5fbb32f8c0003a5e58990093c7c71","datavalue":{"value":{"entity-type":"item","numeric-id":1197995,"id":"Q1197995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23c71f1ab209811b46205dfd7fc1507cc32730e","datavalue":{"value":{"amount":"+0.7543997764587402","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":"Q1983134$FD8BC41F-05AC-49B6-9D4E-4D294CDC6E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08242e7986320ee781c92ac180a1f1e23be13a89","datavalue":{"value":{"entity-type":"item","numeric-id":3007678,"id":"Q3007678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebb15846557bcd7b57ccbe1e476cf2302a7d18ef","datavalue":{"value":{"amount":"+0.7528997659683228","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":"Q1983134$A679D70A-033A-4975-95A8-37805FC90D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31dc0c3a979c2422d6ae26b8ba4096f8845c5348","datavalue":{"value":{"entity-type":"item","numeric-id":2398214,"id":"Q2398214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e94cd2846bf1c73766728dcc1646d14e725b8f2","datavalue":{"value":{"amount":"+0.7438091039657593","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":"Q1983134$63CFD09D-3FD5-4197-A1A5-665E11E1B14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335563a3b9c4efc8bb5e5aacf2f176428c5db3a2","datavalue":{"value":{"entity-type":"item","numeric-id":4256519,"id":"Q4256519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd44de5ba61b4d7aa3f88e54ba5b6fbb5d973ce","datavalue":{"value":{"amount":"+0.7341129779815674","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":"Q1983134$8DAFE66E-F653-4CB4-96F0-193FDE61911B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enumerating models of DNF faster: breaking the dependency on the formula size","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enumerating_models_of_DNF_faster:_breaking_the_dependency_on_the_formula_size"}}}}}