{"entities":{"Q4647523":{"pageid":6677104,"ns":120,"title":"Item:Q4647523","lastrevid":53320922,"modified":"2026-01-24T17:43:35Z","type":"item","id":"Q4647523","labels":{"en":{"language":"en","value":"An improved lower bound for the elementary theories of trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001915"}},"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":"Q4647523$C2A9525C-4966-4A81-B6DA-595FE13572BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebb8b54de58bb1a84d498b4d5e2c0bb3aa461d88","datavalue":{"value":{"text":"An improved lower bound for the elementary theories of trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647523$244643C1-35C3-43D0-B6AF-6BF4FFA9E5B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"605679a7ddde1d364d215ce5243ab36814611896","datavalue":{"value":"1415.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647523$11F252A6-CBE0-4844-935C-BA4B50CF86ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bc8ec21a9cc6ddf88db0e186a5b146f35111cd3","datavalue":{"value":"10.1007/3-540-61511-3_91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647523$495F79AB-7ADF-4930-828E-00FD31CE4152","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c18b7326edf94536cee0e6ef120eaf509ff310c5","datavalue":{"value":{"entity-type":"item","numeric-id":598193,"id":"Q598193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$AD70B42D-7460-4506-8CB0-CD130A828FF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$1D58E25D-3A40-4C08-8228-F243D01ADE08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647523$B82A8B93-48E0-473C-BF31-541727915CCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647523$21919535-FBE6-4898-8BA1-1BE779081512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647523$749E00DF-7E6E-4BAF-8D1B-3C84AF416695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647523$6EE1C303-E236-4907-9110-C3E1E616DA5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b13bc39f870c7ec7e39d4a283f305c8526b92316","datavalue":{"value":"7001915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647523$CAB112C4-137C-41AB-91EF-FD07B5A7FB7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd39807a6957e12f6a410e4e2f5580c2dd278d0e","datavalue":{"value":"first-order theory of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647523$03C7BEC1-EDDB-4508-BF8F-A4E6D6ED777B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92866b1654af1a662b0f26d63d8a7f6a99d8a2f4","datavalue":{"value":"binary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647523$F133685B-F88A-4CE1-BB4A-19B223D44800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647523$CFFF9C94-847D-4EC8-B65B-2E5C5B242D86","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":"Q4647523$D32F29ED-8953-40F7-B7F0-C14687F3B4D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ee6dbde89e07c445461339cc073606336f2220c","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_91","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647523$0AF990A5-B7FF-47F5-A65A-F467B47C04AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74f4127458b2325a6ea977a1f7f2d5829abbf8bd","datavalue":{"value":"W2096975981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647523$3E5B1712-3D5D-406F-B1EA-A9ED091F5A1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e63a76413eba7790c4bc8bb30047c6b22f2e38a","datavalue":{"value":{"entity-type":"item","numeric-id":1314426,"id":"Q1314426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$080833CF-15B2-4CA2-92C9-C6AD38983D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa0aa916448b6f4435b4c01b98ce8d971940a08","datavalue":{"value":{"entity-type":"item","numeric-id":3125892,"id":"Q3125892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$C5400381-C7FF-487D-B047-68FEBC7EE6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d468fcd4c6482d742a98c1a81ce14aee751ec7","datavalue":{"value":{"entity-type":"item","numeric-id":673135,"id":"Q673135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$EED3B3B2-6D5B-4482-8FBB-BDFDA2CE38E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7368036ecdc0a37886b2f918f49530660780c2bc","datavalue":{"value":{"entity-type":"item","numeric-id":1271569,"id":"Q1271569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$0CEBE506-0854-47E3-A02A-D7F898BE25AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$F8B730CC-D3A7-4C25-8825-4444C26DF94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a419dd7ff0f3d465e478a0d405d767ee1f50956e","datavalue":{"value":{"entity-type":"item","numeric-id":917543,"id":"Q917543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$8F434C2A-FE6E-4455-93A2-29C07D77DADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b866bba96ae151ad3a477a3bb46c2f09c1a0b68","datavalue":{"value":{"entity-type":"item","numeric-id":5596785,"id":"Q5596785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$3D99949A-DAD7-4453-BE1F-033151FBE2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$8B26926F-4698-42BF-B546-13E523CC60BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$672FAAD0-21E1-4B03-80AC-0AE372D9E515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$04FE9A5E-0547-4DC5-B10D-21E23D10050E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$368C9509-14AA-4409-B7FE-A393CA4355C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b82a19190ac54ccd87a58918a70a29fe1833a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4090322,"id":"Q4090322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$7F1E3965-F5AE-454E-9EC6-A43B6F720EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$41E00CDE-CDFB-4DA1-84E6-DABD9F50521A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af525ea1fd445c05898a9991b61369483b6c7c29","datavalue":{"value":{"entity-type":"item","numeric-id":4142696,"id":"Q4142696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$8AC530E2-8DB3-481C-BAF6-9AA68DFF886C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113ff6eb73affe6cf02c8890ede723c2b34e3659","datavalue":{"value":{"entity-type":"item","numeric-id":3992236,"id":"Q3992236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$2C50A69A-F4D2-4C50-930C-E10F33B77851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1faf85769cb356e0c3eb6e02919c1660cde5931d","datavalue":{"value":{"entity-type":"item","numeric-id":4290618,"id":"Q4290618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$E2F03BCC-D48D-4A75-B901-646D411704B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$CB30E317-2670-4845-A449-19F975250242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647523$9DA86695-6835-4B87-B8CE-03886D72B90C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d83760fc8c4eac632fdfbc67f6ca9de08a5c388","datavalue":{"value":{"entity-type":"item","numeric-id":3614383,"id":"Q3614383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518fbed58d54c7da2eb0b4644ad55968935bdfb8","datavalue":{"value":{"amount":"+0.7877748608589172","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":"Q4647523$76743921-F827-43CD-BCB2-E87F1E6DD493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813b9f9f7b7a6c391018508791a67ca2e1bc13b7","datavalue":{"value":{"entity-type":"item","numeric-id":5277702,"id":"Q5277702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d54fca30f62250a7f1f54642e4bcd206d16d3f3e","datavalue":{"value":{"amount":"+0.7656146883964539","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":"Q4647523$219BE69E-7C18-42D8-9545-9611322EEF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123f71d60089e92ea4b54a8e9dca0d1255ab1bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3986920,"id":"Q3986920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a9a4f58a54bec69c1a79b32838449830dcc090","datavalue":{"value":{"amount":"+0.758467435836792","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":"Q4647523$2CC6D767-461F-4673-A705-056C69007234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699a89ee501079ab594ae8f08e7c712e70dd5281","datavalue":{"value":{"entity-type":"item","numeric-id":3514890,"id":"Q3514890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322e039a0312d2954d29dc52300cd008a01422fd","datavalue":{"value":{"amount":"+0.7574717998504639","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":"Q4647523$7ABF6862-0BA0-4F85-B312-D2B4C34BBD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21960bbbf31b9ac04958f134836bc62cdcf36f69","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18927317d1675db123d6216014b9f5bd9d1db796","datavalue":{"value":{"amount":"+0.7542902827262878","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":"Q4647523$44A61145-D6A7-424D-8EA0-E69275822F1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647523"}}}}}