{"entities":{"Q2961559":{"pageid":2972284,"ns":120,"title":"Item:Q2961559","lastrevid":58075632,"modified":"2026-04-03T17:13:28Z","type":"item","id":"Q2961559","labels":{"en":{"language":"en","value":"Matching multiplications in bit-vector formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687354"}},"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":"Q2961559$CC2FBB98-E21C-4C8E-8D1F-18E628B1B3AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d177540f47b951d21515d6b708774875d7cfebbf","datavalue":{"value":{"text":"Matching Multiplications in Bit-Vector Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2961559$E7A075B7-E7AE-4DB3-98B8-0ADB0ECBF0DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f99bdd181ab6c7fd2cf3f3bbf0a5b81b35bd14b6","datavalue":{"value":"1484.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961559$B90072B9-F0A3-443F-BA3A-74E362E5D628","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71dc902869b03d8558656d00611405bc12006b30","datavalue":{"value":"10.1007/978-3-319-52234-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961559$E1C13D2B-7C24-46FA-9E1D-29906F64B9F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$656B884B-54F4-4A6E-BA52-D64EC6D8D44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cefe2994cd2e378e79e344a451c126379a495f1d","datavalue":{"value":{"entity-type":"item","numeric-id":630709,"id":"Q630709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$733B5440-6DE4-41C7-A98A-35F8F64626D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0694c6ac308f2217cbc4b12b89566b9eebc9dbd8","datavalue":{"value":{"entity-type":"item","numeric-id":343849,"id":"Q343849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$90540C44-C00A-4DC2-87DF-F605BD589155","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$AF3D35E5-9FFB-4385-AA96-D510C91314E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2961559$FAFE74B8-2B2F-43C9-9F7C-F040411BD793","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"073e8e678a5daff78f62e45f4b7351c3b34f055c","datavalue":{"value":"https://arxiv.org/abs/1611.10146","type":"string"},"datatype":"url"},"type":"statement","id":"Q2961559$1DD45EEE-D56A-4C82-A24F-9A010CA0883D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961559$B92511D9-B767-412D-8C36-CE276EFBF724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961559$1CCE6B75-E50D-40A1-AB85-3713906375B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aca6478be3d7f21f32c9205466f2170a320519a2","datavalue":{"value":"6687354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961559$31595281-6AAF-4689-97D9-E857B0C5FF0D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$CC2DEE18-1FEC-4186-A162-8D18D1CD642D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$B9A37070-08C9-487E-8CD7-930650A6DDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$71D36D22-21EF-48AF-98CF-9749E0BF454D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$0B525A50-216A-4841-9610-2EFEF2DC6BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$9DB09817-A385-4A29-9093-1AAB90FBD84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$10F6BBAB-304F-495F-98E5-DD48466E7BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$1ACB0FCC-EB6A-42E4-9E8A-1840D9A05DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$A5103F7D-B6DA-4319-A2EA-BCCB77B833FE","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":"Q2961559$98C029C7-F810-49FA-88B2-DAD228A3317E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49a2333d5f2b89b2b797217b3ca37449be4db6fc","datavalue":{"value":"W2558223845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961559$ED6A33A4-C766-4220-85C0-C9CE2D4FB86D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$1F069F4C-1A11-4D1D-A4CB-00FA60E42D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1175947ec2aea995ccb1f9384b13403be217dd9","datavalue":{"value":{"entity-type":"item","numeric-id":4913859,"id":"Q4913859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$B729CC28-D519-4DC0-BE4C-36A2B39B804D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae7843132923529136083e7630462aba0df84616","datavalue":{"value":{"entity-type":"item","numeric-id":526779,"id":"Q526779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$A49B2FC2-DB18-48DD-BEFA-E9F4730FEC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a96bd22c434fffd964235fcba19e83134844e4","datavalue":{"value":{"entity-type":"item","numeric-id":4091452,"id":"Q4091452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$F6CCF7F0-FECD-4FD8-95AE-D4F27B776FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10760652246c5a594af34b4699726ef9109b02a7","datavalue":{"value":{"entity-type":"item","numeric-id":5737339,"id":"Q5737339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$9EBEEFAE-9E9E-4DD0-9E4A-E0F48D798874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$DB729731-E8C8-47C2-B7F5-3583A6B5E443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905ba455757383c4e4e788657fbd3c957fa7b458","datavalue":{"value":{"entity-type":"item","numeric-id":2961559,"id":"Q2961559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961559$C334788D-3E70-476E-AFA9-5DF9910843D2","rank":"normal"}],"P1643":[{"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":"db62ef72c6fd21ae8174f258eb4244b86c8a9fdf","datavalue":{"value":{"amount":"+0.7723914980888367","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":"Q2961559$B762698F-01B5-4E42-9B46-32FB7636F985","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":"4d6deb1165441e30dba9e71cfde6afd45bddff5f","datavalue":{"value":{"amount":"+0.7557746171951294","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":"Q2961559$F2501949-0668-4BBA-AE68-CD2A63F8A88F","rank":"normal"},{"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":"c8ce7467cf2307acfca8fc2edf1cc07b6a5983f6","datavalue":{"value":{"amount":"+0.7541623115539551","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":"Q2961559$EDFCA007-49E9-4CBD-9BB4-0975B3159F1F","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":"25804264282c8d309a4ce756d309367826dcd324","datavalue":{"value":{"amount":"+0.7351090908050537","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":"Q2961559$3270F827-A6FD-40D8-90B1-807523121FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e800ae413452d6d975b451d64218c5d97edbb067","datavalue":{"value":{"entity-type":"item","numeric-id":1623140,"id":"Q1623140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03dbe411cf6a0fd2a8c2dc41983a3096b535cc69","datavalue":{"value":{"amount":"+0.7326784729957581","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":"Q2961559$B46E0AC7-84ED-4BC2-A13E-6699588D518B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2961559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2961559"}}}}}