{"entities":{"Q3048826":{"pageid":3059542,"ns":120,"title":"Item:Q3048826","lastrevid":45336427,"modified":"2025-12-05T17:45:05Z","type":"item","id":"Q3048826","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3643255"}},"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":"Q3048826$0BB33627-8020-4762-B361-39AF3ECDF3CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4ae796e18421a351bb3b95572d85e76248586a3","datavalue":{"value":"0414.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048826$AAFFB34C-824C-4762-9371-1EDEEA773C52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3048826$FF7698BF-1956-448F-8A46-6F615FDC1D6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048826$C8D7A980-15B8-416F-B7B7-B916DDEB16FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048826$727E31A4-33FE-4F33-B6F8-3942D7038411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7a3e25442fa39e0f2e6a0eea6f1103310685fe6","datavalue":{"value":"18F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048826$D6913537-5EB7-4D3C-AC95-F4D13BD904DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9440fc314ed729ae92b4d30a37482a0a15bcd4db","datavalue":{"value":"3643255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048826$9C064CB5-EAC9-41D2-AA44-F8E4F3425DF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048826$FBA4A3EB-52C2-4C35-87C6-961BEF1E7D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048826$86C121A4-F65D-4BB9-9202-930C6D7259E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"464b0cbcbaef43937e7429191c070cd47de0c06c","datavalue":{"value":"K-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048826$740C0312-0F93-4A7D-BB74-3C0D680682CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048826$69C7BE99-EF15-4D4A-8CBE-704D883D4335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c31636f400e0ce5ed589a1745c8025def9a53b","datavalue":{"value":"division algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048826$017BF87B-0AE2-4FC8-9176-534F436369A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048826$B03F688A-2B4F-46B1-B596-169F07A5DCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a780ba5fdf5a0209534808fc80d9fb0c2c34a3d","datavalue":{"value":"mechanical unwinding of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048826$AECF0D99-BF7A-431D-8331-47175CA7936C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3b484bb6f0dddb57c90f4d11a46f937ee51725","datavalue":{"value":"automatic theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048826$B94C7BCB-FD78-4606-9579-B232A44205E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab34ba425bc9591434354330de0028b3a960e2ed","datavalue":{"value":{"entity-type":"item","numeric-id":1238802,"id":"Q1238802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3048826$23EEDA18-F90D-4589-83E0-383A445F204E","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":"Q3048826$702EACE6-43F7-4F29-843C-147F022BA074","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3048826","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3048826"}}}}}