{"entities":{"Q3587716":{"pageid":5617620,"ns":120,"title":"Item:Q3587716","lastrevid":80769560,"modified":"2026-05-06T16:57:34Z","type":"item","id":"Q3587716","labels":{"en":{"language":"en","value":"Extending Clause Learning of SAT Solvers with Boolean Gr\u00f6bner Bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5783090"}},"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":"Q3587716$04D4A06D-5B09-4D21-9E71-F20E0CAE3EDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edf3447af3cc0ae0a3aeffd04427d2cc159a2ffd","datavalue":{"value":{"text":"Extending Clause Learning of SAT Solvers with Boolean Gr\u00f6bner Bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3587716$BEBB5173-C483-408F-8E6F-3643EB191D7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52e0b24699618cae85dd663edd6c55686ddd67b1","datavalue":{"value":"1290.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587716$5A1386CE-0CCA-4D6A-8687-136A36586E03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61f58b3360030b278af9d3a1e61c65ef80e8e8de","datavalue":{"value":"10.1007/978-3-642-15274-0_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587716$89CA7922-1BFA-4079-AAEA-F57C93C1CD08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f268e7a282741f314bdd25824b1da5ec049a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2946523,"id":"Q2946523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$D86D7C29-C4BE-48C7-8278-4FCCD5A5BD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a36e2775790aea339f51177a635c0eb1b20a260","datavalue":{"value":{"entity-type":"item","numeric-id":1389630,"id":"Q1389630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$62C13301-A360-4360-B445-3B88E3A8DC58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3457386823daa10db7f266a7a58ead5c5ae2053b","datavalue":{"value":{"entity-type":"item","numeric-id":2829986,"id":"Q2829986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$DF0975F5-7F0D-4C9A-85CD-147E393FAEDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2857b5bc1b1598776d7a167b6234f21df24153b","datavalue":{"value":{"time":"+2010-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3587716$5C2EA7F1-9EC0-49E9-87C6-75C6D153E2F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587716$C8F705B2-A784-4A9F-B151-15A3DFC82D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587716$DF122F30-E030-4AAC-AA54-F87D170D329E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b08ee2d894e9de9a27d6b45106460694ffa315d8","datavalue":{"value":"5783090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587716$8FA3F738-C004-43D4-AB56-42D4B10F974B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c380595b49d0a988fd3126aa01e9e62e3240cdd9","datavalue":{"value":"Redlog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3587716$76F77806-88AC-4B54-A15A-D4711F5F5749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a4cf6511ee6c7d77dc5cb40e0a27bf8b88f2b1d","datavalue":{"value":"MiniSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3587716$86BDD980-B0C3-4A7D-82D5-260E28D4F836","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$6455E6A4-60A0-4FF0-80A9-2DC30985F286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$C0094F94-B4D1-4E7E-B4A2-B9EAD8C37970","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":"Q3587716$F21C0155-14F5-40AE-B086-188EA4FF04EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1df2fd3842c51f61e4052275c41864717bebe69c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15274-0_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3587716$56A1084A-81E4-4AB5-88D4-0AA4CB33D16A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0a09def8da696d053550f1fe12f5aad84577ed6","datavalue":{"value":"W1579470922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587716$37EC589A-6A6E-4DE4-BE72-33C259B6C910","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5946ec668daa7740ef3a39d0313b1d8c2aa23ba6","datavalue":{"value":{"entity-type":"item","numeric-id":3637154,"id":"Q3637154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$1BC5B7DF-62B7-4CA5-847B-36F6B0CF9197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$50032729-9FB5-4648-BEC9-673097CFA773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$DCD2BFCB-C3BC-46BD-B5D1-483FC8F71B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$914A7F40-9C4A-425D-BE23-44D2E239D736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$B87B4C69-4818-415B-A5F1-F16CDEB0D38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5157c30325339cac89f8ebf581798fb752755c8","datavalue":{"value":{"entity-type":"item","numeric-id":2741518,"id":"Q2741518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$D84CC4DA-7966-41BD-83A3-2F9A7B1A95C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93c658de2d44ffa685be37c0ff9882760427828","datavalue":{"value":{"entity-type":"item","numeric-id":5758133,"id":"Q5758133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$5211C5AF-C2CF-4360-9993-DAEA2C55F08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"281fbf69617a0a12d512ca914feac7358f7357cc","datavalue":{"value":{"entity-type":"item","numeric-id":5387914,"id":"Q5387914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$2932A9FA-A718-4268-A9E4-0715AF19CBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$2B74E6D7-745C-4630-9231-95722508574E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$E3E167F5-688C-4B23-A206-2734B48ED414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d5f45f0597dc0ee640b8dceeb709248c27f80e","datavalue":{"value":{"entity-type":"item","numeric-id":1017680,"id":"Q1017680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$61A07A28-8D77-4796-B550-62AF0D5A1B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$FAFC9084-332B-41C0-93DC-64D89B2CF51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$C829D8B6-6CCB-431A-A3ED-E56903C347A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7de9b169b485cc698e2125ab4e4c9d5d815c9","datavalue":{"value":{"entity-type":"item","numeric-id":2946524,"id":"Q2946524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587716$C601998F-E2E9-4745-B73D-3D878F35220B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3274e50a67589976e3e9b2a36563472f58dd3351","datavalue":{"value":{"entity-type":"item","numeric-id":3639755,"id":"Q3639755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e755eb5d33f5304bd69617f24389bdc078554cc5","datavalue":{"value":{"amount":"+0.8985474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3587716$8916BED1-AD83-41B9-B534-3785D716B30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102b4299cdcd1142dc21044f6b7447c46cf4292","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa03f16cb29402539f4b6d42d344abe6efcd1334","datavalue":{"value":{"amount":"+0.8897661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3587716$D712BC4B-472B-481E-8C03-2A22F679F7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94121e2b99edf03838a28b48c6e427008e41aa5c","datavalue":{"value":{"entity-type":"item","numeric-id":5175309,"id":"Q5175309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47fcbdb92bb3d39fcda603812aeb122c79d49d95","datavalue":{"value":{"amount":"+0.8752162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3587716$23D9FAB4-5186-4903-93DE-E8B1C8DA91C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5f4dfbe3797c59dac2a5dc4ae91689aff0bd43","datavalue":{"value":{"entity-type":"item","numeric-id":5106262,"id":"Q5106262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747b114c1cb338efc93bcf4443eb8def73e84fc5","datavalue":{"value":{"amount":"+0.86240685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3587716$80CE3D4F-F0C7-4489-9E86-7B2EBFFAFA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e8b676e4df73b916e8709fcdd73767eda5020e","datavalue":{"value":{"entity-type":"item","numeric-id":5713744,"id":"Q5713744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c9f824537ec4eaa5795a50b8fc426e21c70e4be","datavalue":{"value":{"amount":"+0.8621126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3587716$D76CEF1E-5B69-4A7A-8FE9-AF3D5E201522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cdd175d3afb7e6b2fa9a2617082a7ec7c1fb9de","datavalue":{"value":{"entity-type":"item","numeric-id":3502713,"id":"Q3502713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2299012270c8668e5dda87b3c6212675506fffd3","datavalue":{"value":{"amount":"+0.8593417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3587716$336A0837-D0FA-4B69-B240-6E56E5AF05EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending Clause Learning of SAT Solvers with Boolean Gr\u00f6bner Bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_Clause_Learning_of_SAT_Solvers_with_Boolean_Gr%C3%B6bner_Bases"}}}}}