{"entities":{"Q3115681":{"pageid":3126397,"ns":120,"title":"Item:Q3115681","lastrevid":51415976,"modified":"2026-01-18T03:44:48Z","type":"item","id":"Q3115681","labels":{"en":{"language":"en","value":"Sharpening an upper bound on the adder and comparator depths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6004942"}},"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":"Q3115681$6A3E35A7-D4C4-48BC-80B8-2BD142A5007A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfe795f4f7f4848674b6395c4e472ff74a7bbcd9","datavalue":{"value":"1249.94079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3115681$B88356F7-16CB-40B0-9ECA-F9808303F34C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82207b73654b8ca4de703c7c4915d01b1d01efa7","datavalue":{"value":{"entity-type":"item","numeric-id":3115279,"id":"Q3115279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3115681$DA736C01-15E5-4762-9F0C-C77F6DE269D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c52ba3eabb1b5dda8b2f889cd58a7e4939f1d164","datavalue":{"value":{"time":"+2012-02-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":"Q3115681$D7329656-F5B7-4680-9518-89FAE0DCBE72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3115681$FE855632-0DE0-4245-BA9E-3FA1016C8640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bef189596b5c4f63833106d4ed1b0e4ddecc61a","datavalue":{"value":"6004942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3115681$F4852BC2-46FA-49DE-BF3E-06B1F08E09C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aede6609b435e12d05e942fa7e2aa270bab10ca1","datavalue":{"value":"arithmetic operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3115681$AA5D9C6D-245F-4C6D-A647-9770B5C48829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46b51c571a1b05841b0b2e52f1d1ec9ef3e53784","datavalue":{"value":"comparison of integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3115681$2C910AA5-1AE4-4370-A496-9DD1D4646D23","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":"Q3115681$7574FA33-B55F-4E82-8BE6-5A3F4A9456E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c649de2d2c161347d44a0021b181b96f82c9d4","datavalue":{"value":{"entity-type":"item","numeric-id":3033322,"id":"Q3033322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2bdfed7f92d8307a6b5d6a44fa981db7a25e53","datavalue":{"value":{"amount":"+0.7890070080757141","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":"Q3115681$6C8DB12A-7E18-4FD9-BF7C-EA685979CA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f55cf28c99ac50bbbc4433f6fe441a46fec6b7","datavalue":{"value":{"entity-type":"item","numeric-id":610001,"id":"Q610001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33b958549792c0531fc008eb6c650fb576f4c1d","datavalue":{"value":{"amount":"+0.7789837121963501","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":"Q3115681$67C2C689-4078-416C-A05A-178BBEBCA87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3456fc8eccb98056bb29399e1fcaf6db4e86edd","datavalue":{"value":{"entity-type":"item","numeric-id":4554949,"id":"Q4554949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db31827eaab9322bf733304fe37aa9c28dcf132","datavalue":{"value":{"amount":"+0.7346181869506836","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":"Q3115681$1C06A3AA-C763-4987-A1E8-4BFBD2058250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38e66962582307b56029f426b3be0790afda162","datavalue":{"value":{"entity-type":"item","numeric-id":264012,"id":"Q264012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04536660705eb757d63031190ed3ee71470c4ad9","datavalue":{"value":{"amount":"+0.7309205532073975","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":"Q3115681$033C1B9C-86F0-455D-B53F-E7E764FF8569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8d871b1acfc8d27dc046e691db4dc56ea13a77","datavalue":{"value":{"entity-type":"item","numeric-id":1182104,"id":"Q1182104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebbd0d78a34a7094fd41bf165d9526d471f7c55","datavalue":{"value":{"amount":"+0.7308719158172607","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":"Q3115681$1951E1E7-619A-4DE1-AAE3-46F5AD810E46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3115681","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3115681"}}}}}