{"entities":{"Q6486807":{"pageid":14065575,"ns":120,"title":"Item:Q6486807","lastrevid":56033575,"modified":"2026-03-02T14:50:16Z","type":"item","id":"Q6486807","labels":{"en":{"language":"en","value":"On the extraction of computational content from noneffective convergence proofs in analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6370226"}},"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":"Q6486807$C1287A41-E45B-4A3B-97C7-893AA7259097","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27f26453f3f8a5c463d880f7c09660942115b106","datavalue":{"value":{"text":"On the extraction of computational content from noneffective convergence proofs in analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6486807$5BBC1191-C751-4AB1-BAA5-67407697C19C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ab68cd47f1dc92806622c6452f17652b1fa98ed","datavalue":{"value":"1401.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486807$505B0345-FFB6-43D7-9570-F391CEE762CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"489234d82ef2047cbff47ea423c3f256d05c0551","datavalue":{"value":{"entity-type":"item","numeric-id":392288,"id":"Q392288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486807$EB0105AE-D8B2-4B8A-B961-CED5D207826D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50bcea4fbb2959830e00775b174a15b6923af8b","datavalue":{"value":{"time":"+2014-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6486807$FA5F1061-D67D-41F2-9B06-95F112088FCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486807$7D0B77BA-7A2D-441D-9751-CC65C2EDAFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486807$AE58EBBB-64CC-4A9F-B0EE-446CFA2F7877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486807$7F179EFF-E2CD-4C04-BFBD-D15CFDC2574D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486807$79C40484-FCFB-455A-A368-95B956747AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486807$E73BD0A2-5E5D-473D-AE40-0A428B6690A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28b102983c05a58422beca7d61ec9a6ac10a8ab4","datavalue":{"value":"6370226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486807$1A514E18-16BB-4F54-B198-81D6EFD3CD12","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":"Q6486807$C86299F3-BF32-40A3-99BF-27AF1D151943","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b843a0d1d43efe224ed5533ab8edce02ff83451","datavalue":{"value":{"entity-type":"item","numeric-id":392289,"id":"Q392289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12444647e83b8e47f2cc846d5d219421c51ef075","datavalue":{"value":{"amount":"+0.8352500200271606","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":"Q6486807$98D36897-BE87-44A5-8320-D1AAE6A18334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a9466f02bb7681920906761c36d11f883cdca1","datavalue":{"value":{"entity-type":"item","numeric-id":2941598,"id":"Q2941598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27ca3191e82cec4d6b630a9d245c2d28597dae7","datavalue":{"value":{"amount":"+0.783894419670105","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":"Q6486807$DBD4E35A-7DBF-4347-99FF-281872F2B0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fce682e81adff96efabd85b5cf93e6c9666c0b18","datavalue":{"value":{"entity-type":"item","numeric-id":1709712,"id":"Q1709712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c88eff7b6e11ae0fadadcaae2b4a70fe75bea94","datavalue":{"value":{"amount":"+0.7673592567443848","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":"Q6486807$192B66B1-FC95-44B9-9D84-B97431162773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4249ee99f5919a521146ad315340de91722d50c","datavalue":{"value":{"entity-type":"item","numeric-id":3225557,"id":"Q3225557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906faf45addf82a73115398f2b5779f4c108ea0a","datavalue":{"value":{"amount":"+0.7549781799316406","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":"Q6486807$70EC6D2F-ED41-48D7-9DEC-5FA04265B9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b871c680a93dbffe9c96781050211a8217f1818","datavalue":{"value":{"entity-type":"item","numeric-id":413215,"id":"Q413215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f0755e64869829900ff27c07c213109d5224d5","datavalue":{"value":{"amount":"+0.7520434260368347","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":"Q6486807$A96AE1D3-7C20-48E5-880A-5E58988AF4F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the extraction of computational content from noneffective convergence proofs in analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_extraction_of_computational_content_from_noneffective_convergence_proofs_in_analysis"}}}}}