{"entities":{"Q5380617":{"pageid":7410191,"ns":120,"title":"Item:Q5380617","lastrevid":96286196,"modified":"2026-06-05T10:51:51Z","type":"item","id":"Q5380617","labels":{"en":{"language":"en","value":"Numerical verification methods and computer-assisted proofs for partial differential equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7063008"}},"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":"Q5380617$758AA643-E786-4601-AA26-64754E35A78F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd0d0f8cc0f088e0731142da5e3174db14b4f997","datavalue":{"value":{"text":"Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5380617$245458B0-6079-4023-BC91-63E3630581F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40ebb5b663ab3a26616b8316cc37f06e89a11874","datavalue":{"value":"1462.65004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380617$7812DEFF-76C7-4ABD-B243-B44EDC0E822E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14f247b9393564cf473c5a309f864439e5c80805","datavalue":{"value":"10.1007/978-981-13-7669-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380617$ED893A38-507E-49A1-B63E-326230781764","rank":"normal"}],"P16":[{"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":"Q5380617$8FBAC066-C163-495C-AF62-54265D7D86E9","rank":"normal"},{"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":"Q5380617$F5276A8A-A46E-46A7-BDFD-1737BB2E5A0A","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":"Q5380617$0E538F10-466B-4341-BD5E-6F1729F4EC21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4b9e90df1b346ec2db10ef2357b70e1a43d21bc","datavalue":{"value":{"entity-type":"item","numeric-id":2761413,"id":"Q2761413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5380617$F928E9E7-5892-49A6-B808-069A1401879B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4471bb4fafe3030f9e2467ff16a24f2c91863fbf","datavalue":{"value":{"time":"+2019-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5380617$4E88E06A-F9C8-49E2-91F2-B1E0D103840D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da9089632ac15e697a99fcfd70cf6851ce0f2f20","datavalue":{"value":"65-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380617$993F9091-7098-4B4A-BDA6-D1E494A28EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb7591f24d4a3136e5da74250af70b0bbd46bd5a","datavalue":{"value":"35-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380617$567BFD65-404B-41F1-A7DA-1D1BFBE0790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa7e3e987b16923c22f200f68e7958b7cb4afe08","datavalue":{"value":"65Mxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380617$6B3D203A-B103-4F7C-A0FA-F2E05605DC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1fc1e48fc40e4b36e90ad612022846f5202b0baa","datavalue":{"value":"65Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380617$28AA4291-E6B6-4B7E-A0C1-C32251DBA76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380617$D5825038-0E9D-4D18-889D-D6DC600C1942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0b97b8d8148cdc5aa2ecb9663eaea5f801fba67","datavalue":{"value":"35J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380617$F4656B22-7E9F-4BEE-B85E-929DE51CB59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1ff52699056904a3e9bbfab1173d6dee162953f","datavalue":{"value":"35P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380617$15745855-807C-449C-852D-628030A6AEDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08d2363e63402bed0222221e890f89eeaebd5e47","datavalue":{"value":"7063008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380617$405D7A6B-9810-4B0F-BAE1-C6AA14B46765","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1135d103a12c6010ec8515c75d9b9b50b0e7dfe","datavalue":{"value":"computer-assisted proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380617$6AB1343E-8668-45DF-8448-CF0902A64BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7db28f034df8c2a370cd3815008b5dccd25495d","datavalue":{"value":"verified computation of solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380617$1B91B09F-2F5C-4164-9A93-10F1040D8A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8162cd8d97df07d2b475e1f4e0d226279d3275","datavalue":{"value":"existence of a solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380617$322AC730-12BD-45AC-9741-5B5F35DF2631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad346b95e27c3ee411106fd0b9ec9f4ceac33a0e","datavalue":{"value":"partial differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380617$F3E0B92F-EAFD-4FE3-8E2B-F836EFB74E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9fd665363d911259d148d6a853d4ed4dd864b9","datavalue":{"value":"finite element approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380617$D742DD4A-174A-45DE-83E6-49332811038D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9de2e02631b027f0478804dfb9b894da25f6d8df","datavalue":{"value":"eigenvalue bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380617$36E6B993-C574-4D56-8B59-8904A16D16F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73034867cd6f9ba0a8e7796b0b9340221759456e","datavalue":{"value":"a priori error estimates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380617$992E536E-E4B4-434D-997A-6737B5378602","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":"Q5380617$5C71C8E4-E93C-45BA-AD64-FA7685518C2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ed160a2ee2bed466f67f81b266c0415283b1adb","datavalue":{"value":"https://doi.org/10.1007/978-981-13-7669-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5380617$16C67DAA-3316-4D5B-BC72-04A87213F141","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e11dad17911a19840181fde394467d46420bda22","datavalue":{"value":"W2987306853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380617$B8472A80-1928-4211-A9A9-CD5D402EC734","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e29e1ba57856883932ed956ed92884db863ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2769532,"id":"Q2769532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa0aadffb9840a5d72e6b7e429236bb4db65685","datavalue":{"value":{"amount":"+0.8212209939956665","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":"Q5380617$2FC8B977-0576-40E9-8214-6D973A376866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b8c587cf53b2c11ed101a7c886a482cdc68834","datavalue":{"value":{"entity-type":"item","numeric-id":2917687,"id":"Q2917687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e41e4a3ad07eb48ab454723227ccf047050465","datavalue":{"value":{"amount":"+0.8195368051528931","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":"Q5380617$13D3EDB9-2EE5-4656-B182-1727BFA901E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc18c1f39d09af5133b15e90ceedcf115ca4ce2","datavalue":{"value":{"entity-type":"item","numeric-id":849190,"id":"Q849190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc8886927dcbebb9d5ea603e49cdb458861ce18","datavalue":{"value":{"amount":"+0.814791738986969","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":"Q5380617$C3E57320-D32A-4F55-9DE7-F0C43B1CCB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb2ac9aaf0abea0cd918896d68d52c0d5e26028","datavalue":{"value":{"entity-type":"item","numeric-id":1728241,"id":"Q1728241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b731ba163c630e3337962a84b122966e2579ce4a","datavalue":{"value":{"amount":"+0.8007634878158569","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":"Q5380617$76429F3B-BA65-467F-893C-354FE4346C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2f0d429d6047d27e3df1eedc64dedad3abe267","datavalue":{"value":{"entity-type":"item","numeric-id":3469483,"id":"Q3469483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a917c906b67343bda73e6b40b0368c4fd7c993","datavalue":{"value":{"amount":"+0.800387442111969","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":"Q5380617$C04F7355-7193-4ACE-B3F0-E14CB2BD120B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Numerical verification methods and computer-assisted proofs for partial differential equations","badges":[]}}}}}