{"entities":{"Q415286":{"pageid":417053,"ns":120,"title":"Item:Q415286","lastrevid":51465206,"modified":"2026-01-18T09:21:56Z","type":"item","id":"Q415286","labels":{"en":{"language":"en","value":"On the model-checking of monadic second-order formulas with edge set quantifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033767"}},"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":"Q415286$EE127260-6870-40FD-9346-495F49D82660","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7e20f0ad0921d9cea521d9116d582ccff659620","datavalue":{"value":{"text":"On the model-checking of monadic second-order formulas with edge set quantifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q415286$92D6D470-7AFB-410D-AFB0-BE3E1E6D34E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7df731f83f648fc91565eb1b624d24b5ada3910","datavalue":{"value":"1236.05143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415286$6F7D4FF1-CF4E-45C3-B666-FC616B223960","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":"Q415286$227AC621-7C4C-47C3-9A7B-39623DECAC02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q415286$1F8F88A3-B611-4A27-A1C8-9F1A6E6D0675","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1e2924ba238bc47b6e89cc71d65b0484b3d905","datavalue":{"value":"05C69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415286$610AB80B-33BD-43FE-B8D2-83409F6E6CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415286$89AE5B0F-7984-4BB4-A1B2-2C6D7E97179F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625e55f1f2a96178239720bc1bbbe7ad21cf0a75","datavalue":{"value":"05C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415286$D958BA9F-80B6-4F27-B53E-45A9054D1269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49b058fb3bbcf2e2c0b60d335491b1fb69531246","datavalue":{"value":"05C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415286$9060EF42-A43A-49D3-B2DE-A12083E222E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415286$055A2892-81C0-4A7E-A82F-D999CC656F74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c874bac21f8bb3d0a4745b0136a8f0f89fd1205","datavalue":{"value":"6033767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415286$08793602-AEEA-4E1B-B8D1-85EC89FC3866","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81b0e661ffd7a2b0cf4d74a6388abe874250e20","datavalue":{"value":"tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q415286$EE7D7E91-996D-4A60-855E-DF90C14ECC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb03826ecb9d862c3a8c13a3c8eb36c4bc27ecd","datavalue":{"value":"clique-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q415286$EDB4DE91-85B1-463A-A585-9EF46789BA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q415286$612CD490-9829-47F5-9E1E-080E152509A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cee46e2c6a42a74803d50f6329947494bb4a53f6","datavalue":{"value":"graph decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q415286$D82C040B-F46F-48CC-AD4D-BEC770CE8FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q415286$5DE1ECA2-AFA1-4F4A-8197-91AE450DB914","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":"Q415286$122B3D31-A2D0-4773-AA65-FA14C8CADACB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b84b7aba24a95a6c16bb0478e3f63aa9f394cc7","datavalue":{"value":"https://doi.org/10.1016/j.dam.2010.12.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q415286$8766C7A8-4851-4300-AC2F-2AE903B062B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f0da1035cdadd407242e3197afb93197a195ed3","datavalue":{"value":"W2088523331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415286$F9AC173E-25CD-45DC-B70D-2D958337203D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af38525cb3dc5d78e18fb96d9a31083001b295d","datavalue":{"value":{"entity-type":"item","numeric-id":4349700,"id":"Q4349700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$C5352045-F55A-462D-9ACB-CE849C20898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18761bd52ddb975f3054b9fb8b9b5ee1fba7575","datavalue":{"value":{"entity-type":"item","numeric-id":2839213,"id":"Q2839213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$C40D109C-EA52-48C4-90E4-F7CF4F16C900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe58b950faf824ff8305ba27b71e47f8750de2be","datavalue":{"value":{"entity-type":"item","numeric-id":5317177,"id":"Q5317177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$8AF35CF0-84B5-40FB-B210-D7E74C265193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$332AFD3E-93A0-4906-9600-7B42278A4D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb058c20b3fd753fc795924860262d9dd1511c6a","datavalue":{"value":{"entity-type":"item","numeric-id":1948277,"id":"Q1948277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$4B41B5DB-C71B-4759-8D8C-A77D846F3852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fe56184955dbba620e4cb94dc309dfe37fcc19","datavalue":{"value":{"entity-type":"item","numeric-id":1974445,"id":"Q1974445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$CE18D7AF-5C8D-4866-9CE7-852DD7283A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211530a7d66720062b60e82cf130f31beea4a662","datavalue":{"value":{"entity-type":"item","numeric-id":1975365,"id":"Q1975365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$FEE87DE1-B06C-44DC-A01C-A4EFBD69FDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a998553d04d92ec750c5db95c511cc38b8ab7659","datavalue":{"value":{"entity-type":"item","numeric-id":5315023,"id":"Q5315023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$36FBA13F-3A14-4566-9E17-BE2BCB3905B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befbfe541247817710e22716675e0c030f7b1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503944,"id":"Q4503944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$9ABA05AA-52C7-4D1F-892E-39AB3526CF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195615ac83646c857bedc64ede01bc9b848ee126","datavalue":{"value":{"entity-type":"item","numeric-id":3563951,"id":"Q3563951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$A4B0080C-0587-40E7-BE37-EC05E6BB15F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$9081A3BD-56BE-42CC-9B3B-08BCE3A78A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37582b4c778c46bf24fc41a8cb06c175f07e6d17","datavalue":{"value":{"entity-type":"item","numeric-id":1886318,"id":"Q1886318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$8D7B2102-3987-47B9-A8B0-5F366A10D2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e624126070d764c7d1c093d99e92a2357ea010b0","datavalue":{"value":{"entity-type":"item","numeric-id":1219893,"id":"Q1219893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$D286CABE-54E9-4F06-ACC6-F5A711D2F702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291f43b3c3314deaee3a1b29096a4461fb8e8bb7","datavalue":{"value":{"entity-type":"item","numeric-id":5249049,"id":"Q5249049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$535A0B18-8B5F-4DA1-8BEB-1D555C543976","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":"Q415286$1CFF7FB3-9828-4130-8F5D-0F83AE1B1E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$E19265FD-DD7E-4F3D-B274-4B59F093D902","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":"Q415286$180EFE15-56EE-455C-B387-6E46A4AC0517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8466e8a6030720c56a95c18502dfb44c526f99","datavalue":{"value":{"entity-type":"item","numeric-id":3692864,"id":"Q3692864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$C57CC6B9-8F5B-4E01-97F8-0E62BB6BF408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1bbdba07ae843318f6418cc9c2e5ed6446ca4f2","datavalue":{"value":{"entity-type":"item","numeric-id":3455548,"id":"Q3455548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$9CBCCC2B-1382-4899-80E0-72AF759B7C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5549b3f004e6caf7c0e9598497d43b9fa6edaa50","datavalue":{"value":{"entity-type":"item","numeric-id":4412835,"id":"Q4412835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$833B6975-84A8-42CD-BA6B-AF3FF43E7544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f16f5bb7319b98313a21380de8fc0436ab27523","datavalue":{"value":{"entity-type":"item","numeric-id":1024321,"id":"Q1024321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415286$4182A065-1F53-47B0-8C42-015851EE405C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"744e2311fd80c73325963fe214c97f471f5c8388","datavalue":{"value":"10.1016/J.DAM.2010.12.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415286$A1C69398-189F-42CA-8F12-59371486E6A2","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":"Q415286$7B995464-A49E-4B40-AEF8-D21034F98E7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3857508befb3ecc8110cf21a20d7e3b00f7c5fec","datavalue":{"value":{"entity-type":"item","numeric-id":2908834,"id":"Q2908834"},"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":"Q415286$B6DCB2F3-E320-475B-9F84-BF293D990CED","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":"599f970692ca374b09d0bf5aed92870a411b1e38","datavalue":{"value":{"amount":"+0.8053289651870728","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":"Q415286$E193BFE5-00A8-4CD5-8E50-52B6180C319A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3f808fba1af143318e82853b4f43100ccc6492","datavalue":{"value":{"entity-type":"item","numeric-id":5964015,"id":"Q5964015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80526ede7c622625f712a8fa16a930e757874983","datavalue":{"value":{"amount":"+0.7887191772460938","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":"Q415286$63C9F5F4-95B4-48E5-89EB-244FB67E4A4D","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":"a45f441bf2ed7b4510e516e3adb107d6ea38ab63","datavalue":{"value":{"amount":"+0.7865557670593262","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":"Q415286$083CCB43-5D00-4498-9CAE-3863A6EFBD16","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":"06482f6f7631d18d6f478022dc853f65efd9d811","datavalue":{"value":{"amount":"+0.7859628796577454","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":"Q415286$8DA59FB2-428F-4E8E-A083-6A7E6B94B1C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:415286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:415286"}}}}}