{"entities":{"Q1014396":{"pageid":1016244,"ns":120,"title":"Item:Q1014396","lastrevid":42820453,"modified":"2025-07-14T10:39:22Z","type":"item","id":"Q1014396","labels":{"en":{"language":"en","value":"On computing the semi-sum of two integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547779"}},"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":"Q1014396$83291995-3A19-4237-8546-E17940D62334","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1a37e7cef18f99abb66dd86873a11be661ac0ed","datavalue":{"value":{"text":"On computing the semi-sum of two integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014396$CE3D0F3E-ABB1-4AFB-9B67-3CC034E8B0B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b499f0ff8d20f2bf8c6161ca9e335c703d02ed3e","datavalue":{"value":"1175.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014396$F3C0EA35-F2F7-408E-8067-DF77B138C6AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cf9f2a16b83e27a17c6800a7f99bff1264748c3","datavalue":{"value":"10.1016/S0020-0190(03)00263-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014396$BF29F2FD-B6B9-4D02-A469-6588830F5B3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde3caecd984a5906252a2e7e554f44887be84a9","datavalue":{"value":{"entity-type":"item","numeric-id":293339,"id":"Q293339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014396$24225554-08DB-4136-BB8D-5D1C06E7C9DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014396$F4200015-124E-49EA-98F7-1A5C22D1959D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014396$3DEC9E6B-C4FB-4199-8BFE-2E982F597F20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014396$8C4B2657-8E4D-49FD-B72E-F8E54419A40B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2bf3f6b3d90909c08732e8932fe68820e5eba35","datavalue":{"value":"5547779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014396$826637C4-6148-40D9-BBE3-BA87AD5D04ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014396$4E103DBA-BA3B-4333-A284-D88C2C155218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014396$94AF3A7B-BF07-4B91-87B3-62B2E790AACC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"22a2f968d5ea9f2955a9eb2bba012dc297144753","datavalue":{"value":"Q56039276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014396$06781195-772E-4844-A725-6F42A120B92F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5424895cd06947db50aff4fb92d088f3cd4d067","datavalue":{"value":{"entity-type":"item","numeric-id":24107,"id":"Q24107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014396$88BC4562-B9BA-4FFB-8FDF-964A53BE627F","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":"Q1014396$6A8E86C1-8BB2-40F1-8C58-1A4EFB757076","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dfd9e4996ea3da2d0e02a61f9b6de58e2593e33","datavalue":{"value":{"entity-type":"item","numeric-id":4040797,"id":"Q4040797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014396$62BAE121-932F-405B-8EC1-1C03B1F20A04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1014396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1014396"}}}}}