{"entities":{"Q3731598":{"pageid":5761504,"ns":120,"title":"Item:Q3731598","lastrevid":87593063,"modified":"2026-06-04T12:05:06Z","type":"item","id":"Q3731598","labels":{"en":{"language":"en","value":"Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher B\u00e4ume;Unprovability of certain combinatorial properties of finite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963823"}},"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":"Q3731598$B0D73BBF-C9AF-447B-9AE3-3C381FF407B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96674ee5be79a18298f8e69ef1d85e904f1927fd","datavalue":{"value":{"text":"Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher B\u00e4ume;Unprovability of certain combinatorial properties of finite trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3731598$55E528E5-565E-400A-89B1-2A74C4C8FC2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ab91f82663a624ed10c299705da6d1a8180b9f9","datavalue":{"value":"0598.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731598$426AC4BA-5896-4F51-98AD-857E5A04169C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8538b61eee29acde1ddf9b9b64aa9c01c1aee139","datavalue":{"value":"10.1007/BF02007556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731598$CA2848B0-E2F7-4CA3-A998-51F425BA04B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$ABF84055-1585-46DF-B0CD-1539BF3A415F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$A8102FF9-BE94-4FAF-A41E-D4487BD9F541","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3731598$F84C7003-89DF-4BE4-A418-4B2215B240CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e465fdc684eba2b53cb05d1a2b80bf4c7c57cd5","datavalue":{"value":"https://eudml.org/doc/138037","type":"string"},"datatype":"url"},"type":"statement","id":"Q3731598$453A9130-1A1B-4206-9698-42C5560D597E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731598$2A162B11-F52D-4EAA-8FC7-6A798EFB469A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731598$6826DE42-2A6B-4995-808D-89B983369CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731598$454087B3-247E-49C9-ADF7-EDE5133E2771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d2f95165d1ca06a285cba720861cb5179130f9d","datavalue":{"value":"3963823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731598$85ECE748-EBB3-4D4B-9133-71DD32E9883B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a94a32cba2f7f246ee32595b396cb774085e0175","datavalue":{"value":"fragments of second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731598$A8DFE3C8-2955-4F06-9896-0FF79CB5B6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fbb0502a0e9c81c9639381852d260b22b56d07c","datavalue":{"value":"embeddability properties of finite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731598$9FA6FF3A-F8F9-46C7-82BA-598F1DEA5E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731598$B5EC127F-9927-4C1A-B4F7-D7BD3378DA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f073fd7f262a0ff46fdf249f98670b48d31897","datavalue":{"value":"Kruskal's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731598$CEE824FF-EE46-4FCE-BBE6-23D8FB0FDD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731598$40185903-01ED-410A-BFA1-1A50FD1F87EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a020f7ecfad646bf91b00e9d59059f6d654d8c","datavalue":{"value":"formal independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731598$0E9F7063-97B9-4AEA-BEE7-4FACE84F670A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731598$F9DB5E65-71AA-4FAC-B827-CF66F65B06D4","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":"Q3731598$488EDE3B-64E4-4CBE-BF6D-270CB3B12C09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"559d023d291e446bba13d5979c34214548a51934","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$695FED32-7082-4DA8-A1BE-FCB272D042BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$37BF62E6-F1C9-435A-8C70-C73557922682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6eafdf1c139884ac1ff4deb1cb9bb75eab73391","datavalue":{"value":{"entity-type":"item","numeric-id":3690813,"id":"Q3690813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$205F5D9D-8DC8-4991-98E0-13FF68D57B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a41e51759b03d93fbc94ef3ba8acf0dd412666","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$78B590E9-CD88-476C-B70F-D1C0750D2D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$9C3A8B41-D565-4C88-B72E-D9ED9A047E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$6ED40D99-2C02-4B9A-A2B9-163DFF1CEBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$6344AFB6-BF9C-4296-98EE-34C1B59A11DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c51450d884b7db77c14a0ec5b7db228e4f4a3b8","datavalue":{"value":{"entity-type":"item","numeric-id":3335775,"id":"Q3335775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$5862BAE6-1266-4FB6-91A6-CE8D8A13BAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6009c28f52c9fce33675352f603d785f36063528","datavalue":{"value":{"entity-type":"item","numeric-id":3710526,"id":"Q3710526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$0E87D32B-3129-4FD1-A85B-B03132D5D514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$611D0043-3B47-4C29-8638-08C953A8C615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$DEF7A6A8-31FA-4A25-A9D9-1B2F56F4E5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84b3650d07b4444c6c48a568654eadf0988cd6","datavalue":{"value":{"entity-type":"item","numeric-id":4190679,"id":"Q4190679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$28EBB499-654F-48CE-BBF2-A5ED7B899A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b07cf023f9afcf7b525e86e54f6c4e6c9af8f67d","datavalue":{"value":{"entity-type":"item","numeric-id":2544591,"id":"Q2544591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$CFF4F67C-BFE5-4E14-9AB3-676D79E77529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed0853d5d25943754f0b88d3bc5a4e688b584cb","datavalue":{"value":{"entity-type":"item","numeric-id":5734436,"id":"Q5734436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$44D40AAB-8609-416D-BDE7-B2C1B604595A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14411f324330e707679cf79763a71f6a64b3b3c1","datavalue":{"value":{"entity-type":"item","numeric-id":3953757,"id":"Q3953757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$5BC563DC-3424-4643-A803-1592E3652FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$643DD211-E8A0-4C67-9A67-54EBAE40E06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$09D3DB00-8C50-41CF-ACB6-5A81B52694C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46787e1f5f108d46a895afe3df22d5a641fea6d","datavalue":{"value":{"entity-type":"item","numeric-id":768810,"id":"Q768810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$7E0A47D7-FD3B-45F3-9A74-B34BEE17DFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0d374a436b3eff4a0fc4a6b0d2d906601e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4175544,"id":"Q4175544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731598$CA31082D-D7FC-4E50-9D82-4A1D1B276C6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfc187c8561dc16d4cca38bf204f2521a82c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":1182475,"id":"Q1182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd0963388e64d6acbf1ed64f081dce2c531d52a","datavalue":{"value":{"amount":"+0.8259589672088623","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":"Q3731598$9505C33B-D1D2-4776-AD93-7989B54FB6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4a6bf65f27f0ef3cf94116e6faa0a1c77633067","datavalue":{"value":{"entity-type":"item","numeric-id":4793024,"id":"Q4793024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a5fab93b0c8729142eac514bb0c5fd93350d16","datavalue":{"value":{"amount":"+0.8228235244750977","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":"Q3731598$A5C3B32B-A965-4920-9151-27617B302778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18515c2c529ff20c08db40bd16ee809acdbe2e2","datavalue":{"value":{"entity-type":"item","numeric-id":5046601,"id":"Q5046601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b18f9ecde8c50c624432dadcd23e70b15991054","datavalue":{"value":{"amount":"+0.817459762096405","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":"Q3731598$585C5076-E977-411E-850F-CF1289B6CC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"977cd8b99fcaad1edf7fb7340f8f6465da6f310d","datavalue":{"value":{"entity-type":"item","numeric-id":3491541,"id":"Q3491541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b535f9ca51b17832d968afe623eaafd897bd94","datavalue":{"value":{"amount":"+0.8130134344100952","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":"Q3731598$F97BB832-9720-4BAA-B879-B6A07BCFDFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c10cbbebad615b4634682c8c81e26acfb8c7ec","datavalue":{"value":{"entity-type":"item","numeric-id":3199414,"id":"Q3199414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6748405dac0994f21d2f47637363593ac5971ea1","datavalue":{"value":{"amount":"+0.7949578762054443","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":"Q3731598$9462DBB2-3122-46DB-A32A-5FCF6D95D40A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher B\u00e4ume;Unprovability of certain combinatorial properties of finite trees","badges":[]}}}}}