{"entities":{"Q6858374":{"pageid":20646880,"ns":120,"title":"Item:Q6858374","lastrevid":84255521,"modified":"2026-05-14T06:39:44Z","type":"item","id":"Q6858374","labels":{"en":{"language":"en","value":"Hardness of monadic second-order formulae over succinct graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8159490"}},"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":"Q6858374$CCE595B0-D3F7-49B1-802E-95517DCD62A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d98fff05b686b79957121be32921e2bb705d8aa1","datavalue":{"value":{"text":"Hardness of monadic second-order formulae over succinct graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6858374$B16DA841-228B-423B-B3DC-4CD05F4E83FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"094e70b32c1649e1d486726db8e5e1a0bcfa9125","datavalue":{"value":"10.46298/LMCS-22(1:3)2026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858374$77B19AD3-8146-4DDD-B4FF-CDC0CA32A1E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38ef63f5672abdc059f6fa730c4a3f495dd41d04","datavalue":{"value":{"entity-type":"item","numeric-id":344538,"id":"Q344538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$1B7391B0-6823-4EEF-837C-53CA590AFD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dce4dfc3d818c558ca3f6f6782264a293f450ee","datavalue":{"value":{"entity-type":"item","numeric-id":6649526,"id":"Q6649526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$4FC9BAA4-9982-46F6-B89E-C463787BB609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bb75dc32f6279138751d107e3ec51fe5a165f33","datavalue":{"value":{"entity-type":"item","numeric-id":549702,"id":"Q549702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$2CDFB436-C977-4102-AAC5-1D4F1FEA9C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8f70b6480dcfbe2b16a82d6df026e1a943f3a72","datavalue":{"value":{"entity-type":"item","numeric-id":2051371,"id":"Q2051371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$F5F22219-192E-4AFB-B1FE-BACE99E9D085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"847a0dce071ee722bc3c04956959f0eb0ef2965f","datavalue":{"value":{"entity-type":"item","numeric-id":276206,"id":"Q276206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$10CE0A01-4274-4B90-A0BC-592F7019E6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36b161d0c62cab8ddd6713a08a3bed658f9a59e7","datavalue":{"value":{"entity-type":"item","numeric-id":384928,"id":"Q384928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$6A9A3C3D-7372-4924-A1A7-1470453EBE2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$B9F83CBB-EBF7-42B1-8FD7-A3D6F80ACF14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"201bc5f1c6aaafff5af492cceff0e56940339da6","datavalue":{"value":{"time":"+2026-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6858374$4BBA9B4A-1824-4412-B3B1-2C7D2722A446","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858374$7167F807-48F2-4573-842A-CEA384D4DD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858374$168E9E47-087F-43DC-B562-B09FEA7DD52E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25b95366e93de0c6d1be1f466f6d75029e88fe46","datavalue":{"value":"8159490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858374$8E60DA15-B5B7-48F4-9155-B562297D7D2F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$D73A7C3E-6FBD-45BB-A114-743BDF511B74","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":"Q6858374$2AD6FFE8-0ACC-44C2-9FCE-F49D5E7D8746","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbeb20444e497886c1a2292cd3647092be9c478c","datavalue":{"value":{"entity-type":"item","numeric-id":941144,"id":"Q941144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$AE22B2A7-4BB0-4313-A4B9-5D3F58DE26BD","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":"Q6858374$28440CA7-A7AE-4E83-A14A-B0D795EFC0C7","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":"Q6858374$B7A84E21-0673-4FB1-BEE8-821BC5B242BD","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":"Q6858374$EA72DEE1-7277-44CA-B0E1-025212FF0D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e96d9306145d304bcea884b2bae1b35f0c8f12","datavalue":{"value":{"entity-type":"item","numeric-id":5615712,"id":"Q5615712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$36A8D4F9-B43C-41AE-91D3-8792958D0763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbb66f253e8aabe9f774ba9414f12634b864d","datavalue":{"value":{"entity-type":"item","numeric-id":383833,"id":"Q383833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$6A22C571-2353-43AD-A4E5-C86A50CD19E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cede0ff806d98b3c150a87a9307eaa595358afa","datavalue":{"value":{"entity-type":"item","numeric-id":4902770,"id":"Q4902770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$C7B7BCCD-632A-40B9-9A5D-F2F8BC1E01AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d082680346b796239c6c3972af310e81cba56e","datavalue":{"value":{"entity-type":"item","numeric-id":6151154,"id":"Q6151154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$B1A258B8-85AB-49F5-95F0-E145ECF771D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f6ac4614413665cc746b0c879df053a9178935","datavalue":{"value":{"entity-type":"item","numeric-id":515682,"id":"Q515682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$9C4E557C-1568-497E-88D6-09C39B30DAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0033bc33eb314957324991df34507e05f434d84c","datavalue":{"value":{"entity-type":"item","numeric-id":4068694,"id":"Q4068694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$7AD47069-6A8F-4F40-9129-208DA8DBD1B5","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":"Q6858374$47347464-9591-4B59-A06E-8A42A39D60C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27dae5fd286600b601079313ea7c70ab9ac1b6cd","datavalue":{"value":{"entity-type":"item","numeric-id":6828469,"id":"Q6828469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$5CD41032-3281-4E87-B453-A802EC4C13D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f548ab53e01876959fa99384012f4548f897220","datavalue":{"value":{"entity-type":"item","numeric-id":3995985,"id":"Q3995985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$FCAD1836-A930-428F-99BF-8E489907420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70d25d335984640e6dfdb95e29f1c296c0c5fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3325058,"id":"Q3325058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$0AD9CAB5-7324-4D20-B855-6B80F0DDD1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8c44dbfa488b5bd1e374fbb8b00fe1343e1c82","datavalue":{"value":{"entity-type":"item","numeric-id":2766682,"id":"Q2766682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$92746390-C84E-412C-BCAB-7D53569C0A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7402dc5bdf53dcf826b894508745d7a339429a41","datavalue":{"value":{"entity-type":"item","numeric-id":4775859,"id":"Q4775859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$44140E57-CF8B-45AC-B530-367F8CE0B478","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":"Q6858374$FBC837B9-9B77-4DD7-8440-DDA437E8E5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bd69c20c34f646cd7aa65415c7f058a6ae54ba","datavalue":{"value":{"entity-type":"item","numeric-id":1189450,"id":"Q1189450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$B0BA43BF-4BC3-4CE1-8968-D4799F44C4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c1e845270f8722a572f77f99ea7688c7ac33ef","datavalue":{"value":{"entity-type":"item","numeric-id":4725746,"id":"Q4725746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$D6097B73-46FA-49D5-B448-155A6D76FD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2243d8a6cef715fa7a264ca279cc756a00bd58","datavalue":{"value":{"entity-type":"item","numeric-id":3781511,"id":"Q3781511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$E8DFBA18-5C92-4892-BD91-E8ED86488B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c43b7e3610435da5759ec0170acf5a3e0de1df","datavalue":{"value":{"entity-type":"item","numeric-id":5797034,"id":"Q5797034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858374$63FCEC85-7E18-4EE9-8BA9-45D5990DF845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hardness of monadic second-order formulae over succinct graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hardness_of_monadic_second-order_formulae_over_succinct_graphs"}}}}}