{"entities":{"Q548278":{"pageid":550045,"ns":120,"title":"Item:Q548278","lastrevid":55946557,"modified":"2026-02-21T10:02:06Z","type":"item","id":"Q548278","labels":{"en":{"language":"en","value":"Monadic second-order model-checking on decomposable matroids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5914060"}},"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":"Q548278$7911866C-860A-4585-B87A-90C0AB8F24F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b682305bc7fc1f3e26310bac4a45048fe1dc85b","datavalue":{"value":{"text":"Monadic second-order model-checking on decomposable matroids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q548278$9A289724-DE88-4A4F-8655-09B7E7C4406D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1625d9d2c927472d033ec8cc4badf4f0fb64a943","datavalue":{"value":"1225.05073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548278$9E7E39EA-3340-4A1E-ABB0-019CB389FD39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f07e4ed25210f70eeae01c09bca167534c0052","datavalue":{"value":{"entity-type":"item","numeric-id":385503,"id":"Q385503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$94AFC68A-82EA-4297-9F4A-BC4FB0EB8DDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$88B359B7-E3F6-466C-81AE-5083A8E58F48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867413887a7ccf081ae51fc77317028b78dc3415","datavalue":{"value":{"time":"+2011-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q548278$E8A3747F-CDB9-40C9-880D-76B422EB3FBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a06727f99c93aa58e84e3d476d4f6a1bed523458","datavalue":{"value":"05B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548278$A2DE293B-8FE5-4A71-823B-2994E814334D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"819702d0a39d2ac9891abd461e52fcc8e215bb67","datavalue":{"value":"5914060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548278$BF207F41-1EFF-4407-BDC0-DB8591313B7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1dec6b410278e4188572dae912a7d00ed90baf","datavalue":{"value":"matroid representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q548278$7EE879CC-9530-4998-BB4E-C544E3203D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125f848e824041bf43e11dfb5f43ae5c6f8f7ef9","datavalue":{"value":"branch-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q548278$10DBD18C-17E8-4B2D-BED8-ECC7891D3F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q548278$A951BA44-D6F3-4AEE-A2AA-70A5BA6E1740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"037dab8d69537d363b6bf3f8c116e421390cbebe","datavalue":{"value":"fixed-parameter complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q548278$4DC5CC58-B47B-4CDC-B516-A1168F3B5E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b1c9f60fc9882bbfe59891ab235dc74877ba102","datavalue":{"value":"series-parallel operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q548278$F2803D77-33EF-4087-8CAE-B3F4271CFFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q548278$B4AA4917-D0C9-404C-8546-0995D5CCBE61","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":"Q548278$597AABB5-327A-417E-BC65-685E8287841D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86aab76b9b77801b7b4e7c242cf78fc2384d6569","datavalue":{"value":"https://doi.org/10.1016/j.dam.2011.02.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q548278$C498532A-ACBB-40BA-B45B-EC33578C3D45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cbf5247107ce473b59dfb6ec310b683288d7030","datavalue":{"value":"W2963193004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548278$D35ED655-338D-4C7A-9563-E20608C603AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be17e3e16f8de4b41a5e87255873ed44ec5fd55e","datavalue":{"value":{"entity-type":"item","numeric-id":3361904,"id":"Q3361904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$B01E289E-864C-4484-B198-2E1A75726BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca29d7d10d8f4dc9ce98d5874bd788d477fa9729","datavalue":{"value":{"entity-type":"item","numeric-id":4156300,"id":"Q4156300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$F1E517D7-51E0-452C-B94D-DECE23395338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$4B061641-81E1-4ACA-99A1-7E7903244050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$BD85FE8E-48EC-4DE3-B116-4FECC8C3CE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89dd6c12da170f95fdd67b706f62e8e4775f0139","datavalue":{"value":{"entity-type":"item","numeric-id":4012672,"id":"Q4012672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$78660CD7-761C-4B1C-A814-35C98AEA7A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c986e694ea48e4f604e741bc68ed6900c6ddecbe","datavalue":{"value":{"entity-type":"item","numeric-id":967312,"id":"Q967312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$D117EB0A-8EA6-4F47-B9BF-FFEABB2D0E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d90d589780f9e809e5a24ce6069de8f9fde53ad","datavalue":{"value":{"entity-type":"item","numeric-id":4418672,"id":"Q4418672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$AE150B2D-831D-4BC1-AC2E-59774BC28951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d3e44306b572efa3964668157aeb3f92489d29","datavalue":{"value":{"entity-type":"item","numeric-id":1850480,"id":"Q1850480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$EEB6EA5F-FC68-42C2-8A4C-106634BDB1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71217208be2b526c81d03cb506bbd73893189d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3086928,"id":"Q3086928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$5F50539D-4D80-432B-8F04-FFBAE27CD5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95872560f3979d109c8595d8a1598c6307ec61c4","datavalue":{"value":{"entity-type":"item","numeric-id":2642007,"id":"Q2642007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$1DCB7DF5-64E7-4500-AC13-9B81A923C56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389a02a47932c379552280595dc38b842731bd43","datavalue":{"value":{"entity-type":"item","numeric-id":5902074,"id":"Q5902074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$CF4948EE-6087-4AEB-81BA-9624ADA17FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422515c943bae7363105fc357e2054b0d39c2d46","datavalue":{"value":{"entity-type":"item","numeric-id":5431334,"id":"Q5431334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$19629AF1-7473-47EF-9347-03B658F8D4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8099c9dec4aca2112798250ea3f62a069ff6755c","datavalue":{"value":{"entity-type":"item","numeric-id":2490835,"id":"Q2490835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$9CE98FE9-3EE7-456E-B0DC-5E1DB3590E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890711c0260fb4301ccf8cb08078407e74b9195d","datavalue":{"value":{"entity-type":"item","numeric-id":5470804,"id":"Q5470804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$BBD1BC88-D485-4840-836D-AE3DC78E3075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da77ba4ddc8b3e38d29ab02d490f066f938e6ee8","datavalue":{"value":{"entity-type":"item","numeric-id":3587369,"id":"Q3587369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$1888C598-8E2C-4557-8B4A-D135E59D253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce93defb2f0f4fa2c261c6c3d6d831c7b5d3581f","datavalue":{"value":{"entity-type":"item","numeric-id":5421816,"id":"Q5421816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$711C115B-224C-4DF6-95B7-397A53CECD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$A5E80F3C-0D4E-4342-8E01-3B9933A37078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea587c95b7231ee2f30c675a05e440be741861c2","datavalue":{"value":{"entity-type":"item","numeric-id":2496203,"id":"Q2496203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$C9B08974-A35D-4228-8A48-C6DC80813BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1860b0031e2cbb9105661e4b1058c275782a39cf","datavalue":{"value":{"entity-type":"item","numeric-id":3135082,"id":"Q3135082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$B4DB0F42-F61A-4A61-B5B7-8A92AA96D061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040b7b9fbede4032e8348103c4d815e16fc87c56","datavalue":{"value":{"entity-type":"item","numeric-id":4075503,"id":"Q4075503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$BB2F3808-BB78-429E-BFCC-6407EAD983AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398ef8bc27e00efd8312d46a33efaa0333728c17","datavalue":{"value":{"entity-type":"item","numeric-id":1892832,"id":"Q1892832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$E56CDB70-052E-4C3C-AD32-54EF8BD86351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7376db18676d22066d7e688f8a045679416142aa","datavalue":{"value":{"entity-type":"item","numeric-id":1144030,"id":"Q1144030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$A2AF4012-CBFF-4416-BDFF-A57632BA0706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e48d4989228a4670eef0160cdb8903a1aeb1021","datavalue":{"value":{"entity-type":"item","numeric-id":3586118,"id":"Q3586118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$AE233F9D-E2C5-4E33-BA87-16D0078F126B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$82A5437F-4615-4433-9871-80329E6FBBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c79d0ed26152043853e363c13dbe4f0cb7f8bc1","datavalue":{"value":{"entity-type":"item","numeric-id":3249424,"id":"Q3249424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548278$45BA6070-E600-4587-BFCE-5E99C18DBE7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8cae00021b9f928d8f923186efde8214eb8ddd4","datavalue":{"value":"10.1016/J.DAM.2011.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548278$ED97CFA4-2823-4B25-9041-F53316350BDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8195dfd3bdd88225cb1552c91bf7500c66bd022","datavalue":{"value":{"entity-type":"item","numeric-id":415290,"id":"Q415290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22dbaea104c591b43beb0ef8d1197debdd588a9","datavalue":{"value":{"amount":"+0.8503063917160034","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":"Q548278$9C1564CA-D4C9-4DC6-9E4B-DCE33D2F7AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e44d19f46bb8b927df89b3c3298306e5b81a757","datavalue":{"value":{"entity-type":"item","numeric-id":3587369,"id":"Q3587369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b88ca775dd00bd8a56a5d127b558f7a67f6777","datavalue":{"value":{"amount":"+0.8499571681022644","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":"Q548278$7B5F008E-26B5-4B81-BEE2-37FEC77AE03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78919ae45a2d3c1ca4522acd1d9f69b3b7d68711","datavalue":{"value":{"entity-type":"item","numeric-id":2490835,"id":"Q2490835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8753719428556ff352a82b39c7c296a8eb59a6a9","datavalue":{"value":{"amount":"+0.8494907021522522","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":"Q548278$665647BC-756F-4DEF-8A99-B2FB6C36A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0c47e5cd47d99c5e313993af6bd1dee2a95da79","datavalue":{"value":{"entity-type":"item","numeric-id":4418660,"id":"Q4418660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef01e9a57ca8dfedb9da0ab642f3dc4f9dee5382","datavalue":{"value":{"amount":"+0.8459194898605347","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":"Q548278$52625D39-F740-437D-9B00-2980B91CCAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd28af227fadd737069c23d5b680061b7d2752d8","datavalue":{"value":{"entity-type":"item","numeric-id":820150,"id":"Q820150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b00e929dade2ba7aa0b83c3d3efe466352196b","datavalue":{"value":{"amount":"+0.8154650330543518","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":"Q548278$AA79DD20-CA5F-447B-92BD-6A3396393D9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:548278","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:548278"}}}}}