{"entities":{"Q1006492":{"pageid":1008340,"ns":120,"title":"Item:Q1006492","lastrevid":66563841,"modified":"2026-04-12T10:58:15Z","type":"item","id":"Q1006492","labels":{"en":{"language":"en","value":"Inessential features, ineliminable features, and modal logics for model theoretic syntax"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532539"}},"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":"Q1006492$A3D8A3D0-24B6-48DF-9E0D-16B1D9873402","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a0e8fc5592a450864030d1d8cf9f2244342b91c","datavalue":{"value":{"text":"Inessential features, ineliminable features, and modal logics for model theoretic syntax","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006492$81BC50DC-78CE-4022-B495-5D91E0A9608C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83e3fd3d09201a4a558822e17144de83e78a195e","datavalue":{"value":"1192.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006492$D013F882-9DF4-4D4E-9F6C-F48AA14608A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3064575da4877bf696a434ef47a3763f93ecf52","datavalue":{"value":{"entity-type":"item","numeric-id":1006491,"id":"Q1006491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$8379092A-396D-4A00-9578-911C972A512D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$F00722A0-5555-4100-889A-D592467E4173","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-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":"Q1006492$80CA686B-5D8A-4314-BE72-A293AE3093E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce4008c579ec6c467585b663c1e8c21f08325ea6","datavalue":{"value":"This paper further develops the theory of model-theoretic syntax. The author looks at various modal logics for trees with the aim to reach a better understanding of what is a good logic for the formalisation of grammatical theories. The focus of the paper lies on the notion of an \\textit{inessential feature}, that has been introduced by \\textit{M. Kracht} [Lect. Notes Comput. Sci. 1328, 43--62 (1997; Zbl 0896.03023)]. The main result is a generalization of a theorem by Kracht [loc. cit.]: Any tree language that can be defined in a stronger logic, but not in some weaker logic, can be defined in the weaker logic with inessential features (assumption: all logics involved are weaker than MSO). The theorem is a consequence of a theorem by \\textit{J. W. Thatcher} [J. Comput. Syst. Sci. 1, 317--322 (1967; Zbl 0155.01802)].  This shows that the various modal logics for trees differ precisely with respect to which inessential features of trees are eliminable or not. Furthermore, the author argues that the logic MSO might be too strong as a logic for formalizing grammatical theories, because it allows for the elimination of all inessential features.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006492$46F2DA52-5FF3-4BF9-B258-5EB96DFF4741","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"20ea4d830b8858745f047ee58c909a25f2934f0a","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$C1E06FCE-DF0D-4A42-A051-78D1265B3FDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006492$8B1665A0-E7B4-45FD-9062-2179E5483622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006492$A1B94B50-2E62-4683-B855-02E272286586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006492$4D0A09A3-9C9A-46D8-9D99-91147837A914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b0a22587432575dd8ab8708980328a5eeb487a8","datavalue":{"value":"91F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006492$2298A8FD-EFF4-4F20-8868-C73AF95DAB52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4976f6f1e6fdf6255f97c3efad75a847d5e6ed6","datavalue":{"value":"5532539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006492$9767F1AB-BF95-4448-9DB3-4EBEF504923A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86589ce8d4ac9a576aff5cc8d72f0756f3a589fc","datavalue":{"value":"model-theoretic syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006492$0A4E2272-5DFB-410C-B254-CF90A80D8EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006492$048F2F2E-6AF9-4A9C-8AC7-9541599FC077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006492$F3283D72-781D-499D-9FBA-1E00F7A7D1EE","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":"Q1006492$186513CD-493B-4E2D-9BD4-6433F5877C8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c88ff158787bcdccbe384c82007192c46c50bc4","datavalue":{"value":"https://doi.org/10.1007/s10849-007-9052-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006492$C9B030C8-5766-4D35-9D9D-737DDEA0FBFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbf08f1c5a1b77c030c329bdf6ac7e48000ed97b","datavalue":{"value":"W2021857564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006492$387B2CA7-63DD-4D70-9D90-989012014BDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7100939e80fb0008f871bed9e74270a1795a9ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3647225,"id":"Q3647225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$9E26803F-FD51-421D-9368-F819A68E2384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e869fe0e80823931cffe4dc4533c23f1d73a2f09","datavalue":{"value":{"entity-type":"item","numeric-id":4318160,"id":"Q4318160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$34AA46BA-E4C6-441E-8402-8E853DDCA0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$E3B4B22C-FD91-4544-A6EA-C986DAD5F10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a516f305009742de128b475e72a5a116ea14c3fc","datavalue":{"value":{"entity-type":"item","numeric-id":4370234,"id":"Q4370234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$66CF5F1A-87B1-41FF-8632-B2525E87394B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$755E00D4-1FB7-4334-A81B-9B598CC7D404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128e1be7ab036daacb4a6a6a09d7185461b18969","datavalue":{"value":{"entity-type":"item","numeric-id":4329243,"id":"Q4329243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$A36C366C-556A-40C5-A41A-C2A9540D2237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e35786e2ad0b61df16849941a2903b1a0016db2","datavalue":{"value":{"entity-type":"item","numeric-id":3409073,"id":"Q3409073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$9EF34721-77F1-438A-9FE4-840BAD5EBB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$00E891B3-BC74-41F9-A3C6-86BD0615FC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3a90e306838b6e6d65d42e153ecd16b66df16d","datavalue":{"value":{"entity-type":"item","numeric-id":1325850,"id":"Q1325850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$F185981E-28FB-422A-9EFF-78A6F6176BB3","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":"Q1006492$06184746-FB37-4120-B51A-0052155F10A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feca38d845d64204316e8ec42d19347ecdb9d1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2757841,"id":"Q2757841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$56920A0C-2E90-4340-89F8-217A793563F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d9bb800b743b77d57462b11935076cb25beb4","datavalue":{"value":{"entity-type":"item","numeric-id":2526960,"id":"Q2526960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$268DA1C1-50E5-4D36-BDFE-4D3D73AD331D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59293eeb5b02bf53fbf8f0878a16024c278a1bec","datavalue":{"value":{"entity-type":"item","numeric-id":5592253,"id":"Q5592253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006492$12E80A1C-DD0C-4556-8182-D71BFEAB08B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6b2d0aa11c90b34c83c12897fcf8262fe2ab2d3","datavalue":{"value":"10.1007/S10849-007-9052-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006492$0FA64B54-C5D4-4FB6-B17E-654918C9341A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6fa6670f3e8897b6789f76edd8d4a76d31525df","datavalue":{"value":{"entity-type":"item","numeric-id":4917997,"id":"Q4917997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1826c4b6ba63fa5fd749342f5d3ed15a92c79e","datavalue":{"value":{"amount":"+0.7129548192024231","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":"Q1006492$557778C9-A1B6-4C8D-AA72-D07BC9B32106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9916f89802e9e9c0e46bce54a93e8efdf0b8f84","datavalue":{"value":{"entity-type":"item","numeric-id":4318160,"id":"Q4318160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8168c1bd6208338e9fad6bc6a3688c1501d8ffe0","datavalue":{"value":{"amount":"+0.6783621907234192","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":"Q1006492$CEEAB1FA-A295-469C-8134-6B548529CBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5a836b22ad73648dac6bd02c279be48aec1afb","datavalue":{"value":{"entity-type":"item","numeric-id":4370234,"id":"Q4370234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8190b6e2417face1bfc435efdb1d8b2dd437f426","datavalue":{"value":{"amount":"+0.6732501983642578","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":"Q1006492$5389C158-544B-4C8E-8CF3-DB02E4135FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb0f157cfb74ddc742a4a7a7758fdf568e68039e","datavalue":{"value":{"entity-type":"item","numeric-id":4329243,"id":"Q4329243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789ae9b53547a3bf91957dc2cb7de50a2fca7975","datavalue":{"value":{"amount":"+0.6702326536178589","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":"Q1006492$0486480E-1EB4-45BE-B264-C74171849A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7443dd02829e911d0f4c1d4d823d30e1cd49590","datavalue":{"value":{"entity-type":"item","numeric-id":4394917,"id":"Q4394917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da046d381c2422c2b42ba6f34c1f29a2e74fc48","datavalue":{"value":{"amount":"+0.6563072204589844","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":"Q1006492$F21BC2FB-6555-482D-A991-E2DA0D67E746","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inessential features, ineliminable features, and modal logics for model theoretic syntax","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inessential_features,_ineliminable_features,_and_modal_logics_for_model_theoretic_syntax"}}}}}