{"entities":{"Q7270032":{"pageid":31062671,"ns":120,"title":"Item:Q7270032","lastrevid":104960479,"modified":"2026-09-15T13:56:51Z","type":"item","id":"Q7270032","labels":{"en":{"language":"en","value":"Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems"}},"descriptions":{},"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":"Q7270032$E9F126AB-8935-41C4-8723-176037E3FEA1","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":"Q7270032$2A22C494-D9A2-41B8-B190-512948D648A6","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"34e1e3f791493fe994e8ace610ca036e452124ac","datavalue":{"value":"2606.23821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7270032$A3950672-8ED4-44C9-9B7E-C97977A245A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"894b93ab6838e9dd7bef3ecf3304177b943a7694","datavalue":{"value":"10.48550/arXiv.2606.23821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7270032$CEDE8287-5539-45DF-9668-F629537A8AAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69a398e4628c95b4dde3519d1d4a0731f5992543","datavalue":{"value":{"text":"Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7270032$3DDA733E-9761-4975-BC83-FCC3EA40BE25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbe4d9210609fd564d3cfe79ad1eda89a39007f4","datavalue":{"value":{"time":"+2026-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7270032$4DE469A7-DF7D-42CB-AD08-AC7A5F4905CF","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"ebcab1bde8ac3b28efaefc12ea8cc1068c9a8b14","datavalue":{"value":"math.NA","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$D16A0B05-BF86-4D52-89BB-DD0DA423D2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"614924768b75c995c88a0e54bf3be36427e60707","datavalue":{"value":"cs.AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$8C8BDB91-3C34-41EE-977C-F5BCA756708F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"1210c995232ac9b04f4c5113fe1aeef2873d2f5e","datavalue":{"value":"cs.HC","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$9161C1FB-05E0-4C03-81DF-69A1642AA8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"d0c01087e03d2449d947939047761607b923da7d","datavalue":{"value":"math.SP","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$00C6965C-5966-4E2B-810E-663029D853A6","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"e12a92bf9ef8a428dc944c3494c6f542fcecb67e","datavalue":{"value":"Matthew J. Colbrook","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$7E39A6DB-AAE2-414F-BA20-2C37D7AE240B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f924c19841a71c18bfc03b13c950772cca996cc7","datavalue":{"value":{"entity-type":"item","numeric-id":1690906,"id":"Q1690906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1642":[{"snaktype":"value","property":"P1642","hash":"a54a2b64f7b8568892d0e11c5b15bda62f19839d","datavalue":{"value":{"entity-type":"item","numeric-id":7270033,"id":"Q7270033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1642"],"id":"Q7270032$66466E2D-D307-422D-AD87-4C3BFD5A1046","rank":"normal"}],"P1963":[{"mainsnak":{"snaktype":"value","property":"P1963","hash":"a1d2b17b75cf581f27bb2d2765c73b7d19560b92","datavalue":{"value":"We describe two case studies of verifying eigenvalue computations with AI assistance, which achieved ten-digit accuracy. In both cases, we reformulated the problem to exploit AI's strengths while avoiding its weaknesses.","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1642":[{"snaktype":"value","property":"P1642","hash":"985dbb0e3957a205973fd95bd3fd79ca0980eb5b","datavalue":{"value":{"entity-type":"item","numeric-id":7269921,"id":"Q7269921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1642"],"id":"Q7270032$27704672-9314-4B27-8E8E-854976A41BF1","rank":"normal"}],"P1964":[{"mainsnak":{"snaktype":"value","property":"P1964","hash":"b9250ebe6153db51acb72a7fce0a40d0444a3071","datavalue":{"value":"Eigenvalue Problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$01930EC1-122E-428D-959C-F33F14D62EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"d241eca71821cd791166ba7b6faadbc84c24f706","datavalue":{"value":"Verified Computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$284031A6-49E2-4483-9E6D-E59EF433DF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"0a919d0e9a1cece0188694788900f84ffb4293c2","datavalue":{"value":"Human-AI Collaboration","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$3D88C0DB-32DD-4EDC-A947-DE8FB269E140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"0ac1f097e388cf14b985b687c63fd7861bdf4279","datavalue":{"value":"Bracketing (phenomenology)","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$1B756FD5-A66F-4405-A9F6-E5E75B230DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"a42adc6082dfa12e2527d2af7e77eb63b97912b2","datavalue":{"value":"Eigenvalues and eigenvectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$ED27BC47-F250-46BA-A1C4-E3632584039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"9259d0a0c2f53a5f4cb0f45b0b64c0701a9ece1c","datavalue":{"value":"Computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$44D4748B-B1D2-418B-B3AD-5770E6711B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"8968bef36b6f03975d8495fb78bb1841ed933c51","datavalue":{"value":"Object (grammar)","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$D5006CA8-1494-4518-84D0-36ED379D85D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"a56e1a51368323099f6d8343131a30aa311e7275","datavalue":{"value":"Matching (statistics)","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$487EC42A-73D1-4BCA-823A-2D82C740EE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"3ab4b32d77334b4d5c564459da8b8110d0470fbe","datavalue":{"value":"Constructive","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$56CAC958-223C-4F9C-A5CC-BDE2B09095E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"ac989704fb691e58acbb1cf54628740986608872","datavalue":{"value":"Sequence (biology)","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$E618A105-38EC-484E-B623-0A87E236FA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"e70ebff41c3b911e5bbeff441a1a22ff399e8ecd","datavalue":{"value":"Argument (complex analysis)","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$11016EDB-4D79-490C-BF03-FD4802F1437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"56e5605665a4de2c84d88afdb310cc40ff573eec","datavalue":{"value":"Decimal","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$CF3C276F-A9A5-47DD-BE31-1344D843ADF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"6060f7eeff8727965046ce64825959fea940b144","datavalue":{"value":"Calculus (dental)","type":"string"},"datatype":"string"},"type":"statement","id":"Q7270032$6BC64250-061D-4E3F-A290-DCA8B8D20051","rank":"normal"}],"P1642":[{"mainsnak":{"snaktype":"value","property":"P1642","hash":"a54a2b64f7b8568892d0e11c5b15bda62f19839d","datavalue":{"value":{"entity-type":"item","numeric-id":7270033,"id":"Q7270033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7270032$475614E8-E1EA-4D20-A388-2DC2538BF218","rank":"normal"}],"P1987":[{"mainsnak":{"snaktype":"value","property":"P1987","hash":"14b6c00a3adf5a78125305ce8d1fba4001c2f09d","datavalue":{"value":{"entity-type":"item","numeric-id":7270080,"id":"Q7270080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7270032$1131BD03-2E53-45C0-906C-F9BC1979C624","rank":"normal"}],"P1988":[{"mainsnak":{"snaktype":"value","property":"P1988","hash":"a74ea5cd4d89addfc67da94555af6668399a05c2","datavalue":{"value":"Bracketing (phenomenology)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"29f609c18c165527f7047529a04bdd476b8c4ada","datavalue":{"value":"Q4953701","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$38049A02-C87A-4802-972E-255429618653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"69646ef253e83f9fa60eb875fd9f725ea731d265","datavalue":{"value":"Mathematics","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"2254875c7207c933fc206a1434a5cd4bc0c97f3e","datavalue":{"value":"Q395","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$DA3A61FA-67D3-45A1-881A-BE623CFF4E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"a51816be885acc7f16844c005e15fe7a52020fb2","datavalue":{"value":"Eigenvalues and eigenvectors","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"31f35d1431474509a7c0ce397aa3052b1c4eb309","datavalue":{"value":"Q190524","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$9A8EAB04-4E50-42BC-9041-306D542AD5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"ca2dda0073b7fff52c921af3a897660839b1c92c","datavalue":{"value":"Computation","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"7f343ac3c09b8ffb586b60ceedcc91c9b84b2112","datavalue":{"value":"Q12525525","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$17F2C810-B5AE-4FD1-A689-9A99B64488FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"6543b01d427ad0f6f330c6d7ac6e5d17eb2535a5","datavalue":{"value":"Object (grammar)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"5ca5b911db7f9891dee679b2ca349f890c7b12a7","datavalue":{"value":"Q175026","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$288F0C73-AF7B-42A7-93C6-09D1617CF8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"321be8145150b9a22a4796504b343bea57c24b82","datavalue":{"value":"Matching (statistics)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"57e4f871becfe7f503d5d369033cf31912b1d669","datavalue":{"value":"Q1321061","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$887AE7DD-51AA-4DB1-8277-B2B35426EBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"6a9552c64b1f2ba6257884e4e19f6eb7f8412bad","datavalue":{"value":"Algorithm","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"e8648a3bd52d05bb6a82f0c464fecf136f1b0391","datavalue":{"value":"Q8366","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$7569F836-422C-4542-96DF-3610C0C8A396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"5a81ec2b3e5574765fcd192455d681b54a93eef5","datavalue":{"value":"Constructive","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"bbb09427b9528101fc993e412a5036353770d6eb","datavalue":{"value":"Q28130034","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$4FFFAA88-4160-4DB5-8C08-C652F9DE0F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"c8c05908c1defcb38966fd2543ac881ac7a5f72c","datavalue":{"value":"Sequence (biology)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"2116abce1d06a3d1e421196d861d972cb2d78b8c","datavalue":{"value":"Q3511065","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$8E844CD7-3D99-45A5-AF94-FFDC8BAB3BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"df0c00751e0ce2d25ff2b4338fd3bf4b4e3947da","datavalue":{"value":"Argument (complex analysis)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"6c13e1fdd093de3b81bbc71ed7a52c3f1938ceba","datavalue":{"value":"Q1780131","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$BAF57F8C-3501-4FC7-89CB-34437AC2E613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"f9e1237f3a1a1d24bebc0fdd86124bb27e45b5b5","datavalue":{"value":"Decimal","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"8082b8d76a36bd796be8d5a774b71891b3b412a0","datavalue":{"value":"Q81365","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$3EE71CDD-4231-4DC6-8955-6D0501AB2FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"656461a29f9cfa6a9037f7f39d1c123658e2f653","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"7515a87e0b11f31b86c327ee80e0ca7e420c3ee1","datavalue":{"value":"Q21198","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$5CF9B001-DBD7-4429-AA0B-59295CEF8483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"3cb84dba16c8bac067123f082f485b74022cbdd7","datavalue":{"value":"Calculus (dental)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"14980fe533f14bb08f8171fa888955db3a333343","datavalue":{"value":"Q144037","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$AFD55867-E12E-4223-9E69-BC61B0733275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"74b5c40d0ae0804c7fcfe32bd4ff592ca9e04b34","datavalue":{"value":"Constructive proof","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"c572e02ce77a8ce946af9ce1f9a215050a01085b","datavalue":{"value":"Q3044470","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$B0D680F3-A333-4125-9E8E-62F55E9833B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"91301657ebeb255f1776e839a42fa54713909192","datavalue":{"value":"Truncation (statistics)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"c1dd818ed64251d4f16465fb3c101ef62cbf3fd1","datavalue":{"value":"Q7847935","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$B25A3D97-D067-4B57-A14F-9DF2B3B8A5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"74614c03f32529d2c378a1080a627359e7392fab","datavalue":{"value":"Discrete mathematics","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"fe05e38dcf609e7db4d890f2ea2e773c3da97009","datavalue":{"value":"Q121416","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$F387948E-8EF8-4B6C-A653-50FFF2B1686F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"f0aa84d56654cc1cff3ba7a39d59c36d2c543ead","datavalue":{"value":"Zero (linguistics)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"ec9682dd3d67596092cd9174840449e3a567e65b","datavalue":{"value":"Q3274237","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$E1775EDF-33D9-465D-8553-DFEC8BAA6A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"d73d23002dd45a9e2aba33f8cb17ae9472c9dcb7","datavalue":{"value":"Set (abstract data type)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"e216a98d5d41f6c224dfbf19f562a9b125372fea","datavalue":{"value":"Q1514741","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$C829E289-F209-4AAE-87AC-3D384812706D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"cf13432354a3688c392b157a1dfd5a0d452f6a3d","datavalue":{"value":"Algebra over a field","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"22889cc82e7a23de950865d5ab786e66fc0707ba","datavalue":{"value":"Q1000660","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$FBD83BF4-1B65-4C5F-ABFC-EA82AD3E2102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"84c608a057c08cd7d03b4d08861c9e8a826eb739","datavalue":{"value":"Limit (mathematics)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"dc94bda4465aab5f903d0d5208ac1f15bbb908ea","datavalue":{"value":"Q177239","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$B94055CF-647E-4883-92BC-CB9067825D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"ffd24b59929b030e89b43f3689ecb338e080af98","datavalue":{"value":"Projective test","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"e0fbf5748b259ae4f383a03bfef915b1288cb380","datavalue":{"value":"Q1501864","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$8C77D9D9-85FA-4543-9A7F-452525E9648A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"a62dca44d82961b303316c5f26488bbf97b8f0ee","datavalue":{"value":"Singular value decomposition","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"a21b6d643e3688d763bfbc8109862c0c1f0d9078","datavalue":{"value":"Q420904","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$32D81C8F-66AB-469C-BEDE-6D7D49FAFBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"c131c97fc93272b233abe617d4149116a44ef6eb","datavalue":{"value":"Spectrum (functional analysis)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"866533219dd31c69870c0aa7d68d8a80ed57d7e0","datavalue":{"value":"Q1365748","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$0FC138FE-606B-49AF-90FF-AB10AA33ED58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"7930800f6e5d3e0201a45a382dc39aaf6fe50b58","datavalue":{"value":"Image (mathematics)","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"015977a2bff3111cb6d08748b9945462c2fe658b","datavalue":{"value":"Q860623","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$ED4767E1-62B2-444C-BC56-5EA1F364EA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1988","hash":"ef9047fb8c497a9641a964c5b1ad9586a0afdc58","datavalue":{"value":"Binary number","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P12":[{"snaktype":"value","property":"P12","hash":"7410b652713a7fa07277eac4dccbebe43281dec9","datavalue":{"value":"Q3913","type":"string"},"datatype":"external-id"}]},"qualifiers-order":["P12"],"id":"Q7270032$5CCC16A9-B502-43AD-AC44-8F06BF708B60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cce6e32afd651ac7c71a44be2f1a44d9be9b6e5","datavalue":{"value":"65L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7270032$02B9FCA9-B161-47FE-BA67-C141DF91E77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7270032$0A1EC79C-1439-42D6-81FA-930B9793AF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7270032$375A2404-BF3C-4677-9712-F7AEF8136696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75be5ce92fc5fc34a817435fa78115862dca90ff","datavalue":{"value":"34L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7270032$F3DEA030-54A4-49B4-9DED-18EEC7191408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20731ed8478990312d3c578f2e0818aa53242dc9","datavalue":{"value":"34L16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7270032$7452D7AE-1373-4B29-BB74-8F40EC22B4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d251d428f4e07cc07f11f2a274891b2aca1b59a","datavalue":{"value":"81Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7270032$2FF9C328-A972-4B23-BF43-F8154AD428DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ten_Digits_on_a_Train:_AI-Assisted_Verification_of_Two_Eigenvalue_Problems"}}}}}