{"entities":{"Q1409313":{"pageid":1420053,"ns":120,"title":"Item:Q1409313","lastrevid":43090509,"modified":"2025-07-21T10:02:01Z","type":"item","id":"Q1409313","labels":{"en":{"language":"en","value":"Uniform short proofs for classical theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1990934"}},"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":"Q1409313$DCE1B098-7A68-4773-9211-B0C73F2A6D9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f9268c8bea8e80b628daed626117c644add62b3","datavalue":{"value":{"text":"Uniform short proofs for classical theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1409313$60AD49C2-731F-4B82-9BE0-E02B3FE8F2B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e334c6a91cd1e2230d860dab5b8d693a90cdbaca","datavalue":{"value":"1031.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409313$067FA8E6-1BBA-4F85-B2F7-61C0EC1B97F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ecc260075ee1599934d252f5b5017b5aa41542","datavalue":{"value":{"entity-type":"item","numeric-id":579236,"id":"Q579236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409313$52A2BB29-9EC7-43CA-BE68-C27B216F4176","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409313$76375F7C-328C-4534-A434-8E3ECB209529","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca5125b05e2c98c67e38c71dce31dfb7bf4b962a","datavalue":{"value":{"time":"+2003-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1409313$582FA97B-A226-4387-96C1-51FE1D5CE6C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409313$073165CA-5B91-40CB-AAD8-4E4E595802DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409313$5543259A-8ADA-42BE-80CF-24E6AF201694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409313$6BED7B5A-95E8-4CCA-88E7-8F3F59A66F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409313$6B6D8EC9-927D-4DBD-865E-4FC9C9BEA5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409313$C323FF1C-FCAC-4C7B-ADF2-57BEBE3248CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc20dc89039a01b77e6b6971f9058d5cd4d24d03","datavalue":{"value":"1990934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409313$728BF19D-654E-4AF5-9FA9-6D472AE4630C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a416e4bb3ac1c24bbbb3a4972c3cbc97ee97def9","datavalue":{"value":"back-and-forth method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409313$1F08BA7F-7B86-4208-9BA0-DFF2943673A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f11b87ea6473279572cb7b07a7ccf2ea515aa1fa","datavalue":{"value":"model pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409313$F4E265DD-EC95-46C2-A33A-2390D8629001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3114c8e2d0e26c2dc056ff6cf4eed5d18dc13fe3","datavalue":{"value":"Lindstr\u00f6m theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409313$67875175-8EAF-4979-93D8-78DADCDC1B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409313$42AD6A1E-19D6-4BF6-84DC-B34DE878333C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a61ae933ec27f1466f7c7fbee93644abaeec54e","datavalue":{"value":"preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409313$220E0404-E259-4B68-A271-E7DFDF0EC34B","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":"Q1409313$085907AC-11F7-4F3C-9D3C-A6A3A537E206","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3128ee4d2f6a4ff9dec003bd3becfa20d5b8e435","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1054837939","type":"string"},"datatype":"url"},"type":"statement","id":"Q1409313$06BC94E9-87B8-457B-8332-CBC4576E5201","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a28541d4696ced092838f256bd3fd522ec1b639","datavalue":{"value":"W2019520691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409313$15ABF1E9-5BC1-4154-AF72-46B8A2FB865C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409313$5E773439-4758-4A55-AC77-1D12E496B847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea3453e5c176df4414e4e8e6f090eb047e08d96","datavalue":{"value":{"entity-type":"item","numeric-id":4262591,"id":"Q4262591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409313$F27976A1-2E13-4A2D-80E3-C2D3AD979E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a495f996daae0447231a44dcb9b3a8a36b27a94a","datavalue":{"value":{"entity-type":"item","numeric-id":5687548,"id":"Q5687548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409313$C2C45FB8-D343-4563-8C59-0A2A1CF663B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6b8279ce888d5374d30e37c18a2e77c43c5c8ce","datavalue":{"value":"10.1305/NDJFL/1054837939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409313$FADB73F7-7EE5-474F-A900-5441D514D5F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1409313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1409313"}}}}}