{"entities":{"Q362271":{"pageid":364038,"ns":120,"title":"Item:Q362271","lastrevid":61291275,"modified":"2026-04-10T22:24:34Z","type":"item","id":"Q362271","labels":{"en":{"language":"en","value":"Formal proof of integer adders using all-prefix-sums operation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199713"}},"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":"Q362271$35B49BC9-CE07-486E-B51F-51548E7F56CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2597078e57f003dac0d6996f56a05a81b9316216","datavalue":{"value":{"text":"Formal proof of integer adders using all-prefix-sums operation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q362271$F1440850-F488-47C9-A09A-E2FC1A1D78B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebfd32c0aca356b69565ed78988487f810a5a9a4","datavalue":{"value":"1270.65086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q362271$363B51F5-B15F-498A-AD98-FD0AF8354EC6","rank":"normal"}],"P16":[{"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":"Q362271$0F2CB20C-F770-41F1-83EC-8736B7E78381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa16960c825fc0f9450ac8c3e3d6da9e3dcea04","datavalue":{"value":{"entity-type":"item","numeric-id":362270,"id":"Q362270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q362271$CFFA25C8-4207-49E8-B8C4-3AC101002967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b03217fbe5cbd3c58274c21aaf48e482afd57d4","datavalue":{"value":{"entity-type":"item","numeric-id":6203444,"id":"Q6203444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q362271$C19D536D-7A54-4A4B-932C-DEAE16E8EF9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3e75863112715ebe77fb417b5370756baeecb3","datavalue":{"value":{"time":"+2013-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q362271$4D38AB0C-F9C7-437E-A68C-243D594CA54D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"268f576b81ae2e8441182a34145a08de14dba670","datavalue":{"value":"http://engine.scichina.com/doi/10.1007/s11432-011-4331-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q362271$05E6A88F-B127-4C3D-A500-72A6642FB902","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q362271$43B987CB-C583-473B-A408-C525B4F72FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q362271$CD9DEA95-A4C6-40DE-B102-B48ADF59012D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faa88fdad442075c5cc108396fd50af2ae14c2e9","datavalue":{"value":"6199713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q362271$187D19E0-F1A0-4E3A-9718-87B7934B8C64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb88047a341200e7c1e7214612fb30fde913750","datavalue":{"value":"semi-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q362271$13FE4A94-48B3-437F-A03E-1F2F07E792B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05354c80079a2bdd78ebfd3979c38e27c45b33ee","datavalue":{"value":"integer adder","type":"string"},"datatype":"string"},"type":"statement","id":"Q362271$146DA463-AA56-4F1D-8FBD-F6402A881268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00176693003f918cc378db70a809db5dddc5327c","datavalue":{"value":"prefix computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q362271$130C8797-125A-46D8-B7D6-3325BF562C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33c83d5142aaa8d798578ed711216fa831c5585","datavalue":{"value":"computer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q362271$634F6F09-30D3-4FA8-BED1-A8406C4B4AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4df5c0cd246319ec98364cc18f750639d6c6e1","datavalue":{"value":"VLSI","type":"string"},"datatype":"string"},"type":"statement","id":"Q362271$B97DE8AE-D9C6-454F-86F3-DF64943999DC","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":"Q362271$BD1496D3-F2D8-497C-986C-3AC32CA2926E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"786622b6cae2438e25c09364804b8af6b2a97b84","datavalue":{"value":"W2256816214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q362271$02EB3890-E2D2-4D38-A752-A9411B670F13","rank":"normal"}],"P223":[{"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":"Q362271$A8CAC3EE-C1BF-42E3-8EB7-6B46786C6C01","rank":"normal"},{"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":"Q362271$491C31B1-9012-42EA-BC11-772003EE0F93","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":"Q362271$58D9C50E-1488-456F-A21D-590F415DC582","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":"Q362271$B6B3CBC3-099F-4123-AE5C-1BC3DE302C06","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":"Q362271$D6DB8574-ACB3-4E40-B25A-1C091FDCCC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399b2a8f371ad538a3b28b6b50d444ee02799f3b","datavalue":{"value":{"entity-type":"item","numeric-id":4660267,"id":"Q4660267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q362271$9E68BEA4-C185-42D5-BA7F-FCD671FECB00","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":"Q362271$877108D3-4A22-44C5-9AA8-79FE7E5FDBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q362271$98D98878-9434-4000-BC36-6D072334BC66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0defdd91b95008821c4b9edbae478bfb63d836dc","datavalue":{"value":"10.1007/S11432-011-4331-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q362271$9D28B221-31B1-496C-8D37-25F5C3D74E88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e61521466efc69453d03c996ffe47614665c4523","datavalue":{"value":{"entity-type":"item","numeric-id":5018141,"id":"Q5018141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q362271$9D52581E-96BC-4635-A534-E1ABC37813FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e1eafc11d20b728fdc6253c94511f00e2d550f9","datavalue":{"value":{"entity-type":"item","numeric-id":611751,"id":"Q611751"},"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":"Q362271$06AA6ED4-71EC-4A15-94C6-5E0CCC3F78A7","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":"0006a1c1cae82de1d6db1386ca159c0180b16e15","datavalue":{"value":{"amount":"+0.7641125917434692","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":"Q362271$E1DACAB5-E4C6-494E-B3DC-6AB7EE9A7A3D","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":"28fbb6d773d0beeb36014ad5f4a14316d6b0ddbe","datavalue":{"value":{"amount":"+0.6994304656982422","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":"Q362271$69BF1783-9711-4B46-96DF-C14A3B7620F9","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":"27a1b108073c2d701ed74f857d345ccfd147a023","datavalue":{"value":{"amount":"+0.6829617619514465","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":"Q362271$8D771AB4-C7E0-4298-9160-F2DB731581E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c7de51ab2f6fb2f10aa9f51ef440b5e3c932f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314510,"id":"Q1314510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a1b108073c2d701ed74f857d345ccfd147a023","datavalue":{"value":{"amount":"+0.6829617619514465","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":"Q362271$1E5F2CD6-7B8F-42B1-9686-369F0442A138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal proof of integer adders using all-prefix-sums operation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_proof_of_integer_adders_using_all-prefix-sums_operation"}}}}}