{"entities":{"Q334923":{"pageid":336690,"ns":120,"title":"Item:Q334923","lastrevid":61050711,"modified":"2026-04-10T20:51:46Z","type":"item","id":"Q334923","labels":{"en":{"language":"en","value":"An improved deterministic \\#SAT algorithm for small De Morgan formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6646533"}},"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":"Q334923$D8084651-8A49-4A53-872E-EF1159EEF1D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d46bc0f24f5f5bc6de9aed6b179fce58d5a85b4","datavalue":{"value":{"text":"An improved deterministic \\#SAT algorithm for small De Morgan formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q334923$DBD151E3-B9DF-4F4E-BD78-3DE262B100AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89cc78cf20703d3e211ae1425e6cf40b59eaa3b3","datavalue":{"value":"1353.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334923$2A2CE5ED-CD55-4931-AF4B-D9436DCDEFC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b5c774289cb06728394ee7f2c45036601a893ea","datavalue":{"value":{"entity-type":"item","numeric-id":334921,"id":"Q334921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$E7A98FAD-5453-4FFE-96F4-7026E16C7E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d2539da0629477438d7ce1d3087216415362d1","datavalue":{"value":{"entity-type":"item","numeric-id":230568,"id":"Q230568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$0BE47FD9-4E6C-429A-97B3-A0F412D5F813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3229175f2d2ee46d62857496c8a882cd06bfa18","datavalue":{"value":{"entity-type":"item","numeric-id":334922,"id":"Q334922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$8618BC7C-FA58-43FA-903C-6AC665066E8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$A97DDA25-6906-4E49-887A-8E2B945455EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e889f7549615622ee2318a0d7c37075384a627","datavalue":{"value":{"time":"+2016-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q334923$3E19D6D1-05DE-49D4-9B02-4AFAFC717287","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b433c3a47967b6f0eda05e2df0b7b2d0af672b24","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/19354981/Chen_Kabanets_ET_AL_2014_An_Improved_Deterministic_sat_algorithm_for_small_de_morgan_formulas.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q334923$BA5B33AC-6B0A-4D20-AAF1-6CB47A53367A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334923$67E52E61-885C-4E06-B271-67ABB6B9A10F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1be4e570c4395430b459e25ddb2f933e3f284d8","datavalue":{"value":"6646533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334923$22C7B3A0-7C04-4720-9B0A-F80D96767119","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"375b771b1c86a54a19f917475a7164e012dc3b46","datavalue":{"value":"De Morgan formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q334923$D5D5797A-74E2-4884-8A72-FC5B006F8C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23e8839b5b25ed2c28e12b6d70e4e4d60d612ef","datavalue":{"value":"random restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q334923$52783A62-4BC2-430F-9201-2276562317B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d731429cd1b4185c2b2cb7aed78481eb523efd1","datavalue":{"value":"shrinkage exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q334923$8721029C-DC89-4FE6-8CB7-96133AC2D8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde889f138cd2ec7f0a37330d1f9a3656e31b7f4","datavalue":{"value":"concentrated shrinkage","type":"string"},"datatype":"string"},"type":"statement","id":"Q334923$53333B58-41DD-40C4-93C0-94BF9A5434A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8275e812591b4e5c19ff372b49c3e814e2b9bc","datavalue":{"value":"algorithms from circuit lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q334923$92A390E4-BD6B-41DA-B4C6-DA93485FCE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f144375ea8041755f79a8b791e35c6251f057909","datavalue":{"value":"deterministic \\#SAT algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q334923$B9ED9C3F-DEEA-4BB7-9F35-97EAFCE98A8B","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":"Q334923$4459FBAE-0B5E-4888-8CA0-E404A6AEE884","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"275d0376eefba41d3bb39959687cbc1bfcd9dcdd","datavalue":{"value":"W2167866552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334923$65D651FE-664F-4AA2-AD9B-0A3866068B19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f327bf6a0755d2fce21f5d5f350286e2309c464a","datavalue":{"value":{"entity-type":"item","numeric-id":3772136,"id":"Q3772136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$11992368-F0A7-4FFC-A7CA-5DB7E32A39F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70009dfc8f09fcb3a3435bd0a77374e4e087449a","datavalue":{"value":{"entity-type":"item","numeric-id":2351392,"id":"Q2351392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$2DBC82C2-821B-48EB-916E-CF4AF3ED5738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13b685ebea75fca73a69c0d8054a0ad9bcc269","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$7177FBBA-978B-40BE-848E-EECF27DCB6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351fcf8547cbdfeeae47fd4ed591a61bf10131f0","datavalue":{"value":{"entity-type":"item","numeric-id":5743451,"id":"Q5743451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$F172862A-2B17-4CA2-B801-D7BB53E14718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad2a1cdfb01f4ab80ef167fe0e2faa2068c03d8","datavalue":{"value":{"entity-type":"item","numeric-id":5244384,"id":"Q5244384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$F270BC9C-A839-4FF2-B331-BAEBF4670C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c6d2f448b6afbbf7878ca0dc26e9b064406ca8","datavalue":{"value":{"entity-type":"item","numeric-id":4696224,"id":"Q4696224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$05855980-1BCC-4CF7-B3EE-8F1140A7C4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd209926dffada2c198307b6a94ad83b7b0576","datavalue":{"value":{"entity-type":"item","numeric-id":5495787,"id":"Q5495787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$12D73A56-5406-4FEE-AC11-5E2C76348713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af4f87cf38c71954b63db4f3fc97a1994b3c553","datavalue":{"value":{"entity-type":"item","numeric-id":4696225,"id":"Q4696225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$F3250F14-81F9-4F0A-A1C5-C73926305CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$9CD1BA37-859A-46DD-B6D8-DF6318E3035F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38eede2620f0805f80f7cd0dc2238e609c55480b","datavalue":{"value":{"entity-type":"item","numeric-id":354655,"id":"Q354655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$B22832BA-6D66-40C8-BB16-8E991D789CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0867e5b8e568040593883afe89ddea2141d6360","datavalue":{"value":{"entity-type":"item","numeric-id":3281059,"id":"Q3281059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$F4C52637-EECC-47ED-AE6D-D953F0C17D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"417a74fabe64c2e6ef842d1903746d473548071e","datavalue":{"value":{"entity-type":"item","numeric-id":2875149,"id":"Q2875149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334923$A039FBC7-CE5E-4794-B9D3-F27DB90AB854","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b525b7b2608d9aea6d9c37b210ace4799c51613","datavalue":{"value":"10.1007/S00453-015-0020-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334923$7589760D-B4E0-4EA1-969B-79BC490ECC9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"debd37442f3abf05d2c127941cebb5e0e7330d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2922605,"id":"Q2922605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d821e46b5ab1397ac5cf497f9c9fd8085fdc6d6","datavalue":{"value":{"amount":"+0.9991202354431152","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":"Q334923$BE88E73F-B1A3-4C19-836C-15C2BD503278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d651b360b4365766b87ca606c6116029521aa2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4696225,"id":"Q4696225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7cf56ec349439745acae54c5e1f48d18b9756a","datavalue":{"value":{"amount":"+0.8394706845283508","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":"Q334923$24144614-E31B-4AFA-B256-9738BB4E0B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7e01d5b6bb325dc4bf7203e5bdd4e13c8ca324","datavalue":{"value":{"entity-type":"item","numeric-id":5897897,"id":"Q5897897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa5bdbeebf8e699a4b2c4ff1ed6b261b2240497","datavalue":{"value":{"amount":"+0.8394705653190613","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":"Q334923$E8A90F69-43E0-46F9-9EB3-37DAF1C29D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfea9b89d96319747934788d3e3761423da2c01f","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70288d0b5a692ff0a75599e742d787579cb4acf9","datavalue":{"value":{"amount":"+0.8089507222175598","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":"Q334923$21B00845-15BD-47B1-BCDD-0555692619EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961c7d3ae96a8ca3899003938255545aa1fc7e98","datavalue":{"value":{"entity-type":"item","numeric-id":2963581,"id":"Q2963581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc9876c88fd150d96cc8b3835ec739ed3c72b36","datavalue":{"value":{"amount":"+0.7702249884605408","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":"Q334923$6BA29576-6B96-4248-87EE-BE2DB4B2D80D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An improved deterministic \\SAT algorithm for small De Morgan formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_improved_deterministic_%5CSAT_algorithm_for_small_De_Morgan_formulas"}}}}}