{"entities":{"Q611751":{"pageid":613527,"ns":120,"title":"Item:Q611751","lastrevid":51146756,"modified":"2026-01-16T22:31:20Z","type":"item","id":"Q611751","labels":{"en":{"language":"en","value":"Formal proof of prefix adders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5826673"}},"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":"Q611751$917ECAA5-4D62-41CE-8178-DB11059BF5E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01f05a05242e7190b1181abf2a692a45322f04b3","datavalue":{"value":{"text":"Formal proof of prefix adders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q611751$674E2BDA-49D8-4A1E-B6E0-6456212A756E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"267b8a3f859c9fb970ab2e967d187edb41dbb2a4","datavalue":{"value":"1201.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q611751$A0AF9287-90D7-4F87-9EB5-255527AD19FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c34a5261a132cb5cde624167cb694c5e78b0bdcf","datavalue":{"value":{"entity-type":"item","numeric-id":181777,"id":"Q181777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q611751$453A25BF-E965-4327-B595-4C79D7011EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e027238e0b1145d7b7ae6350689c8dc72769ce9","datavalue":{"value":{"entity-type":"item","numeric-id":362269,"id":"Q362269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q611751$4769BA15-0FBA-4F76-9ABC-9E5125B5767E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a04b7ffbbf9ab5e337a666c06b668d180e369475","datavalue":{"value":{"entity-type":"item","numeric-id":270349,"id":"Q270349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q611751$83D9ABC7-1ADF-49D9-8840-8491A37CEAEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b010567da0e068295e34b824b5eafea5ffd18ef1","datavalue":{"value":{"entity-type":"item","numeric-id":166953,"id":"Q166953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q611751$8161A6D7-91E4-4AE4-9012-1822D0591DAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c7b9f0403915176fcd67af3fc6912389edbd89","datavalue":{"value":{"time":"+2010-12-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":"Q611751$3EEB3DE7-8A2C-44BC-9975-502BE34067E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3cb322112ae56aec500b334b7351f32fb107365","datavalue":{"value":"68W35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q611751$E7535FFF-1A76-4065-9263-38956CFC10FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q611751$71F83CAA-CC22-49B0-9016-362EE7C76A00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1db6b4c768793760aa5ff87bc41fbcca8b91ef7c","datavalue":{"value":"5826673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q611751$E06C3FEB-5E06-44A7-AC6D-32BE5A60F8D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4bfa9214654b3faa560eebcf180eb54aa958e23","datavalue":{"value":"prefix adders","type":"string"},"datatype":"string"},"type":"statement","id":"Q611751$1DC44186-76B7-4A5C-AF6D-1F89D2DE328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33c83d5142aaa8d798578ed711216fa831c5585","datavalue":{"value":"computer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q611751$9B143DCE-38DF-4730-8440-EB60A97494E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb88047a341200e7c1e7214612fb30fde913750","datavalue":{"value":"semi-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q611751$495AAC76-C155-467D-9CB6-C27B3309D41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4df5c0cd246319ec98364cc18f750639d6c6e1","datavalue":{"value":"VLSI","type":"string"},"datatype":"string"},"type":"statement","id":"Q611751$67807A10-39AB-4E53-ACC3-BE1CABD982C6","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":"Q611751$6F825535-B79A-4A4E-B3BD-0E74DEC56BCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f77767b3178459b3906a76bec9f62f39d8d67923","datavalue":{"value":"https://doi.org/10.1016/j.mcm.2010.02.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q611751$0EDAA377-6FF3-48EA-8B3B-62F68F8D8613","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d37ae6557fc59c7c702d061661a75ab17b25ff6","datavalue":{"value":"W2087431822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q611751$3C3549E2-6F68-45F9-8EA0-9BE1E6EDC6DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"508894c78bd2770d073dbe57a0316a7e71f6bc30","datavalue":{"value":{"entity-type":"item","numeric-id":3890136,"id":"Q3890136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q611751$EC697E46-232C-4BAF-B03E-663803A9693E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f22cfcc1da06ae3d0a2bf7d846f01b79f14f8c1","datavalue":{"value":{"entity-type":"item","numeric-id":5678425,"id":"Q5678425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q611751$EE2FA39A-04B7-4F6A-A995-F3753E3B1547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb2be559bc16db998d32e6fa75898d44807cf88","datavalue":{"value":{"entity-type":"item","numeric-id":3934311,"id":"Q3934311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q611751$8666AF9D-E8C3-4613-A85C-EAFF182814B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9751d8f12e3f2c7dd6bcb47ce70a0a4e9d0ee68e","datavalue":{"value":{"entity-type":"item","numeric-id":5313086,"id":"Q5313086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q611751$6AE30289-2BF8-4007-BC81-8DDEF9B11B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc148b193cb513a04ebe47471f3e8578192f597b","datavalue":{"value":{"entity-type":"item","numeric-id":5280834,"id":"Q5280834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q611751$003AA85E-BF76-4A55-85BC-1B3F01943833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c6a9023a895eca763b5393dce9a56c8c6abd6d","datavalue":{"value":{"entity-type":"item","numeric-id":1328526,"id":"Q1328526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q611751$95D7516C-B7C6-441A-8535-5A5D53CA149E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da88952a37254da86caa5d2e1716d0cfee3ae06","datavalue":{"value":{"entity-type":"item","numeric-id":2773752,"id":"Q2773752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q611751$5D230569-5962-45EB-8C74-92C89FAE12A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a45a62dfa2880bd053541d1913d571ca71d4895","datavalue":{"value":"10.1016/J.MCM.2010.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q611751$41EC7DDB-7A76-435D-878A-C988CBB2DB26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90712b159374c96d8440cb870a686fa5cd675765","datavalue":{"value":{"entity-type":"item","numeric-id":362271,"id":"Q362271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c6bee8462c52ffe901c91aaed04ceef6c31042","datavalue":{"value":{"amount":"+0.8758702874183655","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":"Q611751$90A00282-22CD-4E01-9973-973A5F3404A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f57d3031d8338f91f8eec4b84c99dc9c7c4a006","datavalue":{"value":{"entity-type":"item","numeric-id":2336214,"id":"Q2336214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9928826d21d480834652c68259d1f9399fca6d5c","datavalue":{"value":{"amount":"+0.748360276222229","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":"Q611751$AAA2A6A9-7784-4315-B36A-06EE2F1FA72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e649264ee8c5f77323097969c0d9813410c2c8","datavalue":{"value":{"entity-type":"item","numeric-id":2754046,"id":"Q2754046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799fd1dc9b13bb32be4baa9af363efe82d623579","datavalue":{"value":{"amount":"+0.6859063506126404","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":"Q611751$1F983ECE-FF40-4DC4-AB9E-3E3B5376BCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f2ab5ed124dbad7c68f16d2a9bcb1c6089942b","datavalue":{"value":{"entity-type":"item","numeric-id":3512511,"id":"Q3512511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d70d14abf12d06e9dd4cb5e3e31aa18d7e452a4","datavalue":{"value":{"amount":"+0.6853953003883362","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":"Q611751$8CFC989A-E601-432E-84FF-7B04FC4817B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f1d8cc8942446b799c6498561df195286a7209","datavalue":{"value":{"entity-type":"item","numeric-id":4028332,"id":"Q4028332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245ecbd4b26b21b0c7ba579ec14347beae910a6e","datavalue":{"value":{"amount":"+0.6812170743942261","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":"Q611751$6821A232-EAC6-42EB-B84A-4E44C0402BD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:611751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:611751"}}}}}