{"entities":{"Q3086934":{"pageid":3097649,"ns":120,"title":"Item:Q3086934","lastrevid":86173070,"modified":"2026-06-03T15:47:16Z","type":"item","id":"Q3086934","labels":{"en":{"language":"en","value":"Counting in trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872399"}},"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":"Q3086934$F85433AF-2250-4609-843E-C15599DF3D89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"588fddce4c1c8fc3cb293bf79638cc6f416e0d76","datavalue":{"value":"1226.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086934$164C2E84-056F-4D37-BFE2-2B5A8F8995C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086934$C541D417-6FA4-4E4E-B625-8783CE6BDE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a30c2c13b8e433f8b7509914fc24c7510ae2c202","datavalue":{"value":{"entity-type":"item","numeric-id":208764,"id":"Q208764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086934$5AE466C1-D56A-4F2E-9FFC-035D4731B731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086934$CE915B20-2843-4316-926A-814F24DD0FCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086934$1F538002-B969-4B5E-A694-FA3288FB48B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086934$946C393A-3168-4286-9F2D-3876B85811A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086934$8E3323EA-B7AD-491E-81AB-EFB3672BBD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086934$E8B96A25-A8DD-477C-861D-6E610FCE7FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086934$C4982C9A-240A-4271-89AE-1338A9E60130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086934$B66C738A-A1DA-4B3F-AF49-8F032ADFD226","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77681d1ac08323a743a7e896ba06949a4ae1da92","datavalue":{"value":"5872399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086934$6A4FE7F5-780E-4B17-96DC-8E8D697C15D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086934$5B4A5832-535E-4B08-A1D9-A523892DB56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086934$C2FB1244-FE06-452B-BB04-E23F25B603E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c83cce0405a1ac1a224c1ee76ae11be8d175baf0","datavalue":{"value":"unranked trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086934$0B8C08FA-807F-4455-8CA0-69DF92AAE010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d2d4fa44e756b5d3a3c623c6c359244682fd821","datavalue":{"value":"Presburger logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086934$E6FFC574-3F33-452D-B7B1-C7CC125FE2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d418ecd301a07d5b79424baea5ab6179b137cdfc","datavalue":{"value":"Presburger arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086934$FB3DE2D6-D8F4-448B-B8F4-0C6E7354B1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086934$E8D11F94-DBAD-4CCC-821A-D8C02CA485ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2baa565f2f6e404ad2d47723b10d9eb8c186122","datavalue":{"value":"fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086934$D039BE16-C6CF-4B43-BFE5-440F92DFA701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086934$1D1711AB-9096-489E-A7CF-C21B14597C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086934$FD8F018C-9E43-4E36-B3F7-45D7B74F7067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557fc20e1cde6db6856c52912c38558653037ec5","datavalue":{"value":"XML","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086934$B33DD869-28F1-4C08-BB06-F6B91A34E671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b089b06f0cc77ca1cb2aa0a815b20bf421cb6ce","datavalue":{"value":"queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086934$D7439474-09BA-4D38-999D-F4AD398BF280","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":"Q3086934$66AE6286-5ADE-4FF6-BC31-54E97759DCF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fef48ec3065f264ada8ee9e0786c872885653eb","datavalue":{"value":{"entity-type":"item","numeric-id":5466544,"id":"Q5466544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c1d8cc32cc3faf3af1cdcb622e9519b245c21f","datavalue":{"value":{"amount":"+0.8752008676528931","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":"Q3086934$5CE92273-3FBE-49C1-A487-7FF3E6B2266F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ffd5d1fbb17674481d5841521338ff98cb1067","datavalue":{"value":{"entity-type":"item","numeric-id":5703872,"id":"Q5703872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1184125c0d7bc074fbb86e0c2cda0d7a58e900","datavalue":{"value":{"amount":"+0.821744978427887","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":"Q3086934$02FB9917-D749-4F7A-ABD4-58B53C54A71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e2b016878efe539fd591bbe90dd88571a11e2ce","datavalue":{"value":{"entity-type":"item","numeric-id":4979448,"id":"Q4979448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd336415c9a6f476f950838d47ede7d53d99bcdc","datavalue":{"value":{"amount":"+0.8185005784034729","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":"Q3086934$7A560256-2772-467F-BBF6-C65B75CCFAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7df9b2f9af899fdb3f656f07bf71579032f1ca9","datavalue":{"value":{"entity-type":"item","numeric-id":4417868,"id":"Q4417868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b03212d854f1a7e563f14c64869225f8eca2fab","datavalue":{"value":{"amount":"+0.8163349032402039","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":"Q3086934$1DB82326-0ACA-44B0-97CC-0FFB922D194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4d5458cc2791c1dea3542f115586deabb9b709a","datavalue":{"value":{"entity-type":"item","numeric-id":1770418,"id":"Q1770418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fcb0833cc359a0c3cdabedee0b89866069926a1","datavalue":{"value":{"amount":"+0.8144667744636536","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":"Q3086934$F768B7E9-10A1-4AE0-A447-ACB3EDA0E665","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting in trees","badges":[]}}}}}