{"entities":{"Q3605529":{"pageid":5635435,"ns":120,"title":"Item:Q3605529","lastrevid":50576849,"modified":"2026-01-14T11:10:00Z","type":"item","id":"Q3605529","labels":{"en":{"language":"en","value":"Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510291"}},"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":"Q3605529$1843F2F5-8489-4796-A66E-2A18BC5004DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f6aa9fb60ddba07acdfc72bf4210ada5f7a4505","datavalue":{"value":{"text":"Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605529$A65B4ED1-2C4C-4FF5-83E8-BB77EF24D3CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b5fc505429653169ebaaf2b672c0c37dbbba54b","datavalue":{"value":"1211.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605529$D7F7112D-4263-4F1A-9CAA-D41DB88FEB18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1fc52703e2fa3836796bfdfdf1b877ade565e63","datavalue":{"value":"10.1007/978-3-540-92687-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605529$643ED191-70B3-4FBE-A080-1E442E7A774A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a92956f3d5969caeb4388629cbd8b7b3db17345c","datavalue":{"value":{"entity-type":"item","numeric-id":269318,"id":"Q269318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$89E1E99F-3A2D-464C-AB4E-9E4A20D16B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$8AE40020-843E-45E9-9707-823EE6CC0DD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$EBB36D24-7EFE-4E0E-8173-395B4510C69B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3605529$64EF931E-71E4-49B9-A140-F405139EC19C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605529$A3374D53-5FEA-451C-88A8-925191ADC5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605529$77802258-7257-4C69-8EAC-A99B96E00A81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcb24746e5b6ba405514dc7c5515c56b4aeb931c","datavalue":{"value":"5510291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605529$05199E22-55F7-4ED3-9427-CCA7D426C97F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d73370bca98b245fc04a970fd8098b8719db8ad2","datavalue":{"value":"Trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605529$127A7E1F-0B77-43DB-83F3-C2D3C82CB026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db076949f7357bccf99eaefab620c7127246057","datavalue":{"value":"Axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605529$2B8E269A-8217-49C2-9687-DA0FA381A392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"014bf4bc8c93ad77b8a537490ab75fdc61a3aa1f","datavalue":{"value":"Fragments of MSO","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605529$E637BA3F-4FE7-4E20-B2F0-C701F9B8C137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99b10d223c8f468850eac937c80c61cd3d1c484","datavalue":{"value":"Henkin semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605529$9AC10C25-98E4-4CEE-8638-9A52EDF9D2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605529$D014ED5E-C1DB-4FDB-BD13-4AF1F14D1DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6904922e9ce95b8246f5f28f3cfbb1c35f7e7f66","datavalue":{"value":"Feferman-Vaught theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605529$04AAC724-55D6-473B-AC40-D2F89C0194E9","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":"Q3605529$B82A3E71-6F50-4F17-B232-ED5DC878EA16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e239915c03204ffbfaa4920008b7de3cbc7cc1f5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-92687-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605529$5D178944-2007-487B-A6EF-BF676C2E87EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2611a53ed24591b7663ce3130521f8b49831b04a","datavalue":{"value":"W1771000901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605529$56EF33B7-8CF6-4B6A-AD88-839F580AC47C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb428d447c7624f13a5378e7356a039f4ad0307","datavalue":{"value":{"entity-type":"item","numeric-id":1903080,"id":"Q1903080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$E5ADF792-A99E-4B18-BCD2-B951FA94F3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ef38e96faaf7f9c54a71abbb80fd0c75780eda","datavalue":{"value":{"entity-type":"item","numeric-id":4283233,"id":"Q4283233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$E6A17ACB-ECE6-41B9-A462-BBF87D63CD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c4224fcf08a75cee96ba2e66707b2ecb8b0d04","datavalue":{"value":{"entity-type":"item","numeric-id":2757822,"id":"Q2757822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$D4A49230-D479-4EC6-AD5B-6DCFDDF041CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$65D5E1A9-BC51-427F-A51A-09617A444276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$F1A9D89D-23E1-4F18-9C3C-3CE1B00B1958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8036ca08b863c23ddf593865e2452a13cdb978a9","datavalue":{"value":{"entity-type":"item","numeric-id":5501186,"id":"Q5501186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$3CC7B4BF-D1BA-49F4-A67C-23E353EDEA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98625ed8a97eb6d2931df92b273a7f7a72b6d12c","datavalue":{"value":{"entity-type":"item","numeric-id":4202939,"id":"Q4202939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$17D9A9FD-6BDE-4B0E-ABC0-CDAA0E98924F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$0B55FD77-A9CB-4B5E-A2F9-5861BFB61F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5c0c4777901eee5b9124bf7b958fa327326472","datavalue":{"value":{"entity-type":"item","numeric-id":1770837,"id":"Q1770837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$D9AA9DCB-3D76-418A-8863-375241F2E8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$0AD45B87-76C3-47A4-878B-B99528C717E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$8A910422-0BE2-4478-BA34-ED0D47432554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a957f78a6b45cbeccca03d7db963d61d132baaa","datavalue":{"value":{"entity-type":"item","numeric-id":3086932,"id":"Q3086932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$EB2EB2B8-F93D-4225-B69A-F6540AB29E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0acfabb989ca79bd6f9ae1185a99b0968bcac1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4954002,"id":"Q4954002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$030134BC-D802-491B-A4C3-A457C7338A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad6e145fe177755e0f1f916d3b5bd0c535cd6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2272223,"id":"Q2272223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$F3A5D9A9-3C45-41A2-9DA1-2D3E0041D5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04677ab00fae32d4408aed9695945874a9e5d2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3578193,"id":"Q3578193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$A1281A58-EEDC-4519-92B8-832113E91CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23aa4859f8d746a0c67cc1122fcddc71b87a1e71","datavalue":{"value":{"entity-type":"item","numeric-id":4917997,"id":"Q4917997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605529$5BCC939A-C548-41E5-A929-A92F44427C63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60147acdb76f80d96ac1a2d79702ca8d97e8f784","datavalue":{"value":{"entity-type":"item","numeric-id":4899112,"id":"Q4899112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c1b032275c6f975a4b5c1e0c28402cb5a55fa2","datavalue":{"value":{"amount":"+0.9643315672874452","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":"Q3605529$B5671263-733F-4365-A1E3-F7585FE58696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce12468ca3690b8986f2f1468077a8950b34116","datavalue":{"value":{"entity-type":"item","numeric-id":1903080,"id":"Q1903080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27a0b56fe60f90524f855d801516e210ef2faac","datavalue":{"value":{"amount":"+0.8012778162956238","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":"Q3605529$E4CCE1C8-B6DD-4B39-8D38-820A802D847F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d1d69a103cdc5acbc0913de49dea271881f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc0597e5240f44e528d61f441ff0d31c44307ac","datavalue":{"value":{"amount":"+0.7866164445877075","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":"Q3605529$FE102A50-32D0-41D5-A966-6EA13652CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941e639ace19f42c9531e68ad2de7c8965c8d14f","datavalue":{"value":{"entity-type":"item","numeric-id":5278193,"id":"Q5278193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d423fced58a18f7834632d26096d675fc75c5f5","datavalue":{"value":{"amount":"+0.7837557792663574","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":"Q3605529$2A8DEE56-1FFB-481D-9146-17EF48182750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa6d0b733cb5ca96190eda875b01728ba5e187a","datavalue":{"value":{"entity-type":"item","numeric-id":4635820,"id":"Q4635820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be01b9f1ee3a90e69d60cbd242e2da4b13c5320","datavalue":{"value":{"amount":"+0.7829395532608032","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":"Q3605529$DAC88A83-BB18-4768-969E-94AD1552D264","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3605529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3605529"}}}}}