{"entities":{"Q324700":{"pageid":326467,"ns":120,"title":"Item:Q324700","lastrevid":77623274,"modified":"2026-05-06T09:40:58Z","type":"item","id":"Q324700","labels":{"en":{"language":"en","value":"Fly-automata for checking monadic second-order properties of graphs of bounded tree-width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6639861"}},"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":"Q324700$E3CDD00C-E6F8-4800-BB00-37EC9FE3AF63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b63e37d12faf13c0f205e2b9dde84470afd8f49a","datavalue":{"value":{"text":"Fly-automata for checking monadic second-order properties of graphs of bounded tree-width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q324700$57A30AC0-D14A-4192-B8AA-62C16842CF2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3db9340c713f2793aa824a1ff41b50eb1cf04578","datavalue":{"value":"1347.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324700$E1D1E27A-FC69-451E-B85A-B100DB4380F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a46b139610635e17a6c34185783585df87c58c4","datavalue":{"value":{"time":"+2016-10-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":"Q324700$FBFDC680-4DCF-44E9-AEB4-DC0B9E8173EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324700$A3A9A900-4A51-42B3-B996-157D79E025AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324700$B398E9F0-B774-484F-866C-F863D82E4B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49b058fb3bbcf2e2c0b60d335491b1fb69531246","datavalue":{"value":"05C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324700$B9B4AC5F-2F22-4662-A6FB-1D1C9B849A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1e2924ba238bc47b6e89cc71d65b0484b3d905","datavalue":{"value":"05C69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324700$C5937A69-5133-4908-BDE7-CCCD2177ADCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324700$038032D8-600E-4ED5-8EF5-02E4C540068D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"487f150089f5be0e77e17da0da46a1633a94d34a","datavalue":{"value":"6639861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324700$217FF8FA-EF83-4AC9-85AA-34F877AF63D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1520de8379415749656b1e95045c660d5b7f1330","datavalue":{"value":"fixed-parameter tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q324700$C95DE30A-AA1B-4BE9-A864-C96F0341E2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81b0e661ffd7a2b0cf4d74a6388abe874250e20","datavalue":{"value":"tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q324700$6D68F4FF-2054-44AD-BDA1-17F406DDF637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e792ff646f6fa664efd2613027c94cc69a7563","datavalue":{"value":"incidence graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q324700$06038F9E-1AF8-404B-8469-EC594CA46016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb03826ecb9d862c3a8c13a3c8eb36c4bc27ecd","datavalue":{"value":"clique-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q324700$9E523354-D462-45FC-AF7A-CD05DE47ABA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86146108c304dd1ea3f641160de6ae58125fc709","datavalue":{"value":"fly-automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q324700$E9A78887-1C44-4BFE-9955-C402EAF73919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q324700$84965D4B-FA92-4D52-A9E0-8B3B96E66709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"947802f11220b8c70e641891ab0eb1f3705afefd","datavalue":{"value":"edge quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q324700$37897708-81DB-4F9E-B72B-E9E90F2BE211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q324700$13F881EC-EEDA-4CCE-BDD4-FA3D61C451A4","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":"Q324700$313F506D-B82B-4D53-A1A5-9EFE105ED275","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bf7991e611fbe3ef9868b54f262cccc1c1ffcc4","datavalue":{"value":"https://doi.org/10.1016/j.endm.2015.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q324700$78EF5800-31B3-412D-BDEA-68856010A5C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f904799ac920861fae844befb049a13383cfb187","datavalue":{"value":"W2212883086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324700$6E9FBDA8-3BDF-4C7C-964F-2A5230EF74FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bb69d916b00f0830d0162a5bc1d02e5fd67c9c","datavalue":{"value":{"entity-type":"item","numeric-id":415286,"id":"Q415286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324700$7A31A1BF-6A4F-41D1-91CD-F9AEC54CD6E5","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":"Q324700$700E727D-5E98-4757-8A56-3D553583FE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d401ca21f5edade491c87f23d94343686c3f0c","datavalue":{"value":{"entity-type":"item","numeric-id":2850017,"id":"Q2850017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324700$8C59FF2D-440C-4AC1-B894-8B44942DEAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324700$2C894C34-F370-450F-8220-018E87F6564B","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":"Q324700$AECB4422-4BFE-45FB-B3F9-E7FA8F0F58AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324700$D0ECCCDD-7547-4E73-B6CA-2EF5A8CCEC34","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":"Q324700$B78497DA-2241-435D-9B24-5EC7F8130D6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbf1be7278cb27ffee0765037d58275d165713da","datavalue":{"value":"10.1016/J.ENDM.2015.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324700$BAD495D9-3DA7-4610-8662-723C6210FA71","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":"Q324700$4DED771C-4650-4BAF-BB1D-E5E8B77F9091","rank":"normal"}],"P1643":[{"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":"68b69e7b68dd4a8591f13dfbdabedb255eafa439","datavalue":{"value":{"amount":"+0.9147883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q324700$7DBA4FE0-10A9-4305-AD55-AB1819856E27","rank":"normal"},{"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":"8737ad918bf22216afb63511fd6b65e064ecdffb","datavalue":{"value":{"amount":"+0.89723825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q324700$0502BACE-07D8-43DF-81FD-52472B55AF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00168923517f6c0137cb9c9fc9cc8746d1151be1","datavalue":{"value":{"entity-type":"item","numeric-id":1752502,"id":"Q1752502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b17cfe3f431336db7786757cd9453a1f05714e7","datavalue":{"value":{"amount":"+0.8930002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q324700$201FAD86-C6F8-44E7-86E4-589D202C4FB6","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":"98d5d100933716b18636b936b2cc2053630ef509","datavalue":{"value":{"amount":"+0.8831014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q324700$C36A34B9-BB0D-4C71-AB80-61EFA4A86F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f690a8deda52f079e95a31c469a648f4741c0eba","datavalue":{"value":{"entity-type":"item","numeric-id":5278399,"id":"Q5278399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee11c3f9c1a8df68af217c28577ce2a7a7a070fa","datavalue":{"value":{"amount":"+0.87527597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q324700$66813CEC-D041-4CAD-9936-450103992CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b72cdfe8b5111c2cf6f1728198b2c88193579c","datavalue":{"value":{"entity-type":"item","numeric-id":3470112,"id":"Q3470112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07dd139af23a78e3e7cec0143397a65d7546d39","datavalue":{"value":{"amount":"+0.8672228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q324700$EB22D344-3242-4906-8B99-446143B3E99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469eac3818ebedbb6359ed0402a8ef6ff8d6ba95","datavalue":{"value":{"entity-type":"item","numeric-id":4381404,"id":"Q4381404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3b44a2d9a559385c8477d7c71f7a3e6e5a95d6","datavalue":{"value":{"amount":"+0.85972595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q324700$50E12C7E-95E8-462F-9F43-8BDD55C385C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f5886ac9f126545f85bbd9e64861bbf17c4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3192221,"id":"Q3192221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd9af6852ea29799c09876fd78897d4d252f737","datavalue":{"value":{"amount":"+0.8567886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q324700$2122CEC1-5639-44D2-BD0C-355B220C09C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306f5e836ec1ed809000c5bda3a66f0e3e94ec71","datavalue":{"value":{"entity-type":"item","numeric-id":5928867,"id":"Q5928867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9243d2eba9bffcaafdd823d953c34de22efdfd8e","datavalue":{"value":{"amount":"+0.85594237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q324700$67FFD36E-CAD8-49F0-923E-0567A0DA8DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fly-automata for checking monadic second-order properties of graphs of bounded tree-width","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fly-automata_for_checking_monadic_second-order_properties_of_graphs_of_bounded_tree-width"}}}}}