{"entities":{"Q2904773":{"pageid":2915498,"ns":120,"title":"Item:Q2904773","lastrevid":51533396,"modified":"2026-01-18T16:33:14Z","type":"item","id":"Q2904773","labels":{"en":{"language":"en","value":"Lower bounds on the complexity of \\(\\mathrm{MSO}_1\\) model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6070913"}},"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":"Q2904773$D00C2812-CD9A-4F31-8109-CECE14B809FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64a341838b0910a1d88747484f655b48cb7feb16","datavalue":{"value":"1245.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904773$80827427-2829-4D70-AC76-21F2CD6C40E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20032bcc84344d7c9c68c7fbf55beb604aad0a5e","datavalue":{"value":{"entity-type":"item","numeric-id":395001,"id":"Q395001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904773$D027E0ED-1805-48D6-A9D0-67748020D6E0","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":"Q2904773$C4937B29-2B7D-4838-B311-7396C92CF1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"334511a0e5b7d6548bb2bd5aebc2dfa6538c3d65","datavalue":{"value":{"entity-type":"item","numeric-id":395002,"id":"Q395002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904773$6A8409E7-58F8-409A-8FDE-360AEADA1495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eaf352a32aa38da3c724a04881fe6df68b2c948","datavalue":{"value":{"entity-type":"item","numeric-id":281931,"id":"Q281931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904773$27386C35-96B2-466C-A4C8-94FB3909F496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"740083ed04c5cd7c570b1b0a2b16fcd9d4ac382c","datavalue":{"value":{"entity-type":"item","numeric-id":340582,"id":"Q340582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904773$641F9E78-2B0D-46C4-A639-C5D9A1586F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b649ac41c270dccb8d2c710d97ea2a08b9b1f33a","datavalue":{"value":{"entity-type":"item","numeric-id":340580,"id":"Q340580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904773$D59BFF9B-D33C-433C-9031-B22C4EFF0687","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65565ef421231dd2fa47bb94f379079908ab66d7","datavalue":{"value":{"time":"+2012-08-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":"Q2904773$A868D2F0-DA85-4624-A795-38B512D8EAF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904773$95A6DDDC-100D-461F-9C18-17A3DFFD37BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904773$8581380A-04D0-4008-A988-073A1D27A555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904773$3F28077B-CF7D-4532-82FF-9F3464BD70FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904773$9983EF96-7675-4DD2-8B62-15ADD5DEDD7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06fc22cfdbe350883a8ae5800f34ad9d30977409","datavalue":{"value":"6070913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904773$0ABA088D-E387-4FCF-821C-D4A498AC71A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904773$9905C4DF-C3AA-4603-8E18-24EB19DC1567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904773$D38B8FF9-114E-4135-BEC7-960BBCD0E9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904773$7727C808-FD45-4130-AB4F-E975BB4D268A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0974d841ba27603503b56afd092463f7ab4b17","datavalue":{"value":"exponential time hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904773$96B58377-63E8-4BD5-97E2-9BCEE2289833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904773$9F975D03-0FD4-4FC9-B53A-D22377898D85","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":"Q2904773$D2170070-96C0-4CAD-BD7C-0AF2E1041C07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10c5141e1c495b08483404a2ff770a892f82beec","datavalue":{"value":"10.4230/LIPICS.STACS.2012.326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904773$824EA027-96C8-4B5F-83A2-96D53EB3BAA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30333880d6a7e9790a0ea02dae4330a0e637e93c","datavalue":{"value":{"text":"Lower bounds on the complexity of \\(\\mathrm{MSO}_1\\) model-checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904773$AC9129BA-8680-46F9-80E5-F7A0BF1250F5","rank":"normal"}],"P1643":[{"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":"bc5a169c41f056f65c1f45a66a573af590fc5e50","datavalue":{"value":{"amount":"+0.9519140720367432","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":"Q2904773$4F24BEDF-7B01-4388-B41A-B5572C039248","rank":"normal"},{"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":"52fe986c603d930fcaa12db5d8227758876cb0f7","datavalue":{"value":{"amount":"+0.8579360246658325","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":"Q2904773$DE7E7307-95A6-4451-9174-62A24F201555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5b80bac3da17989750e12784e6081464f8f461","datavalue":{"value":{"entity-type":"item","numeric-id":2881095,"id":"Q2881095"},"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":"Q2904773$451C12EE-FF8F-4C60-9A90-120CA48E7AA7","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":"f286f0e41f245776de28b02b4a5805459adaca7c","datavalue":{"value":{"amount":"+0.83128422498703","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":"Q2904773$A0A4D9A8-5448-4AA8-97D1-3FE3072ADADE","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":"4c6db77c64d986e26e77b397d6deecb506b6e140","datavalue":{"value":{"amount":"+0.8301465511322021","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":"Q2904773$2B5C23FB-067C-41E0-808D-E9DFBBF5EA90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904773"}}}}}