{"entities":{"Q6839852":{"pageid":18046434,"ns":120,"title":"Item:Q6839852","lastrevid":84287567,"modified":"2026-05-14T16:39:25Z","type":"item","id":"Q6839852","labels":{"en":{"language":"en","value":"Computable analysis for verified exact real computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8175996"}},"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":"Q6839852$1B8AF082-48CB-49AE-95DB-7E36F8A64AB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac461893a7424188baae9de6736f4ccd75a3ed5e","datavalue":{"value":{"text":"Computable analysis for verified exact real computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6839852$A810874F-C017-4F91-97FE-A8F03E7DEC3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24efd2a8737fe365e2faa561e11650f60460ecac","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2020.50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839852$41AE3426-EBD5-4D2F-94B2-F621971E543A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f7a423d7ec55ba984d2e14faa1ff96597d329a","datavalue":{"value":{"entity-type":"item","numeric-id":254163,"id":"Q254163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$9149585E-CF03-430A-BD01-3732694A318F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49dfcfa8cd920732536a9be9f44a4817fd658c63","datavalue":{"value":{"entity-type":"item","numeric-id":831998,"id":"Q831998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$9B8D70C0-9FBA-43E4-9820-1BB77D38D32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cdee734ffa77906c36b38f540e8794957a5d4e2","datavalue":{"value":{"entity-type":"item","numeric-id":831999,"id":"Q831999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$ECD25C0F-AE11-4B4A-B810-BA8413C2F303","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3fb882359813b3d73bc1b64740f049fe4ede3c4","datavalue":{"value":{"time":"+2026-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6839852$A46A564F-D369-4854-AD20-33A67A08FA77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839852$0BDCDE13-6191-485F-B9F2-0736688842FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839852$46892BD8-0D18-4701-BF20-1AC020CDCC7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98f06a35bed1e8893c05abd7eac2b154ca79f627","datavalue":{"value":"8175996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839852$E4A87BB8-AC4E-4328-8B90-C8E6661255F6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$CEA68DA3-5E2C-4100-94B1-DE7FD7C246FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839852$A7A0A6E4-9BD7-4835-90D1-2DEF76ED5F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d62d77f8378ea81ef5fbdb2b31734b1b116c9f","datavalue":{"value":"exact real computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839852$1CBFF50F-EE57-443F-8740-119E055C995D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839852$77D095A7-C100-45A1-AEE3-4F9874A93C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839852$C6E0688C-5138-43A1-BD07-ECC1B788AD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839852$F96C13F6-A5B3-405C-98FC-EAAA320407DB","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":"Q6839852$0D5E7675-6CB6-44AB-8B6F-E1403FC24E57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"811e08ac2fdbd0c8d873aede325f67deffb79bca","datavalue":{"value":{"entity-type":"item","numeric-id":5195290,"id":"Q5195290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$96956F49-A0BD-4B78-9BED-693B87DF1E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8bc78f431ccae9a857e05e249ada0d94b22ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5387443,"id":"Q5387443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$E50C2273-60B7-4ADE-8A1A-AFD81571D303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b80111de9bab56ff28e1100701384da844fd72","datavalue":{"value":{"entity-type":"item","numeric-id":2018661,"id":"Q2018661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$5F826A47-11A6-4044-8FB0-BFD63C687460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc90f519741959885c97856c7164fc497d5566b1","datavalue":{"value":{"entity-type":"item","numeric-id":2973239,"id":"Q2973239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$34D83B67-477F-4AF4-B5A1-2AF8468F3EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4eaaffe954537216921c73f393b9d06098a9c9","datavalue":{"value":{"entity-type":"item","numeric-id":1279912,"id":"Q1279912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$7991611D-09E8-47E3-8864-012403CCF167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360de3ea9ca7fef391afe5326104fef33d38c164","datavalue":{"value":{"entity-type":"item","numeric-id":5384984,"id":"Q5384984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$827D1C8B-CE38-4727-80A4-2FCCC779BDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947ff4f1467bd12728eb045254844c67b3ca5950","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$91EDE931-BD9F-4DAB-8C56-1A79CC672DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7df3906eae3c2b887cc910e28b2339b9830fc52","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$538A80EC-8FA3-4E18-AF29-BB542101A7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd89d5c023988536194c34385fd16b601bc1eeac","datavalue":{"value":{"entity-type":"item","numeric-id":1349926,"id":"Q1349926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$3DE057A6-9BF1-4A51-B2F2-5AE3A3CEFF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbed5f09bcf71e04bf33ebb541e2c08cde42583","datavalue":{"value":{"entity-type":"item","numeric-id":491087,"id":"Q491087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$CFD3D272-691B-4F8C-A178-B20E8BC9D2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e55698549203a710dc73f53d8efd7aa10bd9c0","datavalue":{"value":{"entity-type":"item","numeric-id":1799286,"id":"Q1799286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$CE153A79-4463-4C32-AC8A-4953C4665B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68157ed2586e52528b5d8b2b2c36947782304efc","datavalue":{"value":{"entity-type":"item","numeric-id":5089226,"id":"Q5089226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$DF219EC5-D054-4EBB-832D-181FE211AA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14dd23e439d8a5676d55733e6e6fc2f64720ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1073022,"id":"Q1073022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$BE29C142-174F-42E7-A67A-AA94BD4D6818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a61099a476f9a57129d822e2de0c2a34fbb0d06","datavalue":{"value":{"entity-type":"item","numeric-id":3541683,"id":"Q3541683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$F3CB67B2-0B0B-4501-8D82-3B4951B79346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a544f201c6283b7933810872cf2a33339cdad9","datavalue":{"value":{"entity-type":"item","numeric-id":3605131,"id":"Q3605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$1EF16F62-AFEC-44BE-A820-06D18FE8F59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f30365d42caf6766e6692a155b036d7f93a051e","datavalue":{"value":{"entity-type":"item","numeric-id":4531992,"id":"Q4531992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$842B3322-624D-4AB6-970B-86EB095FA94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839852$96564231-B958-44CF-AF0F-D37B5F815D77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable analysis for verified exact real computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computable_analysis_for_verified_exact_real_computation"}}}}}