{"entities":{"Q4385479":{"pageid":6415078,"ns":120,"title":"Item:Q4385479","lastrevid":46525374,"modified":"2025-12-24T23:30:31Z","type":"item","id":"Q4385479","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1141703"}},"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":"Q4385479$9CFD091A-1F43-480B-B03C-8F2B59527B36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41f78c247ded4e5c9e02994d855c5010f3ad1695","datavalue":{"value":"0889.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385479$6770E337-122C-463C-BCDD-86E155C8042A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385479$F5760BDF-D26C-4FF2-A6E7-FF6D9F2D3D42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6edb36aa82a00878a310f9db5292de7af8411e8e","datavalue":{"value":{"time":"+1998-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4385479$B0DB4C4A-ACD3-4DC8-A6D5-377AD6C8B210","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385479$634A8FB8-0088-4404-8AFF-1381F1987827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385479$22E6E5A9-B046-41A5-8E6D-DF978F9594E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385479$175DF489-AA4E-4AB9-9D0D-AAC2250442E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59b3533791e2d9b65526496ac44eaf2cf0d9f7d4","datavalue":{"value":"1141703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385479$87C5F2D3-015F-4946-A62B-69F3EDC26D8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385479$33010DAE-9125-454E-AD87-09DDC855BDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385479$3F93848F-32F5-43B3-8D60-6A40DA7C21E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6bb3269f564e59bc6511c746db577f9f425698","datavalue":{"value":"Hilbert's programme","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385479$0F2C415C-5C5D-4E8E-B72C-ADC770FFA8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc4a65a9bc2554a6ed0460f0e3ccc53facbcd3d","datavalue":{"value":"Kreisel's programme","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385479$5A1F6042-7E41-432F-84D2-8FA7AA99A60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d07166e74d92d1680bee3e05fd661e5eda4ed1","datavalue":{"value":"non-finitist proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385479$DB4A153A-F5C6-4546-A596-8238DB7F8D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385479$3689D98F-3599-40C2-B301-61A1949F59D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fb7fd21994c10f92530b0b1d01b0c0b292cf5f","datavalue":{"value":"no counterexample interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385479$C59E6073-EC3D-4C1D-886A-EC51B5568B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a643d966d479054832bbfa2cba175c0f8348bbc","datavalue":{"value":"Littlewood's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385479$C001CBF6-796D-456B-88BE-B50F8CB3E213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64724a9e432cba702ec5912c3b0d5b2b242929c2","datavalue":{"value":"finiteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385479$22305413-E95D-45A4-90F0-E675262A02F8","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":"Q4385479$3AED4B02-5A70-47D1-AFBA-95D162E9BCE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df79b6afbd70831caec48bb18210813ddca2a6b3","datavalue":{"value":{"entity-type":"item","numeric-id":4365300,"id":"Q4365300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2596728718c1221468dab4545f4054070b5bb7","datavalue":{"value":{"amount":"+0.7717591524124146","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":"Q4385479$10020D07-908A-423A-80B7-8D63B6F1FFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c3d70e90e274b463cf044699e68699e636f211","datavalue":{"value":{"entity-type":"item","numeric-id":2785428,"id":"Q2785428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62665081f1bf85a9320b2d9fc645012668616ac","datavalue":{"value":{"amount":"+0.7603684663772583","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":"Q4385479$1EC8EF91-5DA9-4611-98DD-D5F552899D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccc57a5e7131f2d6f81465eee8a078c1992cf72","datavalue":{"value":{"entity-type":"item","numeric-id":4948521,"id":"Q4948521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3caa85da5a47d5f606d12a5e7a85ddf578751cb1","datavalue":{"value":{"amount":"+0.7396430373191833","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":"Q4385479$B8E81AE8-4981-4558-AF32-68B55BFC9CEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4385479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4385479"}}}}}