{"entities":{"Q2815126":{"pageid":2825864,"ns":120,"title":"Item:Q2815126","lastrevid":83672777,"modified":"2026-05-07T09:56:25Z","type":"item","id":"Q2815126","labels":{"en":{"language":"en","value":"A bit-vector solver with word-level propagation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598678"}},"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":"Q2815126$87FD7445-126C-42E0-BB1C-EE31F16436C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bae8aa5d9ed1664115713d9171e9912b586a2776","datavalue":{"value":{"text":"A Bit-Vector Solver with Word-Level Propagation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2815126$A1506736-A2CD-4182-8F92-21B69A61A4A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15c24473647506e3d720a30c888bab05f074359d","datavalue":{"value":"1475.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815126$47A87B24-EA15-45F9-BA3D-38C091C55731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18125d6b21f9fea8dc6167d898f942a4e15301f7","datavalue":{"value":"10.1007/978-3-319-33954-2_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815126$2E372BAF-1F51-487C-BD7B-EE620F907C74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c13414e2e9fe70ae35bf1219d16c73b3483198","datavalue":{"value":{"entity-type":"item","numeric-id":264990,"id":"Q264990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815126$FC9802E0-251B-4E72-B4D2-1B2AAF5801C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815126$CDC46FBF-B5E9-48AC-8E33-41760C1ACEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"274480314ac25c6283128ae73ea59b7f92a13720","datavalue":{"value":{"entity-type":"item","numeric-id":6771669,"id":"Q6771669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815126$627DC618-C652-48B8-8665-C02EE6A348BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b1652380338ae242279135a846e7aa433b3b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":2815089,"id":"Q2815089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815126$B7619CF4-EEDB-4ECD-96C0-75DB3EE0ED24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0421c5c501ceb8b5b93f7269ddd5cda28f4b61","datavalue":{"value":{"time":"+2016-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":"Q2815126$3B492014-63C7-4C85-81CF-17091076D574","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815126$579C95FA-D766-48B8-81FB-4E3FB64B72AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815126$C1BB28F6-C7FD-4C87-8DDE-9F20FA3C983C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f783dd873af3dbea9329f8e146511b2c7097bc6f","datavalue":{"value":"6598678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815126$1FECA34D-9539-4F4A-9FFE-7C82F670289D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5d7a04d793f00926845b7a85c75bcebf5095d4e9","datavalue":{"value":"Q57664981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815126$8492A747-CB36-42A3-BA6C-57E721AB15F9","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":"Q2815126$B5C562DA-76BC-4B11-A850-DE08866E04E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a263048d65eed118bf8b4d3faabd7d473f1097b2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-33954-2_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q2815126$A22E7009-0C5F-4C16-BF4A-FC219E24FB82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0293bc09feaf400c34f06a685848c551c9e0adf2","datavalue":{"value":"W2465314249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815126$EBCD67B7-BD2A-4ADF-948A-0635F560F8B4","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"876bf0469416dc823fe240bb241962568f82bef5","datavalue":{"value":"conf/cpaior/WangSS16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815126$16A6FD76-DCBC-4C6A-BAC9-AF9DB2E80DB4","rank":"normal"}],"P1643":[{"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":"ea0674b1ba36d99c36dce6492a249ed0f8f8dfbc","datavalue":{"value":{"amount":"+0.8915289640426636","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":"Q2815126$7A85078B-B01C-4139-9875-03EFEC3EAC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8ed5f0834313a48c682658eaf443b0c09a99d8","datavalue":{"value":{"entity-type":"item","numeric-id":3557070,"id":"Q3557070"},"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":"Q2815126$E476E89C-7F7D-4C0A-B42F-59E2A4E6BB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f71ed36c4994c3a48c25d0a060b4b9a13ac85b","datavalue":{"value":{"entity-type":"item","numeric-id":1688546,"id":"Q1688546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab14c580a26121e614eb1174f979c59b05c49b5b","datavalue":{"value":{"amount":"+0.8187143206596375","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":"Q2815126$21A52390-24A0-4398-8574-FB0FD5106435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb02a597db6bc8fbefa867f8ca47e3ebda3cf632","datavalue":{"value":{"entity-type":"item","numeric-id":2441770,"id":"Q2441770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98182fb91cd8aa9cea47476bafedcd902911266b","datavalue":{"value":{"amount":"+0.7745657563209534","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":"Q2815126$07041045-1888-4E21-98EC-24F7392B43C0","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":"22b60dc81bb8e49d511caf81870e0fcb5c87cebd","datavalue":{"value":{"amount":"+0.75469571352005","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":"Q2815126$839D8DDF-668D-4608-B213-CE02E45E2F1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bit-vector solver with word-level propagation","badges":[]}}}}}