{"entities":{"Q7361150":{"pageid":31518989,"ns":120,"title":"Item:Q7361150","lastrevid":105363416,"modified":"2026-10-07T13:35:00Z","type":"item","id":"Q7361150","labels":{"en":{"language":"en","value":"Affine Arithmetic"}},"descriptions":{"en":{"language":"en","value":"AFP entry Affine_Arithmetic"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ae184762803286c8916b8c5b730cadad29dbd96","datavalue":{"value":"https://isa-afp.org/entries/Affine_Arithmetic.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361150$2D5E7B6A-752B-4592-BBB9-1E20770620D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6392852e6db303afaa4ad0194b522cf21969ecc9","datavalue":{"value":{"time":"+2014-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361150$7519519C-5A39-4ED0-BCC0-C024143D1CB5","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"283f1bfcca6dad06181e4c5e3bf9d823639da8ad","datavalue":{"value":"Fabian Immler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361150$4B444E55-B491-416C-82A5-00BAA7C96C55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be9ab0481e119b7a555e650d7c1a0771a29f2858","datavalue":{"value":{"text":"Affine Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361150$B4C699BE-9B1C-4B4D-AE86-58206FD80D8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f42a4dfef37a0d7e32a99a1e82c0fb022551bf2","datavalue":{"value":"We give a formalization of affine forms as abstract representations of zonotopes. We provide affine operations as well as overapproximations of some non-affine operations like multiplication and division. Expressions involving those operations can automatically be turned into (executable) functions approximating the original expression in affine arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361150$19C07362-9B48-4485-BB2D-D8A0EF2691EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d771fe4d67b7e62b1337b5ef67a0024cc8717a","datavalue":{"value":{"entity-type":"item","numeric-id":5703929,"id":"Q5703929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361150$AF943EDD-B4A7-493D-AE49-ECC690E861EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91cbbffae41c0a1ed2581b6b84f03f410747b82d","datavalue":{"value":{"entity-type":"item","numeric-id":2387756,"id":"Q2387756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361150$D8573500-0286-4D67-A6EB-679BADB7B4E1","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361150$73CB91BB-6D8D-4654-954F-3F3E2D08A6BA","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"edaae9fe0e5779978f85e3c7bb7897012bfd4b62","datavalue":{"value":{"entity-type":"item","numeric-id":7361610,"id":"Q7361610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361150$C0ACF7E2-5A04-4FCB-85A1-194D7B04FD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"e0b5465b6a0d9e05645cdb7168eee1aaf7eb2845","datavalue":{"value":{"entity-type":"item","numeric-id":7361518,"id":"Q7361518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361150$460B2477-9CCA-43F0-9303-5AF9A397F350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c8b055357156b513ebffa05abff4ab0fc053c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":7361662,"id":"Q7361662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361150$D21F7A1D-E01C-4525-BB8C-2BDDA8C07ED1","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef6655bf04dd34fee9f7dc3b2763244f951e30fe","datavalue":{"value":{"entity-type":"item","numeric-id":7360822,"id":"Q7360822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361150$552CEECA-4668-474F-A0C4-91F4FF8E0FD9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361150$7C95A7E9-4532-4D11-B572-DAD256A4B7C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Affine Arithmetic (AFP entry Affine Arithmetic)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Affine_Arithmetic_(AFP_entry_Affine_Arithmetic)"}}}}}