{"entities":{"Q3060187":{"pageid":3070903,"ns":120,"title":"Item:Q3060187","lastrevid":86239778,"modified":"2026-06-03T16:49:11Z","type":"item","id":"Q3060187","labels":{"en":{"language":"en","value":"Semantical proofs of correctness for programs performing non-deterministic tests on real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5822243"}},"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":"Q3060187$98F656CA-3305-471D-B903-AC4F5774503C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95336924fd1596d9f26ebfbfd9d1ce3ae088c686","datavalue":{"value":{"text":"Semantical proofs of correctness for programs performing non-deterministic tests on real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3060187$21233E42-D1D0-4E85-A696-B10B443B5BBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7fd3774a2b73fe87173a8d65874cd6e6199aa2e","datavalue":{"value":"1213.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060187$A8DF0D11-292D-42CC-8D09-8E3EE6CDDBDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18b5f79e50c11af811bcb83bb69ca74a7d534caa","datavalue":{"value":"10.1017/S0960129510000186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060187$3889568D-1AC4-464D-B45F-2E1F2F7EEF54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fe8f94e40fba74177f365163ad5d9d7d10ebc22","datavalue":{"value":{"entity-type":"item","numeric-id":2843993,"id":"Q2843993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060187$4694FFC8-E042-4AE2-A078-D3D33DDE95E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060187$1A58FE85-81E5-4F28-A13C-0844ECBA60A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f7a6f873bf5c0d11b62fa3d4700ead7fb1e1f3b","datavalue":{"value":{"time":"+2010-12-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":"Q3060187$81B1CAD1-31F1-44BF-8A48-F8C087C79AAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060187$0B0BC1D1-5283-4EEF-8D87-03CBE0BF72BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060187$33783588-053E-47D9-BB7D-55519C4B1F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060187$7254B979-318D-4331-A0AE-458005041986","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e679c2327b2628417d896c168ed99705a4fab305","datavalue":{"value":"5822243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060187$E7F1AC6D-734D-44F7-8B86-B2FACF611188","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060187$B4F950CE-5FC9-427B-A5D3-A4B1D3E5FA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1461cfe47bc5fb88203c052324e3b209b72612c","datavalue":{"value":"Smyth power domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060187$0C068A3A-7BF0-4321-9C78-F13492444D48","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":"Q3060187$B039889E-8160-4101-907F-EB189D6DD93B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd571c2940f3ba45c449997fe125885b4f425c50","datavalue":{"value":{"entity-type":"item","numeric-id":1349924,"id":"Q1349924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060187$3E686BD6-217D-4951-BDBA-49780AE37BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060187$7A8327D0-98FE-46DD-B646-A7956DC43E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312dcbdb4361e8755d36bb4d2280c7a2a7cea28b","datavalue":{"value":{"entity-type":"item","numeric-id":2373708,"id":"Q2373708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060187$FB3404FE-2345-40D6-A83D-57A71456182D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2144fe5495fdeccad8e3a872dd20d5cc6bcce44f","datavalue":{"value":{"entity-type":"item","numeric-id":3415205,"id":"Q3415205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060187$3FF794BB-C41F-4DE3-9AEE-175ACA369D18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6595cfce2e105f76f970fe86dcbf306bbea12880","datavalue":{"value":{"entity-type":"item","numeric-id":3502663,"id":"Q3502663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1117526fdef0fa42adea518d70303c7d5c13bf93","datavalue":{"value":{"amount":"+0.8811475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060187$8CF1B285-CBD3-481C-A65B-36008FA8D5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bb06fe855bce19479d9b431caa37291ef90a74","datavalue":{"value":{"entity-type":"item","numeric-id":3757914,"id":"Q3757914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd378708a0f4af0a4a1ce3f7df4cc8089a5a1a4","datavalue":{"value":{"amount":"+0.88026327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060187$241437DA-6FFF-44FC-8163-97DA2C949400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5699e328493b9384e4efc4d163e6ccee1ed5808d","datavalue":{"value":{"entity-type":"item","numeric-id":4536988,"id":"Q4536988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e3ae432220709d95a28075887663dbf0805e55","datavalue":{"value":{"amount":"+0.8785293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060187$4D067ACE-05DA-470F-9AA7-DF877D25627C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494f82ef33661419430b7d24eb4c97150d0078ab","datavalue":{"value":{"entity-type":"item","numeric-id":580955,"id":"Q580955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c20e14db776c6fcd1e139135d2363f7200c33bf2","datavalue":{"value":{"amount":"+0.8735186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060187$150BE878-AD6B-443F-AC4C-28C41BECF444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715d1666f29c7e62c77f55370ed43c5d869981e","datavalue":{"value":{"entity-type":"item","numeric-id":3707370,"id":"Q3707370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d462ed7d68015985c3071648022f661480e97f01","datavalue":{"value":{"amount":"+0.8693223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060187$42B4DA2B-799E-4409-ABB6-A887287F31A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c937f8fc49ce24b29b61446f9b6cc913576c570","datavalue":{"value":{"entity-type":"item","numeric-id":5711510,"id":"Q5711510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a1ba161d64f41c1b2fde77fbf5a9fb36f6954a","datavalue":{"value":{"amount":"+0.86717415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060187$BBDC7946-D3BF-4166-A595-FD84900BFC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d3a255266f36191915db130af5af18c5f18eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1271855,"id":"Q1271855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b3956103b2b614f15396f86e8d96e8f5bb5db7","datavalue":{"value":{"amount":"+0.86682767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060187$D49FB2B5-6D47-4DFF-B463-5D754F2C9071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b5f37d66227b87e8c04eec86814bdb5e38e2c7","datavalue":{"value":{"entity-type":"item","numeric-id":1949765,"id":"Q1949765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b849a3da72d95951e17e0563dbc4a94fa50a8da0","datavalue":{"value":{"amount":"+0.86444104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060187$B544044A-EB03-4801-AA19-9114469BFED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a05c3dda8faaf612f0a9ce2155d5ef8fb8f56","datavalue":{"value":{"entity-type":"item","numeric-id":3756502,"id":"Q3756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26acd2c9f797b82ac6ff2ce66bc5a1bf8d9fd51d","datavalue":{"value":{"amount":"+0.86438125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060187$12B2BAF1-0047-41A4-AEE6-B187A7DFC552","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantical proofs of correctness for programs performing non-deterministic tests on real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantical_proofs_of_correctness_for_programs_performing_non-deterministic_tests_on_real_numbers"}}}}}