{"entities":{"Q2870025":{"pageid":2880745,"ns":120,"title":"Item:Q2870025","lastrevid":58038369,"modified":"2026-04-03T13:39:52Z","type":"item","id":"Q2870025","labels":{"en":{"language":"en","value":"Expanding the expressive power of monadic second-order logic on restricted graph classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247326"}},"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":"Q2870025$D7EF2118-C9A5-4919-8C1D-B3FE34FDF3FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf3deb138ec85baf6239ceb3ecfd43158eccaa06","datavalue":{"value":{"text":"Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870025$DE9DE3A0-42BF-4B8A-AC6C-24D0ECE2D332","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b0fa97bbabb10f4fb1e1d31c222b418ff70fdec","datavalue":{"value":"1284.68463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870025$A224F50D-74DF-4BF6-889D-49D338192259","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31f3c78f5cb29a372cc392714be5d5bf5160d1e2","datavalue":{"value":"10.1007/978-3-642-45278-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870025$B8B6B4BC-B75B-4B3E-8B11-608D4017EA49","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":"Q2870025$3594D9B5-28D7-44A0-8DFF-C7411E475CEE","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":"Q2870025$F7806EF0-96B6-4B04-9DEA-85522F85C6D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870025$FFCAD7AA-A739-4C99-B7F3-9020F0F75EA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870025$718833E9-3A21-4E09-AC6D-0433307498CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba92e405eb5f796a5ee11209147ec2276a71f1d5","datavalue":{"value":"https://arxiv.org/abs/1306.5571","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870025$BEFD57E6-E1E7-4371-AD77-0E43E422DD95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870025$5C016E35-030D-429A-AC5A-96558A0F5F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870025$A03681D3-F709-442B-9918-5D451EC0739B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870025$80267A11-6A3A-4D91-BEB3-38D74F759884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870025$A9A1A3BA-D6B0-4606-A84A-7C9F709A1686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870025$59E3D374-F98D-4C73-ADFA-21A5E2D6BC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870025$31A16C06-0097-453A-8918-AAA02578F43E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03f56ada65b59e9ba41a1aab23f2f69c123c69e3","datavalue":{"value":"6247326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870025$37506DDF-7570-4460-913E-35F65869D37F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a42fa418d4640e609b36bff0250e2d077b3b2cde","datavalue":{"value":"monadic second-order logic on finite graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870025$ECEEC632-6CF7-445E-9E0D-55D6BC955BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e87618aee6343e13e99830120698ef319daa4c9","datavalue":{"value":"integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870025$F1B2038A-0795-4731-8903-07B9385B0E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870025$31E32E7E-7AFD-4825-BAF4-686414231BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccc49d7ef7fbb40257ac93b2307f98ea178fe23","datavalue":{"value":"MSO partitioning problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870025$57877F28-DF36-47B1-A4F5-3E0D87A1818C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a795fa64061ece98d8f1051317364258e90f1bc2","datavalue":{"value":"monadic second-order model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870025$D7EB5774-8C7D-44F3-BFDD-4699D7C01F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41d9013de4ae34349583c0ebc48c332c61143a76","datavalue":{"value":"linear cardinality constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870025$53C1644C-A6C3-48FA-8682-94FEE518F47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac385c43cc6d982a9dd1fbfee8ab2754a681c11","datavalue":{"value":"vertex cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870025$BD33DAA8-20ED-4861-8FE4-51A1AA612C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870025$F1E52343-5438-49FF-BF51-FD0346DC7CDE","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":"Q2870025$EE909C23-E3BD-42CE-959F-81BF7275108E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5be57b54bef5838e3eb7a645d8e323291ded3007","datavalue":{"value":"W1530056612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870025$0910A2DB-4A44-44A8-A467-D87D8470BEDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4129c26ea981fd386b1fed795912e6ab1527190","datavalue":{"value":{"entity-type":"item","numeric-id":3586492,"id":"Q3586492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be9744c7c5e681457821b514d4549653fbbb340","datavalue":{"value":{"amount":"+0.8124657869338989","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":"Q2870025$9997D883-938A-459F-B16F-344E8495AC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bc4c33fb3d9ba5edb19fe036e09dd6b934d24e","datavalue":{"value":{"entity-type":"item","numeric-id":1759681,"id":"Q1759681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257c8eb1774d0f4dd1de0f345b0989bc3f82142c","datavalue":{"value":{"amount":"+0.8075811862945557","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":"Q2870025$8B535EAB-DB2D-4491-8287-D90BF963C0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee86f0965215a3f652257dc883344179245e7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2946629,"id":"Q2946629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8b5277ded5d1eaa7581f5ad16f46cc31c7b127","datavalue":{"value":{"amount":"+0.7928833365440369","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":"Q2870025$3178A706-F317-40DE-AFAA-7A96239A125E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870025"}}}}}