{"entities":{"Q3337468":{"pageid":3348176,"ns":120,"title":"Item:Q3337468","lastrevid":80296736,"modified":"2026-05-06T15:52:23Z","type":"item","id":"Q3337468","labels":{"en":{"language":"en","value":"Discontinuities of provably correct operators on the provably recursive real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3869326"}},"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":"Q3337468$3761D836-7428-4963-B5ED-6BE1B5C3BA84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4d60ec71a43596a1b2188416e312e558b063cc6","datavalue":{"value":{"text":"Discontinuities of provably correct operators on the provably recursive real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3337468$48BFEAF2-3F45-4576-9D33-8C7A6291F657","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b925ef58e6236c420db7596822d10b84f7e1ce6f","datavalue":{"value":"0546.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3337468$FDE0C711-34DE-443B-A808-6787775C341C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b753032c87b9edd7a9aae86ef090455c37f6eea3","datavalue":{"value":"10.2307/2273657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3337468$D71716B0-E295-4BC9-B93A-AD14DE72368A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3337468$57D1B8F8-5D1A-4EE5-9F97-386423B6F644","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3337468$78BC9FCC-75C1-41E7-B755-4300923017CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3337468$A9114FFE-2B5A-47FD-959E-5D3FCFCE1C80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"092e6f8243831254a827e596eedde4ecfa6093df","datavalue":{"value":"3869326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3337468$0D4954A5-9D6C-4763-AACD-101D07AF3AF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68ed3bd0ad5703b7f84094387059f210a3d58f84","datavalue":{"value":"provably recursive real number","type":"string"},"datatype":"string"},"type":"statement","id":"Q3337468$B10E84AE-7468-48E6-9C31-1186DBF16E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc80d54ade17bf33b75c106576d61927efd674b","datavalue":{"value":"discontinuous provably correct operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3337468$85BC2EE3-871F-48A5-B122-926B1DE70391","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":"Q3337468$6F443EA3-5A93-4C14-8D83-97135ED415F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"985d67f03139bb3b0202944a65f4c27d67cce649","datavalue":{"value":"https://doi.org/10.2307/2273657","type":"string"},"datatype":"url"},"type":"statement","id":"Q3337468$723B8BA6-DD3C-4C96-9E36-8F7CA934A4AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"819f1af98a72fd541ff81586142134eb3ff653db","datavalue":{"value":"W2085971851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3337468$A54C358B-3D08-453E-8753-1853DEE28EB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8950eef2aba94cb3eca4f529abf2cc614f2e62af","datavalue":{"value":{"entity-type":"item","numeric-id":1217114,"id":"Q1217114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3337468$EB5F50F1-1FBA-43FD-B194-A5BAC3310EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad74310d1c4b431db8f3bdcf237df461d11f468a","datavalue":{"value":{"entity-type":"item","numeric-id":4185798,"id":"Q4185798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3337468$509C323C-13A6-41E6-B4FA-54F698B4A008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e3eab8c18589c9c9372f29dba320bd4ab1ec233","datavalue":{"value":{"entity-type":"item","numeric-id":5335318,"id":"Q5335318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3337468$A69E2AC4-3FB8-41D6-AEBF-316D938F3A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d69df0a0537188c5035dc1690fb4ebf6327592c","datavalue":{"value":{"entity-type":"item","numeric-id":2652167,"id":"Q2652167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3337468$42C1A67C-FA8D-477A-BD73-591884B70AC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612c9ebf8d4db35dd6485e35d616d6299872df56","datavalue":{"value":{"entity-type":"item","numeric-id":909437,"id":"Q909437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2678990f6de3256dc1eaaed52a54d67a5cf16097","datavalue":{"value":{"amount":"+0.7472958564758301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3337468$A64BAA87-2031-4BAD-9634-BED04AE75633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f874cd62b020a4ae60236fb3b5a2aa846f00c4","datavalue":{"value":{"entity-type":"item","numeric-id":1274809,"id":"Q1274809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f2ef07e811891f95145d67b3910254a430a341","datavalue":{"value":{"amount":"+0.7466490864753723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3337468$FC21D0F1-7D46-4598-8F88-240C340E6FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b57817c9802fabf7be520daab6aaca0b5b90248","datavalue":{"value":{"entity-type":"item","numeric-id":3676137,"id":"Q3676137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"244b29b83ea19bc6f8693fccfbdc1ac0cc9130b4","datavalue":{"value":{"amount":"+0.7375439405441284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3337468$7CBF95D9-DAA1-48DC-BB4A-04D8CB252376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9103f3843d3bdc365a903b118f1d2f4d7bc713d4","datavalue":{"value":{"entity-type":"item","numeric-id":1032628,"id":"Q1032628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f98a74157fcefaebefc4fa40e579532d219120","datavalue":{"value":{"amount":"+0.735746443271637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3337468$1F706B1F-5715-4EA5-B816-2FC57204579E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62ed4b30c7f254706a2954739cb094285427c4e","datavalue":{"value":{"entity-type":"item","numeric-id":1917069,"id":"Q1917069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb8a359646129d90b4fd63ebdac616f193987a0","datavalue":{"value":{"amount":"+0.7339211106300354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3337468$7C687269-A15F-4656-9BBE-55C65524A144","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Discontinuities of provably correct operators on the provably recursive real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Discontinuities_of_provably_correct_operators_on_the_provably_recursive_real_numbers"}}}}}