{"entities":{"Q705058":{"pageid":706907,"ns":120,"title":"Item:Q705058","lastrevid":63759876,"modified":"2026-04-11T15:21:38Z","type":"item","id":"Q705058","labels":{"en":{"language":"en","value":"Axiomatising tree-interpretable structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2130941"}},"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":"Q705058$47246E2C-FE5C-4FDD-B1DE-734468DD7448","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c4bd6bb7e4751b8e4b2ae0d9445fcf3192787a1","datavalue":{"value":{"text":"Axiomatising tree-interpretable structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q705058$07E36519-0686-48CD-8DB5-F92DA1D9830C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8699cd7af7ba9ac7a586b7bfe3b406092162c7e","datavalue":{"value":"1070.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705058$6E935795-D183-4C92-B3AA-7355C7A84F07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26358bd283f1431ccbb150a944f50fa9cf84f8","datavalue":{"value":{"entity-type":"item","numeric-id":420849,"id":"Q420849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705058$7AFDA5A9-31CE-424C-A72E-55D2099673AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705058$F80C1224-E08A-4715-B1C0-D2B9DE96006C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1590bd54b214ce942d11ecbfe0ede26ab9b97ec","datavalue":{"value":{"time":"+2005-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q705058$85938A0A-21C3-43E1-9CE4-6746906B3297","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"94f070d63cf5f9546f5ab43c6a6139513acb04fd","datavalue":{"value":"This paper is a new contribution to the study of the algorithmic properties of infinite structures. The topic is motivated by several problems in various areas of computer science. The author extends the notion of a prefix-recognizable graph to general relational structures by introducing tree-interpretable structures. The main result is that any tree-interpretable structure is finitely axiomatizable in guarded second-order logic with cardinality quantifiers, but also several other results are obtained. Moreover, the author poses some open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q705058$3D4001FE-04ED-458A-A80E-0D1C70914DBA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705058$4B0B1D1B-9A66-49ED-B90F-185F83E2FC9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705058$7DDA358E-5BAD-46AA-8D14-FB64EA847680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705058$47E21632-B758-4528-BEDC-41F03918AD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705058$84EDED1C-C3CE-4DAA-8F3F-B6443C6BE7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705058$F71C8518-E6E0-4402-A62A-5F386D3C9239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705058$9019747B-C3D6-4F01-842E-6AA19BCB2263","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaa4f325339d87326a647d16ad4930ed01643e33","datavalue":{"value":"2130941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705058$16284B0C-194B-45D5-BA05-CABA583D272C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4e3175fff9f957483c703e4e2827eeb53221d2","datavalue":{"value":"finitely axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q705058$10878B3C-AA46-4499-A742-E42063F319D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb45a366c5f73694d4193741149731f4b28dce52","datavalue":{"value":"relational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q705058$F65F44C5-F8FD-439E-A831-145D8BAE3EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q705058$0CA60723-679F-4CCF-9204-2F211FFE9BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q705058$1DC2AF49-69C4-464E-B1F7-FB4CA8972214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fadeb303585ca123830aa0297bf6032fec1818b","datavalue":{"value":"guarded logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q705058$1D449953-95D8-47FD-92B4-CE2F09F29504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b908b98324841bb6b546054499be1d44695ce8c","datavalue":{"value":"cardinality quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q705058$55989DD8-8C6E-41D6-80A9-1027D8BBF46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q705058$BDDF0616-33D6-415A-A669-BD86CEBA25FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q705058$8E3F42FD-CD5C-40E8-8EAA-F0B8D7AF56EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6080f8e7c84da0dadf47c4a50385deaac5bbbba","datavalue":{"value":"algorithmic properties of infinite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q705058$9FB61055-33B3-4D66-8900-A1EFEA94DBFA","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":"Q705058$1BE72646-FB9E-4A43-9671-A2E50C34CFD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc80ebce969c094cb278c8c570dc4c1c057b1eb3","datavalue":{"value":"https://doi.org/10.1007/s00224-003-1104-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q705058$A25FD285-DB5E-4A62-9621-621DCAC9E4CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33efcf69e02f0ba5f1d3b063202b616a572344e0","datavalue":{"value":"W2001017256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705058$2E917ABA-C783-4985-A185-A65C48CF66FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0b356513fffe811aa3ba7c49e918a367a09eae0","datavalue":{"value":"10.1007/S00224-003-1104-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705058$073D3A44-5460-41F8-B195-7F83E88486E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d32f74288d7848c9f08a0073068efdddd72d1b","datavalue":{"value":{"entity-type":"item","numeric-id":4736874,"id":"Q4736874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705058$21B06EB4-A49F-47D8-A556-B021D39524AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c751198a8a50c07031f79a530cea0627b554c11d","datavalue":{"value":{"entity-type":"item","numeric-id":5878903,"id":"Q5878903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b957e44bcbc8b28b3a17be23a6d1f971ba0461","datavalue":{"value":{"amount":"+0.894596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705058$A020126A-8E92-45E5-B5DD-10C1C6DB6A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c047b2e7a6b97118518cc59f4a171e82b0186d","datavalue":{"value":{"entity-type":"item","numeric-id":1389439,"id":"Q1389439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b957e44bcbc8b28b3a17be23a6d1f971ba0461","datavalue":{"value":{"amount":"+0.894596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705058$2746AF6F-7843-4A5C-B8EA-144DEAC60247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4d6f506e0370c531ea04d2d4e82518031d6ba5","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb3b1a387593a934971936c5b6832318daa3da9","datavalue":{"value":{"amount":"+0.8827822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705058$ADDA7110-9E7D-4097-9D6C-F2AC79BF9265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"815bdcd06ea706d418ed71abdb359e2f0ffd4822","datavalue":{"value":{"entity-type":"item","numeric-id":6088316,"id":"Q6088316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91677bacb3f3660b53dbb3ef87e344060689e5d8","datavalue":{"value":{"amount":"+0.8820365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705058$823C1DEB-90AF-4046-852D-7C3208C7838C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"566ea4f2aeec5f581622d44c476cf94ccb62156e","datavalue":{"value":{"entity-type":"item","numeric-id":4273669,"id":"Q4273669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93cf5e02c342253ad53081307669819d33445e9","datavalue":{"value":{"amount":"+0.88129556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705058$B1762D9A-8BF8-4478-A0A8-9C5DE51B5302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27b570b08caf64805665ad5d626e0965e16c643","datavalue":{"value":{"entity-type":"item","numeric-id":4649564,"id":"Q4649564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29dd7f96c4834f295a7449f605422f984d94e405","datavalue":{"value":{"amount":"+0.8698796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705058$6894FC58-6E2C-4956-A64B-BB4D6E7A7577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5083753bf260d61b5a6fa107934ed35597b5f772","datavalue":{"value":{"entity-type":"item","numeric-id":2890201,"id":"Q2890201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff18b3d2a89dd52db8a18950815eeec223b44c9","datavalue":{"value":{"amount":"+0.8684292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705058$2C0A45AA-3496-4711-97EB-F818A7FBCB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96303c3696c995be4e5a1728ef64a53b9953fef7","datavalue":{"value":{"entity-type":"item","numeric-id":4273661,"id":"Q4273661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3363d0878650e66a8156b93ee2eccd865f2a71a","datavalue":{"value":{"amount":"+0.86624444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q705058$5856E03A-DC66-41F2-99E1-7552A916A4A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatising tree-interpretable structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatising_tree-interpretable_structures"}}}}}