{"entities":{"Q669702":{"pageid":671551,"ns":120,"title":"Item:Q669702","lastrevid":63564003,"modified":"2026-04-11T14:01:07Z","type":"item","id":"Q669702","labels":{"en":{"language":"en","value":"A framework of verified eigenvalue bounds for self-adjoint differential operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7037017"}},"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":"Q669702$A94C6A11-E342-4C9E-A240-0759136044F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6386cb8c7d6e03c810596c9a17fdda17e6dc3ccc","datavalue":{"value":{"text":"A framework of verified eigenvalue bounds for self-adjoint differential operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q669702$7AE4F84F-9E50-42CD-BC50-52DD60B02E25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca6fca63d9317625d37feda63200714f2647607f","datavalue":{"value":"1410.35088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669702$4C84AE52-FF71-4291-94FD-2B154BA7D8BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7643df20b495fe9ccf2202126de727ec6bd632ca","datavalue":{"value":{"entity-type":"item","numeric-id":669701,"id":"Q669701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$196B1C08-B83C-4205-AD0D-DE6E47AD3B11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"add6fb6b993c46c88f8cbd1c0026e2e785c9381d","datavalue":{"value":{"entity-type":"item","numeric-id":70476,"id":"Q70476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$4CB6E65A-99A1-41AE-9284-3D1CFDEA1054","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d99a99d302fa341637847c5e280e86ffac68daf0","datavalue":{"value":{"time":"+2019-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q669702$75FBAC13-5CDF-4BCC-9085-FF963CCBF18E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1ff52699056904a3e9bbfab1173d6dee162953f","datavalue":{"value":"35P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669702$CFB8F470-AC06-4E5B-8C39-BCAA2F144B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea826a8673e018c41b17a3108d285c0ad00af8d","datavalue":{"value":"35J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669702$6D0E1A2F-F766-4BE0-8785-E99DE23300C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afcc607b3d2128266e4092ffb648660a88261a10","datavalue":{"value":"7037017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669702$F0F97DDA-B76D-4FD3-81FA-966B3A18D410","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d4f27603d9b3f566d07f476b66d9cf7c2e4857","datavalue":{"value":"self-adjoint differential operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q669702$D2231E2A-A9F2-4DC6-8518-6D68D93D937D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9de2e02631b027f0478804dfb9b894da25f6d8df","datavalue":{"value":"eigenvalue bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q669702$09DB5054-A200-4E1C-8D68-8A9F07A323A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd34405906eba2bb75c28f17c19be78cac243ba4","datavalue":{"value":"non-conforming finite element method","type":"string"},"datatype":"string"},"type":"statement","id":"Q669702$CAB7DEA7-44B4-4B3F-8899-7DC3994A9AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0375408130cbe2c7e4c53bbb7911ebe2678aa4c8","datavalue":{"value":"quantitative error estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q669702$0F3B34F1-B01E-4F42-BB7B-42D3B4817539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aeba89ca924fcec3a5675b10e3dcf02d05673b1","datavalue":{"value":"verified computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q669702$B8BB36F0-5AF8-47BB-97E4-442668B1569E","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":"Q669702$1742D6A1-0B61-492C-9AAC-5B0F087C2CAD","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":"Q669702$E97C28AF-584C-4FAF-9240-7746C8077226","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62ac90f0a2206ad63a2c2b64dfca3ed6bb55fed5","datavalue":{"value":"https://doi.org/10.1016/j.amc.2015.03.048","type":"string"},"datatype":"url"},"type":"statement","id":"Q669702$8E6CA5C4-E36F-4B5A-A77C-74AD419DF22C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0f854144c22ce529b270da886490e2821a62ca7","datavalue":{"value":"W2110487717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669702$46BEF8C3-1B2D-4758-B7EC-6CD961F37882","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"692c787b3cb286a9b37daec5c7cefa7201b034c3","datavalue":{"value":{"entity-type":"item","numeric-id":1907131,"id":"Q1907131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$EDF30A26-1DD2-401A-BD51-355F0FF60114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bb6ff6dda1150d3cb1e4fb4119acb4f57d2e77","datavalue":{"value":{"entity-type":"item","numeric-id":1432736,"id":"Q1432736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$88E783C7-D4F2-4215-9002-566A299102ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7922607fe5e541289a0987831732ae13f4eb92","datavalue":{"value":{"entity-type":"item","numeric-id":1179537,"id":"Q1179537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$7FC58261-0271-4961-92F4-1A56D81ACEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2637e26fc4fe9aacc2a4985b08f78e1615390a13","datavalue":{"value":{"entity-type":"item","numeric-id":4321540,"id":"Q4321540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$E3B61348-62F8-4759-B058-38368C3C4D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"752aefdd457b61d9c8b11ada583d03a90dc4728c","datavalue":{"value":{"entity-type":"item","numeric-id":2436536,"id":"Q2436536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$FC16374F-F4F9-49CD-9506-DFDD252F1009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6111abc0d6eb64e77c9314b2dfda2ca130b07ea1","datavalue":{"value":{"entity-type":"item","numeric-id":3189441,"id":"Q3189441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$063BA30A-5296-4010-9E40-F1696CEF842D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb9996ea336488d47facbacb51fcaf3fe96b719","datavalue":{"value":{"entity-type":"item","numeric-id":3763475,"id":"Q3763475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$A2E75B16-EA15-48AD-AB7F-D5A4FB388F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88dcfa6075bdff17ee2fae16881f3b8e2f35384","datavalue":{"value":{"entity-type":"item","numeric-id":1033390,"id":"Q1033390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$C08602E7-B542-4478-BBF0-CF57A6E2F361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49abf2e9c21cf21baac20eda6c509ffe5cebd65","datavalue":{"value":{"entity-type":"item","numeric-id":2625537,"id":"Q2625537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$8670BC53-6C3B-42EB-BDB7-F0DDB2EFB87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe80285d88efacf4332412a8cbf04ca8b4fb6d0","datavalue":{"value":{"entity-type":"item","numeric-id":773793,"id":"Q773793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$5141A05B-1A88-4445-A24B-0EB6CDBBAE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822f505c1094eb37ad0a9048781ee03c1e627ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2902436,"id":"Q2902436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$3B996F24-BACC-44DF-A035-367D35906DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4071aa62ffa61e07ab67eac887d55628b1ca0108","datavalue":{"value":{"entity-type":"item","numeric-id":2452280,"id":"Q2452280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$289692CC-EC9B-4CC0-8D8A-7C238BB47630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30721080fde6e35eaf5716a5e858f21ebf7afb69","datavalue":{"value":{"entity-type":"item","numeric-id":2845606,"id":"Q2845606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$00122A1B-6148-4729-8594-A0082758958D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acefd4f01d3dbfba3883594342df1907a190bb9","datavalue":{"value":{"entity-type":"item","numeric-id":1934466,"id":"Q1934466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$73AA6CDD-23CC-48C2-B4D9-AE5464CF514E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11476c0720f6c45d575d0373ddb9a85d618d0da","datavalue":{"value":{"entity-type":"item","numeric-id":1193173,"id":"Q1193173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$3C11B7E9-08CA-40AF-B3B9-6F1DAAF497E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f23faa6770be163986eb9c7235b31f02e383590","datavalue":{"value":{"entity-type":"item","numeric-id":1186489,"id":"Q1186489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$3386E0DA-4A53-4F93-9847-B4E6F4FD6560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c98d2b848188d401d658f47595406e6cb8d8299","datavalue":{"value":{"entity-type":"item","numeric-id":1195791,"id":"Q1195791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$C771C3CA-D250-4819-A997-FA269D1EA88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bce4317e1a5fc0eec49584ecd037a6914bdeaae","datavalue":{"value":{"entity-type":"item","numeric-id":5794470,"id":"Q5794470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$682D8BAA-7FB7-44C0-9551-8D73917209A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a462f97a14149f26095e85bb29dcdaa29aa187a","datavalue":{"value":{"entity-type":"item","numeric-id":4949347,"id":"Q4949347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$C6A0015C-8A04-4158-B383-BEDB4F878087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f0ad750ec2d99e7c945d46d03af48db199e20c","datavalue":{"value":{"entity-type":"item","numeric-id":1211259,"id":"Q1211259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q669702$7A1040FA-117C-4E07-A77D-1B4CD0FC6468","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d1a5e8c3a9c4d53001ca8b4c39eb6996ed4d0b1","datavalue":{"value":"10.1016/J.AMC.2015.03.048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q669702$71792EDC-1784-4670-A611-88300DC32D5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb427847ef4d45bae47f30a304c159e3948fb8f6","datavalue":{"value":{"entity-type":"item","numeric-id":2765418,"id":"Q2765418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa19ed89350d92bd7e00208f439e4491ed888dc","datavalue":{"value":{"amount":"+0.7816219329833984","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":"Q669702$9095F35C-878E-4006-8180-1CF73CC1FDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65373339eaaf8b2b10af26abd84398e3ca5a7cd6","datavalue":{"value":{"entity-type":"item","numeric-id":1907131,"id":"Q1907131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9508775aabfebd7de57718fe6c8b6b2a7aa5df0b","datavalue":{"value":{"amount":"+0.7791260480880737","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":"Q669702$7B9CA4FD-98FB-4397-8392-3CECFD2EFC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363fecb389436e0924830944b8a23cb44e45b263","datavalue":{"value":{"entity-type":"item","numeric-id":4901109,"id":"Q4901109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9508775aabfebd7de57718fe6c8b6b2a7aa5df0b","datavalue":{"value":{"amount":"+0.7791260480880737","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":"Q669702$71A0D522-CB2B-4D13-8FB4-CB399EC328AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d7ef77f93b5ffd39c928520a564d1d34a085f2","datavalue":{"value":{"entity-type":"item","numeric-id":5232291,"id":"Q5232291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9392c20be467ddf0a2f5350c7f3063426bb4c553","datavalue":{"value":{"amount":"+0.7759284973144531","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":"Q669702$8E2FB3E5-0443-4EFA-9D30-C89C85B87583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b39acdb2fd0b65dfbd9f6f8733674865ad355d40","datavalue":{"value":{"entity-type":"item","numeric-id":2845606,"id":"Q2845606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f246df3c3d8867bf679042c91085d1617878d40","datavalue":{"value":{"amount":"+0.7620700597763062","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":"Q669702$93C7EF76-BDA2-4A77-9690-A415D42101F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework of verified eigenvalue bounds for self-adjoint differential operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_framework_of_verified_eigenvalue_bounds_for_self-adjoint_differential_operators"}}}}}