{"entities":{"Q4628487":{"pageid":6658069,"ns":120,"title":"Item:Q4628487","lastrevid":90528107,"modified":"2026-06-04T20:36:18Z","type":"item","id":"Q4628487","labels":{"en":{"language":"en","value":"Integrating algebraic and SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7036049"}},"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":"Q4628487$68338910-1349-4FA8-ADAC-E6C295CF26CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75c098071cadb5f5ee4a4c7abd608316e2bc3c93","datavalue":{"value":{"text":"Integrating Algebraic and SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4628487$4B2E26EE-8928-4F05-8CAD-01756AFB4FDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83787340cd3437d087258e7e9555d85d51f4c5fb","datavalue":{"value":"1497.68546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628487$865B7E98-D8CC-4A94-A428-114DF7F40C57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fea196454080cccbc64b87d6eb5baf5117978691","datavalue":{"value":"10.1007/978-3-319-72453-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628487$730749A9-CFB5-4500-A63B-B160B059A1E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e6b19b346f8f353543cd3da21b8bca684ebd24","datavalue":{"value":{"entity-type":"item","numeric-id":1662236,"id":"Q1662236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628487$061D94B8-9316-4484-AE08-F6688CCA6E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1a66d42aa9bab688fc189296c8198eb5d830d2f","datavalue":{"value":{"entity-type":"item","numeric-id":3453208,"id":"Q3453208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628487$B01806F5-0BD0-4815-A51B-1BA08F0CE4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628487$097CFE5D-30CA-4592-8256-161AEA175619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71c2a8fd59ff2aea42f2828ebd43ce4734ce1b7c","datavalue":{"value":{"entity-type":"item","numeric-id":515722,"id":"Q515722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628487$F2D74584-74BE-4DB2-9281-8CBF6998C38A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ca0d52ac5bd82e1d2f3745383ba9c8f2eda53acd","datavalue":{"value":{"entity-type":"item","numeric-id":2807813,"id":"Q2807813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628487$0C0A3E35-B7C8-4A58-A5DC-306E5D1D500C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df01aeeba31ce24d39703f591bf3026949b8c0f3","datavalue":{"value":{"time":"+2019-03-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":"Q4628487$AE68A6E5-17AE-4ADC-A1F3-7C61591AD268","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628487$DE46E871-0A76-443B-BAC4-25056F4A6BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628487$EF57F490-4A42-4A6D-91D8-343DD368AE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628487$12AE028B-A6F2-44FD-88BA-026F70EE596F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e027eac94350b6695ad286e1803fdfd7a951f318","datavalue":{"value":"7036049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628487$FEE259CD-B310-4266-96C1-62F2805424FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ca7bf7a6a59233a912a321ae0fa344209f1ad5","datavalue":{"value":"Boolean polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628487$AE069197-4886-4C8B-AFAB-29A2AE8FB695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c895b49b0444d946d88559188a81da9fbcd972","datavalue":{"value":"border basis algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628487$118BFB8F-ABAD-48CA-A2FE-BE1B89A90674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628487$430BD017-9EB3-4021-8DD2-422E260630BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeb0179ac78320ddc212edaf0a3ff3e4ef1cf9d0","datavalue":{"value":"cryptographic attack","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628487$63E4490B-7970-4F5D-87E7-00D762548F96","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":"Q4628487$901393BF-BDA8-4286-9576-5C95608E1212","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e078e8cdc02c5e51164ae349870dd9ff928fdaf7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-72453-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4628487$7A5188F5-896B-4374-B96A-F041709ADFBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52c1e3582560d8f3c3617855b389a147bb432428","datavalue":{"value":"W2779479126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628487$AFAB6A59-EF49-4A61-9599-B33DB13581F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dbfb6a51dade90f7a6eb4bd905ba053b394b1c","datavalue":{"value":{"entity-type":"item","numeric-id":3085997,"id":"Q3085997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c958690dd8cc58b14c076313a9d88b2d7f75ea00","datavalue":{"value":{"amount":"+0.8460775017738342","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":"Q4628487$94D2A127-D896-4496-B80D-5CF31B7F9EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e030b66d9342685bf5c300fd1143aa69cbc1ce","datavalue":{"value":{"entity-type":"item","numeric-id":1662237,"id":"Q1662237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34570764c41547bea1e5fd3baad1abaf9d9da673","datavalue":{"value":{"amount":"+0.8168206214904785","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":"Q4628487$7CF8373C-BF1B-4DED-917D-20A70B463180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e28759e98d229c30d6ffc091f633a4bc3d8597","datavalue":{"value":{"entity-type":"item","numeric-id":6487217,"id":"Q6487217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21e7cb540c1959355298e1cd665800f1955497a","datavalue":{"value":{"amount":"+0.7960241436958313","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":"Q4628487$AC15B362-CAF2-4BA1-B4ED-4FD59D07B2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe90d37712a0a4d254cf68ec1b1fae427a7894d3","datavalue":{"value":{"entity-type":"item","numeric-id":4808722,"id":"Q4808722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539eff1b1e8b605153e3c491bc855252c311b522","datavalue":{"value":{"amount":"+0.7674463987350464","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":"Q4628487$CA9ED80C-4A44-4749-BEE6-3039C350B371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a4de5954c0b6cbf0283da46e3b6a73f6b123aa","datavalue":{"value":{"entity-type":"item","numeric-id":2636455,"id":"Q2636455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5675092303758929678ff3c2ca4743d68a88d148","datavalue":{"value":{"amount":"+0.7637087106704712","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":"Q4628487$B10CEB60-CE5A-40F1-AB16-3E322612AF7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrating algebraic and SAT solvers","badges":[]}}}}}