{"entities":{"Q5111875":{"pageid":7141449,"ns":120,"title":"Item:Q5111875","lastrevid":58430937,"modified":"2026-04-05T04:48:30Z","type":"item","id":"Q5111875","labels":{"en":{"language":"en","value":"\\(k\\)-best solutions of MSO problems on tree-decomposable graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205200"}},"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":"Q5111875$28B294C6-3820-462E-9835-3BC2E7ECB6D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e11de2e1d62e2a0084f21f9195e334944d51c044","datavalue":{"value":"1443.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111875$D4EC9106-9EF2-4318-993B-36768263EF91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c957339beeae6f46596c701e650eab7f54dbbfce","datavalue":{"value":{"entity-type":"item","numeric-id":283880,"id":"Q283880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$68C2C898-8E85-475E-9DE1-DAFA0021B7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20cd2f0f508df1ba27cd31fd33809256bb79841","datavalue":{"value":{"entity-type":"item","numeric-id":4636532,"id":"Q4636532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$51ADCFB9-51DF-4B73-8C52-5615B0F7ED0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111875$59DD73FA-542F-4228-9B48-27A273E5CFB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"161316b722f66878f7791aefd12aa73ea02f5f56","datavalue":{"value":"https://arxiv.org/abs/1703.02784","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111875$FA8AF0C0-0FA0-46D6-B37C-B1A663AA8EBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111875$6CA513CE-F96E-4F49-8442-4081DB6546CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111875$19D4D5F4-E0BC-41A1-9758-50687A0B689E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111875$6DD61905-DD4B-4B32-9E70-574769D3C94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111875$3E2A8061-F0EE-4A40-9E6F-B16D84DF7BEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58350e1f8e3c68b3e9f83a03d8d936b047c01302","datavalue":{"value":"7205200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111875$CDD9402D-0CDE-45E4-B60C-FC4EADA30D7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a38b11968d7cb86be0842b661cd5bdd713115f5","datavalue":{"value":"graph algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111875$CDDA64B7-7ECC-45DE-A7A7-99EA8BCACCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff2e5040b815c0cc6366d20924244e9c75e3c76","datavalue":{"value":"\\(k\\)-best solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111875$EE0E0FC6-6088-4F2C-8C71-5B802264EA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111875$2352B62B-A06F-49B4-8C2F-AD2998774330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111875$12D91FF3-3DB2-4023-866C-D0EB5D4E157E","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":"Q5111875$5FD42C3C-5EA8-435F-B085-4731EE0D5E0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"095a2c7fbff66ac520cc4c9106e377a921de4a80","datavalue":{"value":{"entity-type":"item","numeric-id":4003441,"id":"Q4003441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$AE972ACD-1D9A-4A3F-BFAA-AABAF4D6A39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfbc9d9d1cb5ef7de4fec664dfe6df25c713dc86","datavalue":{"value":{"entity-type":"item","numeric-id":4285634,"id":"Q4285634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$0E7EDFB1-2E3D-491F-9F89-F6E4493DFD6F","rank":"normal"},{"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":"Q5111875$FB17ACE7-01F4-4F52-9479-C3BD158E7B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be3970bbeb5763bd476ec3ae32dc6811c75f4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3782818,"id":"Q3782818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$E5340FB4-0A5B-4B09-B01E-CFC832060B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6746e39a6bc17846885e1a7957d6a905871e2fd0","datavalue":{"value":{"entity-type":"item","numeric-id":4694755,"id":"Q4694755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$F4077ACB-81D7-4FE0-930F-04F78ABBBF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$81FE0AEF-DA9D-4F86-8430-1F8A552501EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae867168c941791a545c80d9051c23a76351caec","datavalue":{"value":{"entity-type":"item","numeric-id":4210129,"id":"Q4210129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$047398B3-E8CB-445A-B092-A9F1F722A8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7da92b1a880332ce19ab783aded05689cf56911","datavalue":{"value":{"entity-type":"item","numeric-id":1090343,"id":"Q1090343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$AB6EAA35-1AA8-4E27-AE77-DAC6D948C639","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":"Q5111875$D91950E1-EF98-4683-A373-2CDABA8F3DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7063d0442c53e72e4d7aa07ea9c08e9fcc430f","datavalue":{"value":{"entity-type":"item","numeric-id":685464,"id":"Q685464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$5874AFCC-24CB-479E-9491-C427FC63CF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e889b39f04a0cb91775c6e359cfd2a9b970ba0e2","datavalue":{"value":{"entity-type":"item","numeric-id":1302605,"id":"Q1302605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$18ACE687-63A5-4704-B07D-FB3EEF0E634B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579adb7a3f80eb6028df4cf77600de33d9e7a8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1117690,"id":"Q1117690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$AEDC7102-9B01-425D-8A22-EFB70E7F2178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a828b43779c3f40de248eb0e5024ad5540b0819f","datavalue":{"value":{"entity-type":"item","numeric-id":2904750,"id":"Q2904750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$DAC7D90D-7597-47F7-B21F-96002844477B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0303c1310c6269f943946baba9f3fea3e54f47d","datavalue":{"value":{"entity-type":"item","numeric-id":4210169,"id":"Q4210169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$95C62863-9501-4189-BA3A-2635D80821E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f7f0623b4276f85fefbc0d442a640c788f9427","datavalue":{"value":{"entity-type":"item","numeric-id":4967175,"id":"Q4967175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$112EDA16-B5D0-4C8D-824C-D95331F16AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc2f26a656de01eb00f20b27dad82d83123bad9","datavalue":{"value":{"entity-type":"item","numeric-id":4377592,"id":"Q4377592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$28142C75-E386-460F-A27B-1724EC0E2FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$472CB1CB-7A34-4383-8501-C642B88849FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1519a1937b060864f88b39bccdc88699e14cf2","datavalue":{"value":{"entity-type":"item","numeric-id":2366561,"id":"Q2366561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$BAE33241-4898-4571-9B61-BA62BD080E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034cfe80e57a0ed3d2bb30b7fac411998868354e","datavalue":{"value":{"entity-type":"item","numeric-id":4116059,"id":"Q4116059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$594A997E-5F77-4A99-84E6-6AB8819E965B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f3720f7620b6f709c5e9458959ca7cf92fb437","datavalue":{"value":{"entity-type":"item","numeric-id":3956415,"id":"Q3956415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$4D07507D-E23A-4EB9-BA63-92BC074833CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7100b8d425431552f17a98423766cda45222cb3","datavalue":{"value":{"entity-type":"item","numeric-id":4625648,"id":"Q4625648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$5ECB3CBE-9AF7-4115-A1FC-992CF45C0CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb459093684ac610dff8611dc9d159f242cb8477","datavalue":{"value":{"entity-type":"item","numeric-id":5623536,"id":"Q5623536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111875$F955E99B-816B-49AC-8B12-7283B09109D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05f1bee527dc2b750d01f1e71332da444ebb123f","datavalue":{"value":"10.4230/LIPICS.IPEC.2017.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111875$606610F5-8452-43C9-A02A-86659D6F0421","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfda8dc8782d363b74f688b83e1544d96813833a","datavalue":{"value":{"entity-type":"item","numeric-id":4967175,"id":"Q4967175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33f25d2db80a930e00b4a87f6fd8f642b542357","datavalue":{"value":{"amount":"+0.7981473207473755","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":"Q5111875$73683A6F-4EAC-4F1C-9E48-F684A8AFDD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2c90062e7826b3197301c5c07f1ccdea795195","datavalue":{"value":{"entity-type":"item","numeric-id":4636613,"id":"Q4636613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed70de526d68ba193355eba890f1576b219dfb73","datavalue":{"value":{"amount":"+0.7892428040504456","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":"Q5111875$5C2F7257-4DC5-41F5-B40C-E68B8C03ACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f84cd4c21695b046416ab8c1a8501a5f06dd8c1c","datavalue":{"value":{"entity-type":"item","numeric-id":1040982,"id":"Q1040982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c71829f8e6f5c7810cd7cb30ad61c537042fc9c","datavalue":{"value":{"amount":"+0.7823355197906494","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":"Q5111875$6C007802-1DE6-4E4E-84B6-16D9DE41249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b866adfc5523e21ed290b05aa4df60f061a964","datavalue":{"value":{"entity-type":"item","numeric-id":5643805,"id":"Q5643805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f04eaeb736810c8e049a8abf93065be9b6732f","datavalue":{"value":{"amount":"+0.768279492855072","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":"Q5111875$52F0B300-8947-4E6D-8010-FF4F049EE3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a13a271734cc151a40fb348359a096ee2a27c7d","datavalue":{"value":{"entity-type":"item","numeric-id":3812222,"id":"Q3812222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac7e3ed1a9e03c799d7febf1b13d4472112fc08a","datavalue":{"value":{"amount":"+0.7652259469032288","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":"Q5111875$E3935ED9-3590-4BEF-8CAF-220E6915F815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111875"}}}}}