{"entities":{"Q5495219":{"pageid":7524779,"ns":120,"title":"Item:Q5495219","lastrevid":52053320,"modified":"2026-01-20T20:30:27Z","type":"item","id":"Q5495219","labels":{"en":{"language":"en","value":"Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6323499"}},"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":"Q5495219$86415F68-D525-46C0-8415-D7E9A1C51B55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98249fbb83781666197c30cf5d385d1d6081bb37","datavalue":{"value":{"text":"Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495219$6479F232-4D46-4209-ABB1-CB63B1EA7E31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b88afaf482f19e63ef90b287f8f2163c10ea1a7","datavalue":{"value":"1294.35047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495219$8A968A87-CD4C-45D8-A2A4-E936FB469D6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dbb5a5b91e934dbf019eeaf4c5976d4d809154f","datavalue":{"value":"10.1137/120894683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495219$DABBD919-0AEA-44C4-A10B-2E1EC98A96A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"212ff74b0ffdcb8051d2c465ac11c45b8f952c12","datavalue":{"value":{"entity-type":"item","numeric-id":204500,"id":"Q204500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495219$6BB041B2-98CD-4086-AA0F-21697D27742D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"291d2d4bd83962accb1584eaf8c188916f93240b","datavalue":{"value":{"entity-type":"item","numeric-id":171505,"id":"Q171505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495219$123BEB35-D491-4309-AC4A-DF7FDDA1636D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fd6c4312076d34dc0d6bd2aaf2edfda980cc7ca","datavalue":{"value":{"entity-type":"item","numeric-id":849193,"id":"Q849193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495219$0E2732AC-06E0-4A7D-A4ED-D11275339E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e95540be8f4ae29e0cd09df3ac80e3ab78a149f9","datavalue":{"value":{"entity-type":"item","numeric-id":411414,"id":"Q411414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495219$9CFC1795-282C-46B3-A1BC-5B13F3657EAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1736cd89a2cfcf0acb88b51c00d82a8b6f316803","datavalue":{"value":{"entity-type":"item","numeric-id":65731,"id":"Q65731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495219$0C115FBF-4B44-4EB9-994E-4FF67CB318B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b5c982f599539b2f362cfa006a40560fe26e036","datavalue":{"value":{"time":"+2014-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495219$305DE199-8184-4811-BF15-E093BF110020","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1ff52699056904a3e9bbfab1173d6dee162953f","datavalue":{"value":"35P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495219$CD6C856B-12C1-4DC1-B51C-E40841F75776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75be5ce92fc5fc34a817435fa78115862dca90ff","datavalue":{"value":"34L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495219$12BB6B8E-5017-4CAC-BCCE-93C799A44FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56cb628f65395dfa34fd3d28d27ba37f3e94cec7","datavalue":{"value":"47A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495219$29D12D87-3DAF-478C-BBA5-F8C2F2D231FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495219$0B186891-3340-4A43-9A4F-8F11A11247A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e029ba5928ff14c890ab2e866ac022895a02b6c8","datavalue":{"value":"65N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495219$8264BC36-C6CA-4C21-9961-27B16BDB203A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d625c3e0e88f842f4d720b37763fa07bc6fbdf2a","datavalue":{"value":"6323499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495219$100710A3-4C5E-41CE-A7A4-DB8E0F3BC888","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404deb26e345cb23b60b89f3d64d70187ba3318d","datavalue":{"value":"eigenvalue exclosure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495219$6A0D91E4-8810-427C-A4AA-5E33DA0CF3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6655a196f326f8929c3bac10287ef403c53a8440","datavalue":{"value":"differential operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495219$2221674D-5605-4C98-B392-5BC6774D97C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d191be1a64d2a823d7f6d3cbe6390d1f4c93a7","datavalue":{"value":"computer-assisted proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495219$44369C7C-FBA4-4AB8-8D0F-68334A927A39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcd2724f6e8447a24419ed553b7520f7a96db016","datavalue":{"value":{"entity-type":"item","numeric-id":16194,"id":"Q16194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495219$22271EB2-9D3D-4F38-BA45-D34EFEC59701","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":"Q5495219$EAE293BE-F1FD-4598-91FD-04BC90863F97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4935a024ed874287bdab1a67efe0344f2fc87d18","datavalue":{"value":"https://doi.org/10.1137/120894683","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495219$4CD6A965-BEBB-401A-AB50-D620C94C735F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef6fff9ac109970f790dbd50a962bd1d9af68143","datavalue":{"value":"W2034747997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495219$8D0ADADC-859C-4FCD-BC00-84A942BFFE1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2babb328c3541637c422241091fffc4359394727","datavalue":{"value":{"entity-type":"item","numeric-id":849194,"id":"Q849194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb2f4087aec993979e3211553ae6d3f7af98717","datavalue":{"value":{"amount":"+0.7901182174682617","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":"Q5495219$64F4DA9B-BE42-4C78-8F0B-2ED77BFB30E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f46c3e75a44306781aea74461d383532e9df72","datavalue":{"value":{"entity-type":"item","numeric-id":2352149,"id":"Q2352149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c9ce434df105f244e7ba99f1e27017e806d3144","datavalue":{"value":{"amount":"+0.7729692459106445","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":"Q5495219$F2481B6F-DCF4-4F1E-B991-05BFD6D0F469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdcd65f177aa054367d6ccf99416a23b5ac247b","datavalue":{"value":{"entity-type":"item","numeric-id":4868551,"id":"Q4868551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6fdc40b567317d54a8c2108e10bc0de561f0a36","datavalue":{"value":{"amount":"+0.7557877898216248","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":"Q5495219$7A87591F-FED6-4CC8-B336-166A4AB63372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14e84586427cda0861a9956290382d2acf6ba0a","datavalue":{"value":{"entity-type":"item","numeric-id":4868552,"id":"Q4868552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4092d5c11afb78c8a48fd77605b6fa6476c3cc2","datavalue":{"value":{"amount":"+0.7544680833816528","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":"Q5495219$13E82B2E-B99A-4B72-944E-662231152C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ee5e2c2b8182657cb8d6f555d9e2cb718727b1","datavalue":{"value":{"entity-type":"item","numeric-id":1860405,"id":"Q1860405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6e560d82d197ab94cf8a2331cd96a51b2ec89d","datavalue":{"value":{"amount":"+0.7470018863677979","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":"Q5495219$8CA366FC-EA5B-452D-9695-6D381A55ACB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5495219","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5495219"}}}}}