{"entities":{"Q40511":{"pageid":40567,"ns":120,"title":"Item:Q40511","lastrevid":105429311,"modified":"2026-10-09T10:11:44Z","type":"item","id":"Q40511","labels":{"en":{"language":"en","value":"Affine Arithmetic"}},"descriptions":{"en":{"language":"en","value":"AFP entry Affine_Arithmetic"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"62d1a278d1e0432c5df6aa78ccd575cc445118c2","datavalue":{"value":"28797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40511$5128F2B0-4B13-4F9A-B24A-15744142AF00","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":"Q40511$E0BEA79C-2737-4D2B-A219-5FAC2BC96DCF","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"e26eb0da8a054876e8929615c99194428e21ffbe","datavalue":{"value":"https://www.isa-afp.org/entries/Affine_Arithmetic.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40511$D8072B22-CA9B-411C-97E8-576C23EFA7AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40511$EDD51409-0DC2-4C66-A2D5-DA961415BB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01c8c566de1600f59b5f8122a428964fb913122a","datavalue":{"value":"37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40511$A4444486-6807-41FF-BE0E-666C5EFE6F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40511$293984FE-B580-4FFB-90D9-DF20C2C0E8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40511$16A79DCA-4321-4D38-9134-4A2000DE6A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87a555a1b2e01f4326be258f32691549082cf63e","datavalue":{"value":"37.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40511$040DAED8-99B8-4437-BFED-571A8AACA5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"467910eb92f3fefb5ab991704afbc9c141aad063","datavalue":{"value":"65.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40511$D5E997B7-4CC6-48EE-A539-3A4D11A1108A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40511$ACFEACDF-2F04-48E3-A8E1-4780F4B7CD5C","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40511$97C04732-319E-4A01-ABEF-5BA095D822DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a936602860246203ac9d0343c5125a4feac54c76","datavalue":{"value":{"entity-type":"item","numeric-id":41908,"id":"Q41908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40511$23D712E7-37E0-43F3-8946-80B3A4E8D621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"95d98b9e082cfe2eca9e886cf72cfad35817142b","datavalue":{"value":{"entity-type":"item","numeric-id":40510,"id":"Q40510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40511$EB4DFDCA-9848-495D-9776-5E2EC5769311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40511$A5C9D886-21CA-4E65-8778-D5C7445A116C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"587eb1ff352d74d75ec39594cac10abdfc1440c2","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40511$A851C0CA-7368-4E01-8A86-AD29D2ED072B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40511$50006877-EF64-41AF-85A9-F1DC2429709E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"181a8497f7a319d54026dcfccf5a714e5c58403f","datavalue":{"value":{"entity-type":"item","numeric-id":40512,"id":"Q40512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40511$EF503811-5CDC-4B39-AF72-6707E82FC2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40511$3B921EC4-870E-4581-9771-FF76FEEB601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7343f563fd02ee3f7d39ccb038f5c1c6c726769a","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40511$A0F4C06D-54EF-4361-9BC4-C5B6626BE1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40511$96EE5F0A-58B0-48EB-8F87-24D34A768961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"62c8694bdadc2a63bebb430c3f9776f5f866ae0d","datavalue":{"value":{"entity-type":"item","numeric-id":13123,"id":"Q13123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40511$AC00DD58-D13C-4C24-8411-112663620BEC","rank":"normal"}],"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":"Q40511$6C35134D-1744-434E-B267-30A9363032D4","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"283f1bfcca6dad06181e4c5e3bf9d823639da8ad","datavalue":{"value":"Fabian Immler","type":"string"},"datatype":"string"},"type":"statement","id":"Q40511$C0E71729-BF4F-445E-895B-139C35D45BFA","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":"Q40511$1C3540A5-320D-4230-BDC9-BAD3F86AEF97","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":"Q40511$C604E4C3-4A64-4F87-B180-B0EA47E996B1","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":"Q40511$83A318CE-248E-495D-A9DF-905488837208","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":"Q40511$4BF533DB-8CB1-414B-9BB4-B590EA8CFEE9","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":"Q40511$E8184C27-A468-48DB-B3C4-67FFBA3AA3B3","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":"Q40511$9F93A641-EC49-49F2-84B0-75DEC0F0614F","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":"Q40511$F77F9FB0-AE98-446A-A667-94A2EF19B0E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be9ab0481e119b7a555e650d7c1a0771a29f2858","datavalue":{"value":{"text":"Affine Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40511$163790EE-C8ED-4A98-8E2A-A27E1A9739E7","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":"Q40511$8BC7B7AB-B0C3-43A4-9912-E309C10DF14F","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":"Q40511$3E6FB73D-B838-4A9D-9EE5-8D95CE2BF2FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Affine Arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Affine_Arithmetic"}}}}}