{"entities":{"Q3557070":{"pageid":5586974,"ns":120,"title":"Item:Q3557070","lastrevid":50968967,"modified":"2026-01-16T00:02:25Z","type":"item","id":"Q3557070","labels":{"en":{"language":"en","value":"An alternative to SAT-based approaches for bit-vectors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702232"}},"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":"Q3557070$B06CCBDC-9EFB-43E3-B681-D3AE2E2C798E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"150cf4c5659b7db2f1a85f792d02e55fcee0f235","datavalue":{"value":{"text":"An Alternative to SAT-Based Approaches for Bit-Vectors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557070$D530EF4B-25B4-41D6-9966-1F7B14324054","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfc7883af8aef8acacb3917ed9d8fe09053b3ffa","datavalue":{"value":"1284.68379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557070$583ED14D-C0BD-4410-88D9-7FB1A2E48412","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20c112b7c49479bc63d568feda573a5d475e4118","datavalue":{"value":"10.1007/978-3-642-12002-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557070$57A8FDB3-8547-4090-9822-5CD717B16ADF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c846912811352f98fc953a6e77fb4be64f213bc","datavalue":{"value":{"entity-type":"item","numeric-id":832219,"id":"Q832219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557070$5FC3902E-2EA5-48DC-8AD2-F53E8A059B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c798d0d7c24b14a88ee7b3f09dbe07401187d8ae","datavalue":{"value":{"entity-type":"item","numeric-id":1129267,"id":"Q1129267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557070$2BF411EE-9F31-4B9D-9213-34705AA149E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24f33f13f81f8bbbb3292ac762e25ff5adfb0df7","datavalue":{"value":{"entity-type":"item","numeric-id":3557069,"id":"Q3557069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557070$6CB07B21-D153-43E5-9806-152962B7C8C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557070$7AC53F7A-1119-4511-B05E-95BEAC9F1A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-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":"Q3557070$F5DBB2AA-8091-45CD-A14A-F1BA655A12A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557070$AC5E972A-7A08-41D3-AA04-5670FB70A3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557070$D42A119A-C788-4B3A-A8FF-53A8BEED147D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557070$0637C280-0D7A-4CEC-887E-FA5DDB5A1475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557070$3552930A-0E59-467F-BA21-E55850861A31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64b3b3ae899486401e18b1f931262deb47b5bd3e","datavalue":{"value":"5702232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557070$EA44C568-5370-4F5C-BF28-AA4B9AC54723","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"688eba81cb056dd5bd9a14f97160caacc67f3346","datavalue":{"value":{"entity-type":"item","numeric-id":18616,"id":"Q18616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557070$76DCE6FD-71FA-44E9-8AE9-551BA04A627F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ffb7d804988b3c86a5855f78d1e0f2e36c4cad8","datavalue":{"value":{"entity-type":"item","numeric-id":12843,"id":"Q12843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557070$3D302060-28E5-4F46-BE2C-60A5E691AE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557070$409191A9-61F7-48CE-8876-C6C59DAA4B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cae2801c307518b2eb271f3166f5d1e42ee4a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":19304,"id":"Q19304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557070$82D18C54-48CE-409A-809E-256EE4D70C49","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":"Q3557070$DBDF2B72-4620-45E6-968C-03A4FA1FFA69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"394e5bd75d0be186e9809da42903dbe9a12616a1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12002-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557070$2C425834-F4E4-4DEB-A7F4-B8EBC3E85073","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dce02c63d9aeb03ca1665cce9f6074635f74586","datavalue":{"value":"W1598706103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557070$E6766958-E16C-47AA-8C5A-F781C54D1BCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b7b179af91ff79850e6500bf44206f23fadf51","datavalue":{"value":{"entity-type":"item","numeric-id":2815126,"id":"Q2815126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b04ce26b42463cc103b2bb695486876bbc2ed2","datavalue":{"value":{"amount":"+0.822227418422699","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":"Q3557070$A67E2236-A084-4DFE-A4DF-226CA3D7B8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52b6bbc7b3d12f64b8d0d20eadcfd8fa6c2d049","datavalue":{"value":{"entity-type":"item","numeric-id":2011567,"id":"Q2011567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ee7e262a9c1657b34d7bb17860ff86ad418992","datavalue":{"value":{"amount":"+0.7983337044715881","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":"Q3557070$3EE6EFE6-AB71-4657-8354-9E61ABB174FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887925069d9615572d47c7b054d26f8f6ec28e24","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1668a2f984f5d5f41b9491535aec012ed6a26abc","datavalue":{"value":{"amount":"+0.7678828835487366","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":"Q3557070$4760808B-970F-4E05-AB74-56FEB08212B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3711f91e7e5c040ecc61499b975fd1980e3a8eab","datavalue":{"value":{"entity-type":"item","numeric-id":2323450,"id":"Q2323450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13730a71e55c5c8c69bae314fc2796787ad60ca3","datavalue":{"value":{"amount":"+0.7577490210533142","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":"Q3557070$C507B6E8-EB91-44CE-BFA7-312581328F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b411317991d275735a47e6906cb73deffb4a3f47","datavalue":{"value":{"entity-type":"item","numeric-id":2818018,"id":"Q2818018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f941f6f11422046e6b1865a78f3f1289d01f60a","datavalue":{"value":{"amount":"+0.7488937973976135","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":"Q3557070$1E613D8A-087D-422D-BB41-BF60E794A212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557070"}}}}}