{"entities":{"Q3514890":{"pageid":5544794,"ns":120,"title":"Item:Q3514890","lastrevid":50409503,"modified":"2026-01-14T00:02:43Z","type":"item","id":"Q3514890","labels":{"en":{"language":"en","value":"Theory of finite or infinite trees revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5303559"}},"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":"Q3514890$943AC201-2FAE-4C1D-8FF8-DC1508BC308B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d53e948a25bad7f3cb46f7c2bad3ad0e3c52049","datavalue":{"value":{"text":"Theory of finite or infinite trees revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3514890$7DCEDC2B-D2CF-445B-B189-3BF9B3DD8D27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c013df30efab964fc2de23d7e3bc75dfdd1ad1f9","datavalue":{"value":"1148.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514890$B7BCC2BF-58E6-4B76-A228-F8B4BE36802C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c4ca9213f0c94bed365bd090b9bd5c8f7e4f6f2","datavalue":{"value":"10.1017/S1471068407003171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514890$15A81725-E393-4194-B791-A0F78A77F1D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3fef7deccd0656d7d161320bc2e1c8f9a52e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1044228,"id":"Q1044228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514890$C0B04DD6-9028-4824-BEF8-51C9B4F69C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ec6fd0af83204636aafde916670745fa2a6dd12","datavalue":{"value":{"entity-type":"item","numeric-id":511764,"id":"Q511764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514890$1842A885-DE1F-4054-B3FC-B1073956EC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ca7df9d8e8b1ae65a92a26ca7eedb3253fec77b","datavalue":{"value":{"entity-type":"item","numeric-id":679328,"id":"Q679328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514890$36094E66-AFC7-47DB-BD83-C5BEA3B167AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514890$563A9405-9D29-4AF6-8196-D6A07AB5A4ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34837e8019a360fe7a4b533492a0dc4532313290","datavalue":{"value":{"time":"+2008-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3514890$D8CCF21C-F0AC-453B-8D89-A1A90BC5AF98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514890$227D795A-B35F-4DC7-A6DA-E05129C1B904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514890$89C3B396-DD15-4085-9112-5C851011711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514890$9C76CC0F-4505-4F36-B23F-DF79C020AEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514890$6D145889-66F2-4EA8-9BF9-52E223B92428","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bb3dda6c33a02a92cc9299115f6b5f7975f3249","datavalue":{"value":"5303559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514890$E78E18EB-0784-4330-BF13-1D8CD402DECB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb01d0fc8ef79380da2535e44f2fa829cb8db80f","datavalue":{"value":"logical first-order formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514890$1BD651CC-FB4A-444D-AD57-7934CEFA6BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b78d951e80f1b8b94bb630a94e58c4485d97d45","datavalue":{"value":"theory of finite or infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514890$500F884A-DA08-4DBB-9DB5-0E1171674A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9248e17cc9c9a1eb8dd69f3794c59d14740761a1","datavalue":{"value":"complete theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514890$C972BB0C-1570-4A85-ACC4-A97DF4CEC802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237bb64abe07c31904fc0e8e2ddf2df232747977","datavalue":{"value":"rewriting rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514890$5BE2902A-8B9B-476F-BCDE-FD25CD788B5C","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":"Q3514890$C6426EFB-3EDF-46CA-B24B-BEA2EAB6FEC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514890$8A7D711E-5A03-4CD2-B64D-CCE7DAF09CEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be264367db8026ea0cbdded388c5e0deda9a5d","datavalue":{"value":{"entity-type":"item","numeric-id":5302901,"id":"Q5302901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961b94cd70ba3609fedc5fe520ab65e60b298ae6","datavalue":{"value":{"amount":"+0.8233504295349121","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":"Q3514890$A0671AF9-0FB4-42CC-BA05-6B5F3052C5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224e00451bf9a1744fc6ccb895ff1dd60fb8e619","datavalue":{"value":{"entity-type":"item","numeric-id":3608448,"id":"Q3608448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec74bbe82c754a3dfd52cdb495014fe3c17a681f","datavalue":{"value":{"amount":"+0.8231152892112732","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":"Q3514890$0FAE467B-07AA-4D1B-938D-F9069A329943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bc6475ae51d03eac437dfd9066756b2ac537b01","datavalue":{"value":{"entity-type":"item","numeric-id":5449619,"id":"Q5449619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5891a0eeb7b52ab4b5a38a0b2612014c99e00d4","datavalue":{"value":{"amount":"+0.8099272847175598","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":"Q3514890$38E7EDE9-0325-4EDC-BC04-47DC4D197297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e6051425323a8564418781ee1759d5f8f1bce8","datavalue":{"value":{"entity-type":"item","numeric-id":1424767,"id":"Q1424767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369a5092780dcf735d7d15a0e85de8fd38f0dcac","datavalue":{"value":{"amount":"+0.8080479502677917","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":"Q3514890$7A8911A7-4388-4FA2-A609-392B436D2FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e671486a7d653c0e9236a46e059a05fe1e2b358","datavalue":{"value":{"entity-type":"item","numeric-id":5491895,"id":"Q5491895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ee5c277cf48112a133c254582d757f473a023c","datavalue":{"value":{"amount":"+0.8051589131355286","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":"Q3514890$323B96AC-6DAA-4157-9A63-789EB339B816","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3514890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3514890"}}}}}