{"entities":{"Q4899112":{"pageid":6928691,"ns":120,"title":"Item:Q4899112","lastrevid":58356528,"modified":"2026-04-04T21:01:02Z","type":"item","id":"Q4899112","labels":{"en":{"language":"en","value":"Complete axiomatizations of fragments of monadic second-order logic on finite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122240"}},"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":"Q4899112$73DE5310-BC66-4448-A771-F61AFC2E6C70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3609f21a2dc77ac209623cc8e510b7868442fdad","datavalue":{"value":{"text":"Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899112$B92AB878-2C02-4A35-B3F9-D4B20A6034DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54af122c94d1494b123b1f9f8e3938d1524f5d26","datavalue":{"value":"1261.03111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899112$95A2DC90-2FDC-4E98-8AF3-D019A023C383","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d4ecafaa95314052fcd0a279e853d557ef007a6","datavalue":{"value":"10.2168/LMCS-8(4:12)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899112$747515AF-E754-48BF-8A9B-9D55E67C0110","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":"Q4899112$96ABCCF3-29B5-43FD-96AF-DDAD90CBA059","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":"Q4899112$1714BCD9-7A5D-45FF-ABD7-6EF9DD582011","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899112$DCDD0B60-558A-4939-844A-6722AC30C279","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4899112$646F2D85-E196-45DB-BEFC-BB9BE9D1E624","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98bf4f9eb3b8d183237dc4e39c797778e49c2f07","datavalue":{"value":"https://arxiv.org/abs/1210.2620","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899112$F355DE40-CF8E-4629-B6BE-D131D58F3775","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899112$336F105D-10EC-436C-A9BC-976043AC772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899112$A7DD905E-97AF-4236-AA46-D3106B693C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899112$958E3C55-D5F5-411D-8406-0FFDB7E70E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899112$99E40824-BA33-4DCD-809B-ECAF408115E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb97e4a99eef933362d2bc5a31ae0008dcf9ef81","datavalue":{"value":"6122240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899112$BE25FFBD-4829-469A-A798-3D698E4AAAF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899112$D1467D42-24A4-4138-BE7E-5DC2E48EB558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899112$07EEBEE6-A759-45FC-9414-F90CDEA9D9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899112$6747540C-4558-4F17-9771-62B4980A8589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ff50aa0be2f38aba22644a2a3ac8d5e50510b5","datavalue":{"value":"fragments of MSO","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899112$69E24E7E-9151-47B0-AC08-1526DDF6475F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99b10d223c8f468850eac937c80c61cd3d1c484","datavalue":{"value":"Henkin semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899112$A7B44BCA-6816-4EE8-93E9-CE89B16004DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899112$CEFE6D55-9734-4508-9ED7-BFEE8DC4D822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf79771632436c5ee52037ae2c9654072a7a212","datavalue":{"value":"Feferman-Vaught theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899112$F3806C0D-F13E-4C27-9969-7AC53ED7447F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899112$97CE698E-E900-4741-84CE-7A8AEA52BA3B","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":"Q4899112$38CC5966-8199-47D8-863A-61536BA3A62C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6088c8a0c1218c259f6b59ccb7f159ab97d0ac2","datavalue":{"value":"W2101754569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899112$D7BF4129-D4DF-42DB-821B-D733302ACAF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57c64afbb1ef20fb5f8402dc493a05430872d70","datavalue":{"value":{"entity-type":"item","numeric-id":3605529,"id":"Q3605529"},"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":"Q4899112$D2E827EF-DB27-4055-B7AB-34C23D8ECAE2","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":"20b5457122ce9495cfd7ca97367e408f86aad70a","datavalue":{"value":{"amount":"+0.8235056400299072","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":"Q4899112$9A6D0322-D19D-45E1-9334-F4966111E2C6","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":"0066e7632d0cbca7b80fde60d1bf965fc46c8987","datavalue":{"value":{"amount":"+0.801307201385498","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":"Q4899112$C4A20539-6F96-414B-B182-B9A50387835E","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":"00ff7cd2e237676f1bcbac5afaa47d724840eff2","datavalue":{"value":{"amount":"+0.7990582585334778","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":"Q4899112$13E79DCB-F087-4F6C-A07A-DE9D956D4198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6415dedb7ef0641ff9cdad256f3ffbe043d58b93","datavalue":{"value":{"entity-type":"item","numeric-id":4593948,"id":"Q4593948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c05fc7ab4aa6a14371b28833ce45b3a715c9f25","datavalue":{"value":{"amount":"+0.7959665656089783","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":"Q4899112$626166BB-2BA2-4307-B677-0479C91A3021","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899112"}}}}}