{"entities":{"Q7323702":{"pageid":31355410,"ns":120,"title":"Item:Q7323702","lastrevid":105121981,"modified":"2026-09-17T13:19:14Z","type":"item","id":"Q7323702","labels":{"en":{"language":"en","value":"Taming floating-point rounding errors with proofs (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8249918"}},"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":"Q7323702$2D122B84-6375-4DA4-9E47-E2A3E2480627","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eba1273718e2ec4d2c0ab8531797c32f1f3b51d7","datavalue":{"value":{"text":"Taming floating-point rounding errors with proofs (invited talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7323702$03631F65-0B46-4380-A287-A440E8684D8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a12470941834960058c574b1e39383193206ee79","datavalue":{"value":"10.4230/LIPICS.ITP.2025.41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323702$2D50228A-16ED-4967-976B-52B3F8321841","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f9f1daac5f8408a7f8a1e7936cd0e7aed962b33","datavalue":{"value":{"entity-type":"item","numeric-id":1630021,"id":"Q1630021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323702$99963F3C-A65E-4CC3-BD81-B2C111FDD095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327bdfdabaae2e8cbc884e8efa23d5004f5f8802","datavalue":{"value":{"time":"+2026-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7323702$CC317CCB-34DF-4BE9-A5B7-03CE3B447285","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323702$B35C2910-71B8-47FD-A800-E67A748A5910","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b692d79090971fb62deae103eceed51b48b06cc","datavalue":{"value":"8249918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323702$16FA1A55-8C43-409D-A59C-AA392973FDC0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323702$B2A04EAA-6939-4601-8968-427AB618A687","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":"Q7323702$FD987BB0-E8D2-4222-AE5B-5F6CE5DA1932","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"380326a520504848d8aba3ecf7b841c3b2e637da","datavalue":{"value":{"entity-type":"item","numeric-id":5280635,"id":"Q5280635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323702$AD9E1274-6B2E-442E-826E-1056A6AD0035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0410914bfe194e14ab162760d09e45b8722d5b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1630022,"id":"Q1630022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323702$1CB67E73-7A60-4373-87CB-484F41E658DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e311eac721dc16a02a2a48ead17e710dd7fbf0d3","datavalue":{"value":{"entity-type":"item","numeric-id":6535939,"id":"Q6535939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323702$E030D6B1-0D73-4945-84F7-BC7E2E3C6AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6eb40f53a6a840ff4c22ca7d5bbe012d2de958","datavalue":{"value":{"entity-type":"item","numeric-id":3296349,"id":"Q3296349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323702$858AA826-BD6B-40A1-AB6F-478F8A46AB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5521e20422fad196aca1273c89176aea756454fc","datavalue":{"value":{"entity-type":"item","numeric-id":6487928,"id":"Q6487928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323702$9EEAD97E-B3D8-47AB-8F1F-878FA34E7ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5027111ffe25ab3a84f70e5ff6eb2c97955d3fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2024357,"id":"Q2024357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323702$9EBBE56A-FB59-41BD-AA97-9208675F0EB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Taming floating-point rounding errors with proofs (invited talk)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Taming_floating-point_rounding_errors_with_proofs_(invited_talk)"}}}}}