{"entities":{"Q4391426":{"pageid":6421025,"ns":120,"title":"Item:Q4391426","lastrevid":89403602,"modified":"2026-06-04T17:16:59Z","type":"item","id":"Q4391426","labels":{"en":{"language":"en","value":"Uniformization and skolem functions in the class of trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1158354"}},"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":"Q4391426$838E62C7-0F38-46A1-8453-ADF37E6EAC55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"313c6ffa44756072f792d10988f87e5885ed7afc","datavalue":{"value":{"text":"Uniformization and skolem functions in the class of trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4391426$A48F76E9-8230-4C6D-B580-3DA129DAA402","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3c086e6bb206fae28bc75f87753807d4a0ec726","datavalue":{"value":"0899.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391426$83325720-ABAF-4F65-9F61-37B33DE03DEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae883eb773bd49198a5e66d294bea5d17a47a27d","datavalue":{"value":"10.2307/2586591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391426$7853869A-7BD3-47F1-9537-4163CBEA3D65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e52b3824d22789596482a2b9058dbe14844e01d","datavalue":{"value":{"entity-type":"item","numeric-id":1190618,"id":"Q1190618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391426$0F000791-28F9-45A9-A460-3838EE70CDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391426$891B75F5-7EDA-4576-8582-07A86B236793","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391426$86D219E2-D04D-4510-B0D6-8DA0EA49EC97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaea8cb452e591c2b43bb59cc15f5525e92c8e85","datavalue":{"value":{"time":"+1998-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4391426$8902A447-1863-4FCE-95E4-BD1D611C6993","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd0181f12befb85dddcfb6a8717fd4f58269e227","datavalue":{"value":"https://arxiv.org/abs/math/9412231","type":"string"},"datatype":"url"},"type":"statement","id":"Q4391426$EE1BF211-C6A5-4DF0-953D-5A74B05219E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391426$2707EA5E-4A0C-4A94-A4D4-D67F4A0ED922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391426$C173D00D-3B68-4238-8F82-33F2338DF5E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6790664e1e599d5842d3bf1e5f721093345cbaf6","datavalue":{"value":"1158354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391426$EB3813A9-64ED-4E0A-BB35-0DEDE90EAC80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391426$C780E635-89C6-476A-9B84-78C6AAE28409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c544b1d4401701126cba2ce0ba462882080f6922","datavalue":{"value":"monadic theory of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391426$20D2CBFD-4E43-45AA-8DE7-5E31AB3AD8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391426$01511A35-BC58-474C-8706-FD1F6D23A8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0edbdfa281825cdce2cef338d46b99c5e8d066","datavalue":{"value":"choice function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391426$E9DF6218-EBFC-47BE-9831-A65DFBBCB826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69235f81b7fc121d83d2998a48a98fe2899f5326","datavalue":{"value":"well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391426$DF5E93CB-69F4-444C-ACB0-D0488053DEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e6f42b4222479b9aff2cead7f2466c39d6d4388","datavalue":{"value":"very tame trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391426$A5612153-C9C4-4734-9081-2D5AB90777EF","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":"Q4391426$0DF536A9-E9E4-428E-87F9-212ADA881475","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"008df044c70ecc79b7b8e06d5dc1675c5a164578","datavalue":{"value":"W2059001666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391426$A6EBBC02-9195-4DDB-9E58-E43C4532E442","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391426$A62A5F80-4F97-42E4-95EA-DBABEE7874FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f351771d4a4383749827af0e39bb9acab55daf30","datavalue":{"value":{"entity-type":"item","numeric-id":3128469,"id":"Q3128469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b002505363fa183d70d340e8c5b7a21bd58af3fe","datavalue":{"value":{"amount":"+0.8573064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4391426$9B7C46C7-C0B1-4094-986C-75696F5359C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1856e12d25cbd0c99d9bd7bd3787b32a0a572b","datavalue":{"value":{"entity-type":"item","numeric-id":5907239,"id":"Q5907239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851f0fd86bb558854917143b34e49b9a2cb9d765","datavalue":{"value":{"amount":"+0.77155936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4391426$5B8B8082-7623-407B-9D26-8C7FC9752F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201f5181fc7f5d91e16d0414daa7cc31841b5249","datavalue":{"value":{"entity-type":"item","numeric-id":4509902,"id":"Q4509902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabfe7c7d762883ca9110a01513061fc368eb1ba","datavalue":{"value":{"amount":"+0.7694953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4391426$38D3CFA2-7A68-4541-8A6D-0CE0E11ECE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e856a8e5fd147841c933bc93013457b0b56b3d71","datavalue":{"value":{"entity-type":"item","numeric-id":1372940,"id":"Q1372940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8b5e1a670e202727a6d6e327051c4e2aadc587","datavalue":{"value":{"amount":"+0.751605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4391426$128E81A7-4349-417C-B0BA-D05224B2B2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994926048596dc2ac551a8625ffafd538e4def76","datavalue":{"value":{"entity-type":"item","numeric-id":1463942,"id":"Q1463942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60a16ab02b61369eb5a8b997d9b30edee6f0336","datavalue":{"value":{"amount":"+0.74778193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4391426$204C38B5-02A0-4146-9409-3164E9142792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624af337308dca76a0ffaa7ad38e16ec4b81f826","datavalue":{"value":{"entity-type":"item","numeric-id":4002196,"id":"Q4002196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06db44ba19e5768d4898123e80b33a7f6c4f90c","datavalue":{"value":{"amount":"+0.7453162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4391426$2E4E2413-BBA7-438E-BDA1-507CF45F4695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e9fc49e8090012c108d5431091e15bb85290e9","datavalue":{"value":{"entity-type":"item","numeric-id":1834564,"id":"Q1834564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d26373c2e214e3a7dd12b4615dc4a4defc1dd6c","datavalue":{"value":{"amount":"+0.744239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4391426$ACBB58DC-9257-4350-B471-3D818A2E6943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5aeb42f86f499aeee96afc6c85ea13c44cb91ad","datavalue":{"value":{"entity-type":"item","numeric-id":2593898,"id":"Q2593898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47af140758e3b21604c32c662ef658ffb662b662","datavalue":{"value":{"amount":"+0.7397749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4391426$9F6225CE-8B32-428B-A62A-12A346D57A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45221ff3818bf9cf94a78b517fae53f040d0afbd","datavalue":{"value":{"entity-type":"item","numeric-id":1123187,"id":"Q1123187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01b0f8cc3783ccc36a75415ded8bc9d4828718d","datavalue":{"value":{"amount":"+0.7390178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4391426$880C24EE-E5A2-4293-BE31-13ACCD9629B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773355da3282ca28268bfdb05dd1c07a99c493f4","datavalue":{"value":{"entity-type":"item","numeric-id":1470426,"id":"Q1470426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18df3b71f859a9ab9943523178dd18722bc706f0","datavalue":{"value":{"amount":"+0.7381156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4391426$B84D1840-CEC8-4E99-9772-1CB0D4353CEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniformization and skolem functions in the class of trees","badges":[]}}}}}