{"entities":{"Q4464963":{"pageid":6494562,"ns":120,"title":"Item:Q4464963","lastrevid":89480084,"modified":"2026-06-04T17:28:19Z","type":"item","id":"Q4464963","labels":{"en":{"language":"en","value":"DEHN FUNCTION AND LENGTH OF PROOFS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2068384"}},"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":"Q4464963$C972FE1B-2585-45CF-B0AF-95B2C176CFFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d68c8bd23bc23f3a34ce26e4406d11b49bdb1f3","datavalue":{"value":{"text":"DEHN FUNCTION AND LENGTH OF PROOFS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4464963$8E885D36-0260-46EE-B952-2561E6DE0CA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89a801eaf012f46cb34822e5874ff603227afba8","datavalue":{"value":"1043.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4464963$54C5951A-3DC0-433A-BE0E-0A99F74B2FB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7b8d0b1c42c00e5008a89ff477bc12a2818d8c6","datavalue":{"value":"10.1142/S0218196703001523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4464963$117E5DD0-DB2F-4312-940A-C294BC566D43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$D9F9C757-17A9-41D0-AE8B-6760A4861E82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$E37652B5-A8A5-4F03-9F2F-C87B0C9BA7A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4464963$5D8B9872-A122-46A0-AF62-107A563636B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4464963$8EA7662C-DDD4-417F-91B8-B8E0D3F022B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4464963$E5722597-E8A4-4212-9241-6A630D2FD084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4464963$DCF654BE-5677-4D8D-9C94-C99257FDDFC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcccc4be2c40c2aa7e9b2474715e5a1f47e0001f","datavalue":{"value":"2068384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4464963$F88A165D-8688-40A3-873B-0857841290C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dff9d2248db63193047d9ffc2fe72dc53ab7f96","datavalue":{"value":"Dehn function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4464963$9FF6DF06-C004-468C-8FC0-BDCD24510B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4464963$B3499B44-DDB3-43BF-B1DF-AC78E456D6E0","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":"Q4464963$364530E7-044E-4FCE-A92E-89C704171D15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96dd3929de071193564c40afda5edf55c51cd7c","datavalue":{"value":{"entity-type":"item","numeric-id":4354236,"id":"Q4354236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$DC967C7F-8807-47B1-92C4-65493ECDD762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9c584b859056f9d5514ecc5e5edef509eeb4e4","datavalue":{"value":{"entity-type":"item","numeric-id":1566706,"id":"Q1566706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$F49F46C4-30BE-48A4-B9AF-D9D72D565B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83c8132f421db8495bb4645cd517414a7d271f2a","datavalue":{"value":{"entity-type":"item","numeric-id":1851485,"id":"Q1851485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$F291879F-D043-43B1-9E47-7243FC482241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf9a355bba398f2dd7869850f6aa11775daec8c","datavalue":{"value":{"entity-type":"item","numeric-id":5895987,"id":"Q5895987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$2D3DDC88-B6C1-4841-B069-A9BD0FB28A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b04f22b6b6e18c1df8de9f5f1f5007b58a48ca1a","datavalue":{"value":{"entity-type":"item","numeric-id":4780255,"id":"Q4780255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$5F39CFF9-68F5-4D17-8623-851AED034424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6698b47c11315c7300499ccf47dd9d37dca871e","datavalue":{"value":{"entity-type":"item","numeric-id":3363404,"id":"Q3363404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$03CB8CA8-A6D0-4673-AD8C-0C64F8981062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$80AB4F56-2F72-4B42-BC48-9F6D19EEF41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$AECC5464-5AE3-4361-80B9-779467ACB614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c257181b20b98e8c4d2f377028ee094fdc26b505","datavalue":{"value":{"entity-type":"item","numeric-id":3351593,"id":"Q3351593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$C3235578-DFA4-44EC-96CB-AED655729D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecee12cf2ab2017777a7d046746b8ad8bbd12a7","datavalue":{"value":{"entity-type":"item","numeric-id":3140233,"id":"Q3140233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$99CD8A75-3566-4325-A404-A74CF9142868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee32fd238cd7aa72816d70e40416ef162832c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":3288145,"id":"Q3288145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$AD1D9AE4-D936-4EA7-9695-F1580F604D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30530dc0bb797548c1bb82f4ecaffffc12d4dd67","datavalue":{"value":{"entity-type":"item","numeric-id":1074716,"id":"Q1074716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$F4874D1D-6849-4337-839A-3B665072A26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055bedacfebca53010ce129fa8e17bed82ea770b","datavalue":{"value":{"entity-type":"item","numeric-id":4786274,"id":"Q4786274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$F45B9B33-93FB-4CBE-9D75-621E464CE970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3ef38ef005c69e7bd0fea842b7da511c1842a8","datavalue":{"value":{"entity-type":"item","numeric-id":4077450,"id":"Q4077450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$DFA4EA37-001D-4625-A050-E73C6100A526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf4fc1407d85730f9058c8268da7343b31f93c6","datavalue":{"value":{"entity-type":"item","numeric-id":3697214,"id":"Q3697214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$5AA5293F-F37E-46A5-9FED-97E18B451073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464963$39B436BB-8DE4-4C1E-B110-9E9137133475","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DEHN FUNCTION AND LENGTH OF PROOFS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DEHN_FUNCTION_AND_LENGTH_OF_PROOFS"}}}}}