{"entities":{"Q5280834":{"pageid":7310409,"ns":120,"title":"Item:Q5280834","lastrevid":29334470,"modified":"2024-03-05T18:38:08Z","type":"item","id":"Q5280834","labels":{"en":{"language":"en","value":"Proofs of Correctness and Properties of Integer Adder Circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6753371"}},"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":"Q5280834$6B425300-07E9-4D81-8443-6841B3A23CD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6390f997e34574d4544da46652d33edb197cce4","datavalue":{"value":{"text":"Proofs of Correctness and Properties of Integer Adder Circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5280834$FE9DC782-7DB7-4951-B923-4E49F5E007CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b839bd6132ab65b560cdc2655b33d025e741c51a","datavalue":{"value":"1366.94782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280834$C3751E51-DD2D-4E13-BEDB-9AA67D43C3C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d2761bbbaa8790f75df2a37dc236f0ed48acffe","datavalue":{"value":"10.1109/TC.2009.137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280834$BE480522-BBC7-4428-BE35-2179EEB3FDB9","rank":"normal"}],"P16":[{"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":"Q5280834$8E0C881E-EB34-49BB-B028-7D557DBCEF49","rank":"normal"},{"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":"Q5280834$3252DBC3-0B66-4ECE-81B7-7DE2E49AE269","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280834$8645F410-F4CB-45F2-A2EE-7557D49916BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c40fe938fbefaf770a613a23526d4d4322534f8","datavalue":{"value":{"time":"+2017-07-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":"Q5280834$66481041-DC96-4CF8-8D95-CF4F12451046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280834$9866CF38-0110-4F29-BF89-A46EBC15C497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280834$9D38582B-C67D-4F03-AE2B-64DA7AF4F5E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b78fdea2d1b28b8d9752315f5f81f5a18141a25","datavalue":{"value":"6753371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280834$12A2D0B9-57E8-4A7F-BA42-F8CA41A041F2","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":"Q5280834$1D5CD6C4-98C1-4657-B9B1-6911BBA66D5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5280834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5280834"}}}}}