{"entities":{"Q7361585":{"pageid":31520294,"ns":120,"title":"Item:Q7361585","lastrevid":105367355,"modified":"2026-10-07T13:36:56Z","type":"item","id":"Q7361585","labels":{"en":{"language":"en","value":"Interval Arithmetic on 32-bit Words"}},"descriptions":{"en":{"language":"en","value":"AFP entry Interval_Arithmetic_Word32"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ea0a80e67bd63601df48222b8ad0e7b20b517cd","datavalue":{"value":"https://isa-afp.org/entries/Interval_Arithmetic_Word32.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361585$8A038EC2-7521-4ABE-BE32-49C476BC4C68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73f133f99b84a733411ae0ebf88482c6ff8f08b7","datavalue":{"value":{"time":"+2019-11-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":"Q7361585$EBCD3340-17B9-48DF-8510-07F0D8D98493","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"28a2d2178779194d5d58551d9bdf150a1b03061f","datavalue":{"value":"Rose Bohrer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361585$F57626B5-377E-4841-995B-AA18D43E5348","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afeff7d73e90e945b1893ced23f86893b1110ef0","datavalue":{"value":{"text":"Interval Arithmetic on 32-bit Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361585$994E285F-1BD1-4C0F-9161-9A831EFD0D21","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20e54abb02f25a27986e4225426317d8d57c3b95","datavalue":{"value":"Interval_Arithmetic implements conservative interval arithmetic computations, then uses this interval arithmetic to implement a simple programming language where all terms have 32-bit signed word values, with explicit infinities for terms outside the representable bounds. Our target use case is interpreters for languages that must have a well-understood low-level behavior. We include a formalization of bounded-length strings which are used for the identifiers of our language. Bounded-length identifiers are useful in some applications, for example the Differential_Dynamic_Logic article, where a Euclidean space indexed by identifiers demands that identifiers are finitely many.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361585$0E76F654-D719-42AC-A93E-05A67BE838CB","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":"Q7361585$E1E492EB-BC4A-463B-BDB1-BD66B067C81E","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"e63516e58241acf42ac71681fd6610456ac84f3f","datavalue":{"value":{"entity-type":"item","numeric-id":7361376,"id":"Q7361376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361585$2939E306-4E1E-4FE5-9BCB-EA2648BBA450","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef7bddd24a035fe32f48fd95ea6033928a9b8e67","datavalue":{"value":{"entity-type":"item","numeric-id":7360788,"id":"Q7360788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361585$A10E4CF7-4269-4AF9-99B4-30E435BD53D6","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":"Q7361585$028AD106-17F2-4AC8-890F-5926C03B6218","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interval Arithmetic on 32-bit Words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interval_Arithmetic_on_32-bit_Words"}}}}}