{"entities":{"Q5195254":{"pageid":7224826,"ns":120,"title":"Item:Q5195254","lastrevid":53534213,"modified":"2026-01-25T04:55:23Z","type":"item","id":"Q5195254","labels":{"en":{"language":"en","value":"Certified Kruskal's tree theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106490"}},"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":"Q5195254$D483EB7F-0595-4969-B257-4DE32AAAEC9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edfc75a8bfafc72547ce95549bb4200fb7020541","datavalue":{"value":"1426.68289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195254$727B9173-706D-4256-B3F4-BDA8BB608E37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0653fc883593f9e70c5ddda3d1f1f752c0d0ffca","datavalue":{"value":{"entity-type":"item","numeric-id":530846,"id":"Q530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195254$E7C3CBD3-084C-4948-BAE0-4D3129E0852E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195254$6C7A0ED7-344D-4671-9A6C-8B4350049F8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195254$6632B2E1-F640-49B0-ACF4-435F13890FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195254$A56BF203-3891-4C73-9140-CA722403C8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195254$59DCEBFB-EFF3-43BA-ABFE-4409EB107DC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88f62bf131bbca0c483b0feee5e7e8435a92febf","datavalue":{"value":"7106490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195254$298A1297-67DB-4596-A6BF-BD2771B9E377","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cee70fd0a5b823c3702bfab09192e51e6a8ab6","datavalue":{"value":"Kruskal's tree theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195254$BFD24029-410F-4669-8C32-5D983BDEC190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57eb98e50643b1d89043d6e2d357c2030c5038ab","datavalue":{"value":"minimal bad sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195254$BFDA8D1B-1C0B-47E3-8A03-B374EB10A79E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195254$1290F194-38AA-42BD-B256-A086976E16B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195254$FA497DC0-976E-420B-B389-8C5DD96C6642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195254$9DE076F1-6851-47A1-B325-E7439039705E","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":"Q5195254$44BE0319-67A7-4ADA-97DF-8C9B660051D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c447ca7bc77e49a8088e9e1b11ad2ece6e346de","datavalue":{"value":"https://doaj.org/article/58453159a0ca4057ac9953d74dbc833d","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195254$7EED4AA8-3AAA-41F7-A5AC-5FBB5FA4C14E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"297b843179f0b8019a4d4d887d0a8cb112fc5055","datavalue":{"value":"W1520750303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195254$73B3EEBD-0E61-4A66-8ABC-EC153614CA83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00975a5516a293020613fd73402faaabe6cca43b","datavalue":{"value":{"text":"Certified Kruskal's Tree Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5195254$1702EF89-DB83-4A94-BCFB-C1C7732E0A84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3ff56ea40646daba21d74df09e2860439b7646b","datavalue":{"value":"10.6092/ISSN.1972-5787/4213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195254$CB7A6881-1DA2-402C-90AC-B1EEBDB8E05B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd18e5e0be01530c229a996f792bd4288f826cb5","datavalue":{"value":{"entity-type":"item","numeric-id":2938047,"id":"Q2938047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a8d0adb80e62afc5935a434ed39a7d7fdda3dc","datavalue":{"value":{"amount":"+0.985119104385376","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":"Q5195254$A94B6BA4-C9BD-47B4-A7DF-22D8C2F42F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce6d7f65601badf71a13d8218c90dfa8389e94e","datavalue":{"value":{"entity-type":"item","numeric-id":2849896,"id":"Q2849896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1cedd58543bd409abae6dd33d44383fefd485d","datavalue":{"value":{"amount":"+0.7801295518875122","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":"Q5195254$CAD37A45-C101-4D0D-8C55-0DDA96065F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13258cb0acbc8618b75d1dec04e2a5c9f9caca71","datavalue":{"value":{"entity-type":"item","numeric-id":1879322,"id":"Q1879322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f217a8b8e1e85dd2f648ff0fcaf65b6caabbe4","datavalue":{"value":{"amount":"+0.7787228226661682","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":"Q5195254$E5F5FF4A-A03B-461C-A9DD-41BE27930FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce93b36fbb93578ad5ecba2c0a0680a8f43e366","datavalue":{"value":{"entity-type":"item","numeric-id":5712322,"id":"Q5712322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de01b9e6fe5d573dd492ff0d96dcaf40c3d4616d","datavalue":{"value":{"amount":"+0.7627559900283813","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":"Q5195254$8078541D-5B82-4618-9BC6-9CD6BAA0E429","rank":"normal"},{"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":"c45a6b9774ad8a274b133e5c9b1803ea72a33b66","datavalue":{"value":{"amount":"+0.7621588706970215","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":"Q5195254$9313CF59-49D5-44AA-A480-347BF3BFB153","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5195254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5195254"}}}}}