{"entities":{"Q5246725":{"pageid":7276293,"ns":120,"title":"Item:Q5246725","lastrevid":58498182,"modified":"2026-04-05T11:49:23Z","type":"item","id":"Q5246725","labels":{"en":{"language":"en","value":"Kernelizing MSO properties of trees of fixed height, and some consequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6428628"}},"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":"Q5246725$AA903214-CCAB-4C88-97BC-B164F1E96243","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40971924e45864740298a25f44449de905870ddf","datavalue":{"value":{"text":"Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5246725$B6E55B45-3D4A-4AB9-AAEC-715C418370A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1eb9fa3124ed1f37fd3809d02caded401a44f26","datavalue":{"value":"1392.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246725$560E2009-AE2D-4E93-8607-44560FB0BEAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5329faef9ba1e74b9ca2deb38de35413c616370a","datavalue":{"value":"10.2168/LMCS-11(1:19)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246725$30EE2795-1888-4738-9BB8-CAF4DC659FB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a33ff321cc56708124a2bb2e3e999c74f6be77","datavalue":{"value":{"entity-type":"item","numeric-id":340578,"id":"Q340578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246725$0707BE9F-128D-4C5E-9D90-30B80ECD0B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f97addcae0de185068af846d9968c1df864cbf3","datavalue":{"value":{"entity-type":"item","numeric-id":175586,"id":"Q175586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246725$A9B4BC70-4FA3-4748-838C-4454DFED3A5C","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":"Q5246725$469F465C-9B44-4DEF-B260-29E04F14FC34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ddb9fa8bd34fdf8ac927b9d1418db509264e54a","datavalue":{"value":{"time":"+2015-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5246725$7F73C597-63AE-401C-A50F-B4024899A989","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67d0756e7f5c64ffd8d8f8b03e95a0a2e1655db8","datavalue":{"value":"https://arxiv.org/abs/1204.5194","type":"string"},"datatype":"url"},"type":"statement","id":"Q5246725$02800616-0058-4DA4-8636-19AF83C6917D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246725$96D63E17-ACA8-4C10-A371-29B0A962284F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246725$A82AE880-52AF-4C62-B978-C06861093457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246725$2B3BCFA4-3D35-4CA3-9D4B-1517950D92B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246725$D37FAF57-5CD8-417D-B09E-15CE586D6B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246725$A6C6B3AA-CC2A-487A-9197-85145B6546E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8932f5f4262862f5b8ff9869451a5b83dc6ca4ab","datavalue":{"value":"6428628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246725$C11A4876-83D8-45FB-A6DE-E1658D78680C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3898212513e24c39127a6e58f22e0141bc29b0","datavalue":{"value":"MSO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246725$A45B1841-290F-4899-82B0-3CFDB7BD8A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246725$3777150F-DCCA-4CD2-8D17-22E70B4EF1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7fe54176508cb6b1b6c307058a5e4029fde3455","datavalue":{"value":"Courcelle's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246725$F1CEAF0C-9F96-4513-AA54-2919C580F790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04a45d8c175ef3a9272448d5a5ec15d2d1d2d2e","datavalue":{"value":"algorithmic meta-theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246725$FF2A6B4D-3FCD-4948-84C6-1AB264FAFAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c37a0473243d0e0f0f807cf56c0944abcdf2bbe3","datavalue":{"value":"tree-depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246725$6DC687CC-3D2C-424A-85A8-57C018404BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee16444f6c55ab8e1a8d01387cff54d8c594c817","datavalue":{"value":"shrub-depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246725$D49EEB8D-D551-458C-8615-43807E2CD271","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":"Q5246725$337857A0-7AEA-4D41-9757-EC2183910664","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efd1026c75cf82d20d47966cea0a45c26f3edc1","datavalue":{"value":{"entity-type":"item","numeric-id":2957485,"id":"Q2957485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69a7db9efeee1e5854b252389950bd59a11e66a","datavalue":{"value":{"amount":"+0.9238278865814208","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":"Q5246725$EC603FD4-CF7C-4D5A-BC71-B4A9E2F2204F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2960a02bdcf415160933b0d39d7ed62b2be787","datavalue":{"value":{"entity-type":"item","numeric-id":2912741,"id":"Q2912741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab712154e8428d79b14d409482e3a38c84a8a1d2","datavalue":{"value":{"amount":"+0.8328676819801331","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":"Q5246725$E7F634B8-0240-4A7C-A589-3EA2B9EC5349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8bbeef261733f0410cbd781f54c4f723faab29","datavalue":{"value":{"entity-type":"item","numeric-id":5408193,"id":"Q5408193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf1c1240a3ba7f8f3ddbfcecf4d87303c1cbd9f","datavalue":{"value":{"amount":"+0.7657183408737183","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":"Q5246725$D6B4D643-3E6D-46C3-8F5F-DDF76A42DA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951dacdb97e30fdb7f3a5a028647e51058ce9c1f","datavalue":{"value":{"entity-type":"item","numeric-id":5145295,"id":"Q5145295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65621e8760031e816fd98977306f0b078d0067b6","datavalue":{"value":{"amount":"+0.7636923789978027","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":"Q5246725$AB6DE2B4-E4AB-4003-B2E7-24050AB0285E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400180d3989466b54d11d06a562f115c3f26f020","datavalue":{"value":{"entity-type":"item","numeric-id":5326601,"id":"Q5326601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54e079e58119405a317238590f77d60b57d3f81","datavalue":{"value":{"amount":"+0.761855959892273","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":"Q5246725$3FD6E6AE-D653-40C3-B5A8-E22E3A5FF8C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5246725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5246725"}}}}}