{"entities":{"Q2922605":{"pageid":2933325,"ns":120,"title":"Item:Q2922605","lastrevid":52109375,"modified":"2026-01-20T23:11:32Z","type":"item","id":"Q2922605","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 6355312"}},"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":"Q2922605$DCD9FE9D-D38C-4774-A536-E05363ED9968","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b537028a507a7f290254cb5626a41caa5e2df395","datavalue":{"value":{"text":"An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2922605$A0AB7BCF-D704-4642-955C-EA2CD99EA7F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4919d6735c43b4c5fc00caf1ca19fcedcb33e8e","datavalue":{"value":"1353.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922605$AE1BF4CB-4CC1-4B52-95F9-C2B85E38229F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"411c1c4e4071277950e6d5c79ce096e892a8db2e","datavalue":{"value":"10.1007/978-3-662-44465-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922605$60D57D77-C567-4264-8D9A-025A615FC9FB","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":"Q2922605$994327AD-24F9-409E-A963-14745C262A4C","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":"Q2922605$A923E953-13B7-4C82-BC3A-623005E25A05","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":"Q2922605$6B87E69B-77C8-485E-BFA9-9B9ED3B52B66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68b25ed9d3c306483bfc58de311b8d2185d8c136","datavalue":{"value":{"entity-type":"item","numeric-id":2921996,"id":"Q2921996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922605$9537E915-03D1-4A44-B93D-8467682C04BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b416645c0a17193441756de619503aab4f6e3c3f","datavalue":{"value":{"time":"+2014-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2922605$D0A2FA28-0D64-48A2-976D-EFC64398C91A","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":"Q2922605$63EFBEC0-8056-4FEE-B6C6-C179254E6D9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922605$5CF4949F-76A1-4605-886E-3809506B3979","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"600863856ffd8fce601001778bde2af8859a1ed0","datavalue":{"value":"6355312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922605$50F90083-E0A2-489F-BF0B-CDB7AC788068","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"375b771b1c86a54a19f917475a7164e012dc3b46","datavalue":{"value":"De Morgan formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922605$CC6C8F71-2025-464E-9EDB-1E968AE95BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23e8839b5b25ed2c28e12b6d70e4e4d60d612ef","datavalue":{"value":"random restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922605$EB1F1B1C-8FF5-438F-9139-61000EA0A54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"529c922a89f91bf7a35b80f127757706d707238e","datavalue":{"value":"shrinkage","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922605$947BBE15-5763-4698-91E2-FB7D7D09252A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93075c113c514ec5cfef089f598511d50a0c8524","datavalue":{"value":"SAT algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922605$ED51944B-582D-4389-8C50-3F08F120E072","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":"Q2922605$B4A06D56-C725-4D28-B164-63D8E389AD90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8746cb01b64ec4de3b6da465af2a31a072d307f3","datavalue":{"value":"W5136647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922605$7B6F1A86-8D13-4749-836C-44B36AB8DB24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e781a618404575c1e79b6c71294bcb9b1053cdad","datavalue":{"value":{"entity-type":"item","numeric-id":334923,"id":"Q334923"},"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":"Q2922605$BD685EE1-C2E0-476F-80BF-DD12FF2B83E9","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":"fd5d5c24a12b2ea22f5aa4914edcce3e01ea4ff3","datavalue":{"value":{"amount":"+0.8369498252868652","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":"Q2922605$70939CB8-0B2D-4148-9035-60A2D1066538","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":"4b84e3c5b479d40bb4b13fc1fd235630cd092e06","datavalue":{"value":{"amount":"+0.8369497656822205","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":"Q2922605$1A184936-A3E7-4F24-9B81-76F4179DC9E1","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":"1c2fe22c696dc2d37e92823e2fed8887d9d98b05","datavalue":{"value":{"amount":"+0.8080626726150513","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":"Q2922605$9376A071-3C88-47E8-92F5-15133A101813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dcb3e9a47c3eaa2703b44b41f93bcdc9cc7198c","datavalue":{"value":{"entity-type":"item","numeric-id":1367534,"id":"Q1367534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39b785c6248bee0599c64f195f7709d446aab47","datavalue":{"value":{"amount":"+0.7681419253349304","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":"Q2922605$501C1F07-BC76-446C-81FB-C0E685672BAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2922605","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2922605"}}}}}