{"entities":{"Q3985811":{"pageid":6015677,"ns":120,"title":"Item:Q3985811","lastrevid":46224577,"modified":"2025-12-24T08:39:15Z","type":"item","id":"Q3985811","labels":{"en":{"language":"en","value":"Elimination of Infrequent Variables Improves Average Case Performance of Satisfiability Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 27806"}},"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":"Q3985811$5BEA1E33-B6A2-427B-941D-B91DC35EA621","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fec79625e56b9ec3263cca5da8978a75fc58f84f","datavalue":{"value":{"text":"Elimination of Infrequent Variables Improves Average Case Performance of Satisfiability Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3985811$8D2A2840-061E-4112-A486-A13A039D8CE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c794b0c47b0724d1c0d14bb44d3a8ae9514e863b","datavalue":{"value":"0738.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985811$9F3F3981-0A18-4ABE-AFA7-6759A707BAF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1912b050f89341570043a0b28c53b186ce0add9d","datavalue":{"value":"10.1137/0220069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985811$0D7D06BD-E5FB-4B61-999F-D2F92320FC73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3985811$AFC1B74E-56D0-44CB-9009-D6A37A4A3378","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3985811$BC2AF03A-51E6-4351-B605-4C2CD34DD23E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b79f03c5cdeaa2b4f35ee0451bd68d4e8e338c2","datavalue":{"value":"https://semanticscholar.org/paper/0002e1de1bc5d35062031f98afca0d7263d628df","type":"string"},"datatype":"url"},"type":"statement","id":"Q3985811$E20B96A9-31FE-4729-8041-CDA853DCC6CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985811$CE850E03-77B2-4368-AB2A-F7A79C913084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985811$93AE1C6E-14A4-4B7D-9B18-8BE753272918","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f742421cffd57fd867462ffc6414efcaeabd2628","datavalue":{"value":"27806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985811$244981DC-2B8E-4D86-A809-E31AB29D8279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985811$C07CA834-A144-4450-A0C9-23219CC207EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985811$D10877DD-34C2-490F-85CA-C291018ABD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752b484d49c9a2b93e0a9e10ae2fe7e85c97cb7","datavalue":{"value":"probabilistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985811$8C3D775C-33B6-473F-80AD-1845B416DAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985811$D00B45E1-32F3-413A-8E5C-0003D0C49380","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85fd2c1ce489cbecf5dc649288fae9b7018a3f","datavalue":{"value":{"entity-type":"item","numeric-id":673601,"id":"Q673601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3985811$08AC05C5-551D-4ADB-AEA6-1F0E4F2A8A28","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":"Q3985811$9A55AA83-3475-4F5D-976F-330D4EDDC4A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65f2a3adb668c3066c7d59a8c5d671f81ed06a31","datavalue":{"value":"W2076342862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985811$A52F0EBF-F392-4D51-8B5C-CE0652048703","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19cd0537ada4fa42e2bdd7d601b6dd90a0afc84","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bfda6e1687730fd1adf206dfb879fef5d8db83a","datavalue":{"value":{"amount":"+0.8287156224250793","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":"Q3985811$2DDF8D76-AFD4-4772-AD4D-854A790D2517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8887178dfd28c94008a2fa7667a8a50bafe6deb7","datavalue":{"value":{"entity-type":"item","numeric-id":1208481,"id":"Q1208481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0522e79e04d2b5b86a8118c419d2c807bcb58a3","datavalue":{"value":{"amount":"+0.8261616230010986","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":"Q3985811$0EFB5405-27E3-4BEA-A680-8C9A21A02E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3989eb108cf7ae0236bb32e40bbe73f427df0511","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ffa665a820e736464410690dbcbbedf258e99b","datavalue":{"value":{"amount":"+0.8201723098754883","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":"Q3985811$6937A4E8-4D89-49A5-A482-18E8D817C4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664410c8b1370561493acda19c8414100a799568","datavalue":{"value":{"amount":"+0.8189417719841003","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":"Q3985811$DE11515A-E547-4765-AD1C-0FE7D2D1FC46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3985811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3985811"}}}}}