{"entities":{"Q2908834":{"pageid":2919559,"ns":120,"title":"Item:Q2908834","lastrevid":51537704,"modified":"2026-01-18T17:00:44Z","type":"item","id":"Q2908834","labels":{"en":{"language":"en","value":"Special tree-width and the verification of monadic second-order graph properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073517"}},"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":"Q2908834$F034F881-4AE3-416B-BB90-636C0EF75141","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0b4106c876be500f2d8a9594b513179273dd7e2","datavalue":{"value":"1245.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908834$0ACCF726-45AD-4515-A301-E56FB9B96A6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908834$3682C044-30BD-4417-82FC-32BE1C005DBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e05ff3c38078ba1a30611c50711718f1e2b37b66","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_697d.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908834$7CDA64B7-0814-42DD-A66A-63D4DE1EFF49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908834$7EBA20CB-69D5-4CB0-94AC-6B1D5C8EA911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908834$750C87EA-F9CF-436C-8FEC-B25D8D6B94CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908834$5AD6EF82-BDA8-4DD4-B894-1D2913C81BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908834$359F7B8B-C96D-435C-AE71-18E22278EC1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80a812d2ccffc813744e9571c5eb82fb9499c159","datavalue":{"value":"6073517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908834$FD2A6447-B269-4DC2-8FB4-905064227283","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908834$4A69A80B-79F1-470F-835A-ED0C41AA6150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908834$B6152A24-3075-4CEE-BEF6-F3C67CED448D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1520de8379415749656b1e95045c660d5b7f1330","datavalue":{"value":"fixed-parameter tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908834$E8D7FF19-CD7D-4A29-AC98-407C0DA07AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"411ff3befdf65dfd4a089c5bac3c73f3c0f7a8f7","datavalue":{"value":"special tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908834$B5F980AE-3204-4BF6-8B8E-6D06D6C8E022","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a67283e0d2fac85bc68c195e6f38300432d646c1","datavalue":{"value":{"entity-type":"item","numeric-id":14022,"id":"Q14022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908834$011C25A5-427E-4B86-97C8-4C1D4ABB97E6","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":"Q2908834$A41FAEEF-9901-4FEF-8F9A-A708A39A6072","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ac6cde0179d20a34cce6249bba062c0af7bea5d","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908834$2D068E9B-D843-41DA-AC02-5C89B6A2624D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"084bbbb4df82d594477fd68358151d484447708c","datavalue":{"value":{"entity-type":"item","numeric-id":6482121,"id":"Q6482121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908834$4FB9696C-8FB9-4EE6-8A62-43CC63907171","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa787727ca9d44f811cedd98e1dacb77c945f3da","datavalue":{"value":{"text":"Special tree-width and the verification of monadic second-order graph properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908834$34C6571A-450F-4690-9274-57585A3E7718","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead95edf747b58382409dd61d9885823af2f4dbf","datavalue":{"value":{"entity-type":"item","numeric-id":415286,"id":"Q415286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80fa1f4f0d618b960f75300f5068feeb3811e673","datavalue":{"value":{"amount":"+0.8829942941665649","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":"Q2908834$AA4649B5-62F1-4822-9C65-7B5CD51F476A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f9b0d6e4174e818f0e5c8969703c9362ca1e16","datavalue":{"value":{"entity-type":"item","numeric-id":1948277,"id":"Q1948277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499345440ca4e9c4a1003101892afda34e8817e4","datavalue":{"value":{"amount":"+0.8553480505943298","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":"Q2908834$E5FABA06-34E2-423A-870A-C4F0DF9F0891","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":"1a487f4cad229f5a55e2adafbb76afcc8338c8fc","datavalue":{"value":{"amount":"+0.7943179607391357","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":"Q2908834$F7BC3411-C806-4C28-993D-DD6C9EB2A515","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":"fa8013fccd9b18c3e7e7c9cc36c6516565f0f8d1","datavalue":{"value":{"amount":"+0.7934667468070984","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":"Q2908834$CF4D11AF-ACCF-4F52-8BF0-7D279E63EFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d59710c396dca59c0831fb4f82ed60ef927013","datavalue":{"value":{"entity-type":"item","numeric-id":324700,"id":"Q324700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676b9b4bf2b3d841a1451cf057551eec25eae3fd","datavalue":{"value":{"amount":"+0.7816882729530334","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":"Q2908834$0BBE3AA4-8931-4BA4-93AC-415BE052539D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908834"}}}}}