{"entities":{"Q4635820":{"pageid":6665401,"ns":120,"title":"Item:Q4635820","lastrevid":89906387,"modified":"2026-06-04T18:35:03Z","type":"item","id":"Q4635820","labels":{"en":{"language":"en","value":"A complete axiomatization of MSO on infinite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863405"}},"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":"Q4635820$EC5146DD-CE50-443E-88E1-15D7C371D0B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"275b9b13d0c28da4cfa7056beea555aa1e020f25","datavalue":{"value":{"text":"A Complete Axiomatization of MSO on Infinite Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635820$7FE7B28D-AB39-47B5-B2BE-D165245AFABD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eea8a5809c0f9e902fd2efa4575329af433bf920","datavalue":{"value":"1394.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635820$8F221491-DF12-4083-B9AC-A7F0A234B06F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86dda08dae301f85cb505ee910ccf6e1727c0181","datavalue":{"value":"10.1109/LICS.2015.44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635820$6159DF6D-132D-4BD5-B104-06327974B931","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635820$C1D47E75-6185-4C87-B5E8-23BF7FA0AB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1fc50a159907b8dc1c70f03396294da532f8687","datavalue":{"value":{"entity-type":"item","numeric-id":987975,"id":"Q987975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635820$B226B2F0-4927-4E40-9EFA-A1F3C6ED38C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635820$8FF8F6FC-8B92-4506-884C-0B867B618815","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q4635820$5D8A49E3-68EE-445F-908C-E5F475F03DC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635820$8C88BC12-E14A-4513-8B5C-19F2355EBB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635820$C0E8F283-EB06-4956-85C0-9B0375D3CC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635820$814AB637-25C4-4AE2-8593-636025FC62EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4482a8d34af79f41d5a13727db52cc3723ad30a3","datavalue":{"value":"6863405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635820$3B51B77F-1FA4-4FB4-8835-2273C17505EB","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":"Q4635820$9A34513A-FE09-4480-BC1E-69B600D39D7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06e640ae7e7dca7d77f5f7438391dda53aaa1664","datavalue":{"value":"https://doi.org/10.1109/lics.2015.44","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635820$47BFA9FA-8832-46D9-A673-19B111CCAC21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a39ac543ee2ae56a5e85664c2d4150d80de2a345","datavalue":{"value":"W1493991352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635820$81E602B9-B32F-43A1-B508-4D599BC4A364","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"61078c6fbcc4ce32c667125b82f2cc81ceb16a48","datavalue":{"value":"Q130967615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635820$6F0AEB75-54C5-4F81-B42C-A3FDFADEBD22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62d78197947027d933cebda936a26cc6799f188","datavalue":{"value":{"entity-type":"item","numeric-id":2915178,"id":"Q2915178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c0ab627e4f680f10def6bb181bc450959e6048a","datavalue":{"value":{"amount":"+0.8126429915428162","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":"Q4635820$30FE162B-73F1-43B8-A97B-7100CCAAAD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73edb5d3633f1301a06c71bec46f4428066e82d2","datavalue":{"value":{"entity-type":"item","numeric-id":3608411,"id":"Q3608411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f541f0f8548208a233f7e100e8631bbd4d5a74","datavalue":{"value":{"amount":"+0.7879868745803833","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":"Q4635820$6FD0FEF9-7628-4CE6-977C-D4A813DC41FD","rank":"normal"},{"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":"2dcaf50e7a8153dd29c296298ee4c6862f3a2477","datavalue":{"value":{"amount":"+0.7829739451408386","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":"Q4635820$27A89EA3-DEA0-4674-B215-7E8F5768B29F","rank":"normal"},{"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":"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":"Q4635820$44F29C9C-A47C-4F09-BF27-B27EEB41D1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6954d036613e2abc87d7216850fcfa41d472d99d","datavalue":{"value":{"entity-type":"item","numeric-id":3787993,"id":"Q3787993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b38781219dd2b3482caeecee3b93ed0423b4db","datavalue":{"value":{"amount":"+0.7599905133247375","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":"Q4635820$6C414BB2-0ADB-4AD4-AB96-0F3FBA337392","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete axiomatization of MSO on infinite trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_axiomatization_of_MSO_on_infinite_trees"}}}}}