{"entities":{"Q2946392":{"pageid":2957112,"ns":120,"title":"Item:Q2946392","lastrevid":85283402,"modified":"2026-06-03T06:37:52Z","type":"item","id":"Q2946392","labels":{"en":{"language":"en","value":"Satisfiability algorithms and lower bounds for Boolean formulas over finite bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482811"}},"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":"Q2946392$BAC06912-1AB9-4CC5-A02B-646931E28BAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75004c7723ac9dfe44755e0e597e1fa5f2e7cfc1","datavalue":{"value":{"text":"Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946392$10E4209C-15D6-4C90-87C6-A73F488174BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"749a53a92df566c3098267786efde727e30d415b","datavalue":{"value":"1465.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946392$CD98E54A-FCAC-4CE1-AAC0-70D9A565E5D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73a4bae317e049939273f0042bf9858cc87a93e8","datavalue":{"value":"10.1007/978-3-662-48054-0_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946392$10CCE0AB-0392-4656-9325-8DED797A8460","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":"Q2946392$D6F4436A-0A87-4BB4-992A-7474513B03DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a57296659600bcb8b20b3ceae35ad825f335714c","datavalue":{"value":{"entity-type":"item","numeric-id":2946320,"id":"Q2946320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946392$18A3D861-8959-43FF-9C7C-18D9EF0A43B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa7ff53be2613fa456ce1e6e1f910cf5f7f773a1","datavalue":{"value":{"time":"+2015-09-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":"Q2946392$9E4869BC-8784-4928-9698-88EF64768348","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b55a852dcb4854655760cbf725fac753a7b9e7a","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/20054890/Chen_MFCS.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946392$7DA298BC-5CF1-4E07-A4F6-0AD90B886FF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946392$ACBABB1B-964C-4F26-9752-3429EDED963D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946392$67EBE310-CDEF-4763-87A2-5CE51EE3B4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946392$C4AE6042-D66A-4DA3-BE91-948BBB83A576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946392$B74FB7B0-2F2E-45A6-9724-28C4378667EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f69ae6efe6f5f4c6a9071e2963aebad77d7afa4a","datavalue":{"value":"6482811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946392$32BBE97F-AF8E-4B4F-9DDC-504AAEDC1540","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c28c97778fbb68f4b3d21d002e4e8a64c7d17bf","datavalue":{"value":"Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946392$DE94520F-069F-4C6A-A8BA-FA7D2D553EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a264b95824e3cdce2b04bf6f489548486412438f","datavalue":{"value":"satisfiability algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946392$6CB73B96-2913-4906-9F00-DDB5370B839F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee5b70decb4be5705224dc7888f2b6d06db61056","datavalue":{"value":"average-case lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946392$8512117D-C688-467A-89B1-B8E7F7FDBEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920af8f45483f1a41194bf795d211bc03120f78c","datavalue":{"value":"random restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946392$4C0EAB66-FC45-4977-9B95-0E6F58F1686C","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":"Q2946392$46800D31-7452-48C5-8C91-DE2B8C688605","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07a5445d7428a091d49f99ddd021331e0ea81736","datavalue":{"value":"W2223137809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946392$90E91CC2-4C3F-4116-8F84-68D5EB7673BC","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":"Q2946392$3EFE2337-5B6F-4DBE-9309-9B3A611A3886","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":"Q2946392$E732374F-A47F-4BF0-B5C2-7274D4569A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b22089ce50104577f0db808daa988efd3e7d3e","datavalue":{"value":{"entity-type":"item","numeric-id":2922605,"id":"Q2922605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946392$BADC3839-0803-4F60-8CB4-5329E7394FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e3618e26f38b47b4f4c0887ae9b35d1c7f228d","datavalue":{"value":{"entity-type":"item","numeric-id":5957089,"id":"Q5957089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946392$F675F3AE-5E93-4B6C-B109-269EF98365CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f77347970e953e82d8dddf1fddbdb2c14d24ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3452221,"id":"Q3452221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946392$5AD468FB-E3D0-4756-841E-5D01EDCB2175","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":"Q2946392$FEDB3150-4290-4B86-BD44-5C94FA575118","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":"Q2946392$B68A9922-7F78-4BB2-B57C-3218E1DF4B53","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":"Q2946392$7F91E81C-172A-46D3-A307-5870920A1721","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":"Q2946392$B9E02ED6-A572-4345-8651-C2B9452487E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc88ad3f5e586e09fb41605d42c5ccdd508e82f","datavalue":{"value":{"entity-type":"item","numeric-id":2963581,"id":"Q2963581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946392$B5AB5466-1402-40E7-8479-75ADA4D24EA7","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":"Q2946392$BD6E8C7B-5694-4418-B219-9D9A222ECC89","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":"Q2946392$31D0D4F2-C86F-46D0-B77E-1622EE5D08CD","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":"Q2946392$68090D20-DBAF-4757-809D-7EFE5686BE56","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":"Q2946392$68C8CB15-4918-4B01-8EFB-9930FD2F0D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9d3b76bab4b2cb630480b2d788bea2b30ff41e","datavalue":{"value":{"entity-type":"item","numeric-id":4589023,"id":"Q4589023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946392$749A6115-B7E3-4E4A-843F-6DCCA0941BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ca56e2567efb82f93df103d66246d5b49d4735","datavalue":{"value":{"entity-type":"item","numeric-id":653998,"id":"Q653998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946392$876231A4-20CA-4A87-9874-E160B1152286","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237f9300946525b55ce9073d9823797bf1ed71e5","datavalue":{"value":{"entity-type":"item","numeric-id":354655,"id":"Q354655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf653b0463050c4559c8edaceab90161f869dab","datavalue":{"value":{"amount":"+0.8850858807563782","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":"Q2946392$8AA73BF4-5FE5-46B7-A143-B0B67AE0D49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61d84e070a214db063b64febdc62a5edfe35cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4218095,"id":"Q4218095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab012150fc866d7992cd00dc4193ece9d55f291d","datavalue":{"value":{"amount":"+0.7764390110969543","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":"Q2946392$C933673C-E619-48E1-80E4-5D1311796C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba94f9d1a8e84e11fe69fd8e1e542e08d1782b7","datavalue":{"value":{"entity-type":"item","numeric-id":4924642,"id":"Q4924642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ea6bee2b11e518884629e6ced5dbef28e610bc","datavalue":{"value":{"amount":"+0.7728947401046753","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":"Q2946392$DA3652E4-DE56-4F77-AE9A-43CBF5E4BC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"478255697da12d7dab79af449a32f23223c0071f","datavalue":{"value":{"entity-type":"item","numeric-id":1704573,"id":"Q1704573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170c3a3776237f89d38aad6758b33c57ae386fe7","datavalue":{"value":{"amount":"+0.7718143463134766","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":"Q2946392$1ECC3E82-C1F1-4E03-BAE1-5C8D9CC7A974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3084fac649c5801469af00b8361476778d4bbf9c","datavalue":{"value":{"entity-type":"item","numeric-id":4608607,"id":"Q4608607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd952eaef8574bf6e93c1c602ab8dd384dd7c68","datavalue":{"value":{"amount":"+0.7661280632019043","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":"Q2946392$D1B8E656-7087-4D3B-A353-FB40189FFDA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability algorithms and lower bounds for Boolean formulas over finite bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_algorithms_and_lower_bounds_for_Boolean_formulas_over_finite_bases"}}}}}