{"entities":{"Q2881095":{"pageid":2891815,"ns":120,"title":"Item:Q2881095","lastrevid":83893799,"modified":"2026-05-07T13:33:04Z","type":"item","id":"Q2881095","labels":{"en":{"language":"en","value":"On the parameterized intractability of monadic second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021344"}},"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":"Q2881095$B29AACF3-35CB-4165-91D2-E0C1A037C9FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93f32c5a2cd506e9bb84e155dfeb92e203537660","datavalue":{"value":"1238.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881095$40106E5A-B497-4C14-A189-FA179C6BBDBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff428876ac1f2d36c5b27869e983dc07018df5c8","datavalue":{"value":"10.2168/LMCS-8(1:27)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881095$43764982-3C42-453C-85EE-A0E0857E56DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881095$F74BD69D-6777-4465-B9AA-FD3ABBCE3AE6","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":"Q2881095$DF8F6E05-4C44-4D41-81A8-22EDB90E192C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881095$E671833C-69BC-4F0B-8FA4-B113160CB1A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3b8c149d038bf62e3b93240640d247467bd977a","datavalue":{"value":"https://arxiv.org/abs/1203.3167","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881095$2A837ABD-8F24-4A37-B55B-4E3EC26C813A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881095$73CDE380-3B40-4E39-BCF5-E0A198E38A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881095$300B3F26-8FD5-48F4-90A8-9B76AC53FDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881095$BBD5CAE6-73E0-4396-B27B-A1BDD28B9CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881095$12081A86-F42A-4EF8-A07A-267044C1C0F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cbd1115776a2dc1cb334db4871676e886f0b44f","datavalue":{"value":"6021344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881095$629C93B5-BE4D-4FE5-BC7B-24C43DADB36A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881095$DA496793-1725-4AB5-9CE6-E715A7E670AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04a45d8c175ef3a9272448d5a5ec15d2d1d2d2e","datavalue":{"value":"algorithmic meta-theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881095$32B78186-9600-46D8-97A6-4BA2BE499B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881095$30EBCEEB-EE35-4C67-A815-C5B4DA5C3232","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":"Q2881095$CD9E07BC-DCAE-4E86-AF4E-55C425F3F63B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9ef223a6f6b8c954923ca54b15c74f14ee1ae37","datavalue":{"value":{"text":"On the parameterized intractability of monadic second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881095$8DD1FAFD-C1D9-4D7A-B5AF-5D4FD409233A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9547cb79603015a96416d64b98aa9fd0fec1a90","datavalue":{"value":{"entity-type":"item","numeric-id":3644759,"id":"Q3644759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9be7fbdd0cfdd984bacf77657e678f40bd9c44","datavalue":{"value":{"amount":"+0.9928162693977356","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":"Q2881095$2C058ACB-285E-4DD3-B8FE-9D3B87E30DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f84057036bce1adb472dd07bdbd97cbb40ea92","datavalue":{"value":{"entity-type":"item","numeric-id":2904773,"id":"Q2904773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76f4a4d26c0d112f1145d2d4a37a7fb39e0d8c8","datavalue":{"value":{"amount":"+0.8573358058929443","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":"Q2881095$8627F7BB-D68B-490B-B4E0-4E3ACB7617AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0146a5e949b765006f3cffa3d8330543d9bab9d6","datavalue":{"value":{"entity-type":"item","numeric-id":395003,"id":"Q395003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc03d4704e61b22d39812edc311c74e2a9f15ab7","datavalue":{"value":{"amount":"+0.8163146376609802","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":"Q2881095$E251DFE8-46D1-44D8-92EC-737586F434D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82146d19cf00914cf680dc7535deb2fc91961d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1886318,"id":"Q1886318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f7459df27896caf31b11d054596c55ea0d9fbd","datavalue":{"value":{"amount":"+0.8149665594100952","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":"Q2881095$2D1A91CD-DCB7-4F7D-B621-18EBCE81E5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19ac47e9f57cae876d520284b1c0cba3d6c12ba","datavalue":{"value":{"entity-type":"item","numeric-id":1401360,"id":"Q1401360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc5de8976d4d4999873f667493a99f82f07e8fa","datavalue":{"value":{"amount":"+0.8097355961799622","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":"Q2881095$0423EF15-6DC8-4C41-9DF8-8ABBE129604D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the parameterized intractability of monadic second-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_parameterized_intractability_of_monadic_second-order_logic"}}}}}