{"entities":{"Q5111886":{"pageid":7141460,"ns":120,"title":"Item:Q5111886","lastrevid":53741777,"modified":"2026-01-25T15:44:36Z","type":"item","id":"Q5111886","labels":{"en":{"language":"en","value":"Treewidth with a quantifier alternation revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205210"}},"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":"Q5111886$0BE810C3-C1B1-4650-8452-95C112C84AC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25fd4a1e94d497fea7168c90c80f9881566898f5","datavalue":{"value":"1443.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111886$988C3A44-4EDF-47AD-A2E2-C86B5BD7299B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7565b924b7d0322100d1a4b4e7f7c011486fd273","datavalue":{"value":{"entity-type":"item","numeric-id":392020,"id":"Q392020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$674D094A-5515-49D7-93A6-2BFEF8C9B93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393a0433c1e4b6cede002c1b37ffcfb820632550","datavalue":{"value":{"entity-type":"item","numeric-id":442256,"id":"Q442256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$277353F7-DDF3-4A82-80B9-67B3A65F02E9","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":"Q5111886$0086011A-E4E5-4BB4-8D5E-379CC481DFAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111886$B52F82A3-0CFF-4761-ADA7-674829F34A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111886$91E811B3-C050-4C78-BF15-5E494ACF8D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111886$6F55EE6E-61F5-406C-A1A7-9C6E35C0F218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111886$47404075-81F0-4A12-9240-7B19A616B194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111886$51CEC4BA-56F6-4298-97BC-C32A2240B359","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc0aa2c7ca3839829e4a46835618ab590cafbbd6","datavalue":{"value":"7205210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111886$784828D5-D9EE-4054-9F27-5F8415C733DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111886$6B6B33C4-915E-465F-B8A5-F3D3908F5FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0974d841ba27603503b56afd092463f7ab4b17","datavalue":{"value":"exponential time hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111886$050AA0E1-A54F-4FB4-9C93-FD2635A78FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01189f2a866b2b3d4b5174a6835c95cb97988ffd","datavalue":{"value":"quantified SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111886$CF6FBB02-A080-4488-AE46-C2D8F2F88A12","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":"Q5111886$9F10166D-EB6E-4F6D-BAD4-46E2D082FA90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4b5bdc5e1b1ff1701a427c1cf9279891beb1f4","datavalue":{"value":{"entity-type":"item","numeric-id":2453562,"id":"Q2453562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$CC762FE6-FDD0-4FA8-95D8-1C36DF3CD821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f1bb038a1da50946a0172f14d7470c03c2894a","datavalue":{"value":{"entity-type":"item","numeric-id":5900292,"id":"Q5900292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$64B92A92-2D5E-4657-8746-06C2737C25F5","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":"Q5111886$38BE9777-6520-4DCA-84D0-B37C44217D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cc9cdd9999a46859ae4f667ab34baac016718b","datavalue":{"value":{"entity-type":"item","numeric-id":5502162,"id":"Q5502162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$4F72CD9D-7006-47C2-A9C2-7589FC89E75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4acb5c9881d612b5903941055a13dc3927048386","datavalue":{"value":{"entity-type":"item","numeric-id":2396719,"id":"Q2396719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$8466649E-10BE-471C-B98E-E7921024BCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b109081564ce5aaec73f22f1d0865a31d3a0cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3192057,"id":"Q3192057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$0BD07A6C-2581-4A29-932C-B6513CE7EE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114ade8b50ed5e5cdb0b0dc0a69a86d5910aa02c","datavalue":{"value":{"entity-type":"item","numeric-id":5363783,"id":"Q5363783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$F4DEFB87-E77B-4D5D-907C-D06577B27B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2004eca8b59fb4e335af91b0016bc905f92e612","datavalue":{"value":{"entity-type":"item","numeric-id":2304627,"id":"Q2304627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$7CAF7E2E-F3A5-45BE-9F9F-80E61A2E991D","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":"Q5111886$CCF33BE3-A577-4306-833C-8262AC459159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2b73c6228526681d7b631d6c9e8c4d25b5cc10","datavalue":{"value":{"entity-type":"item","numeric-id":2891355,"id":"Q2891355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$AB5AD2D8-E5BD-433C-BC5F-1F41F3ACF166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5be26686519bb8e9a89243733e0e5570f5da5a3","datavalue":{"value":{"entity-type":"item","numeric-id":2912741,"id":"Q2912741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$9DB4C7C6-DF4D-48D3-AE14-664682E30E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$89F52D53-D060-400F-9758-82F603DEF975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4548ea5d583917c0fa9b6aaa6b1d48c80c1e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$C786F8C1-7867-4460-BD87-F29BF189BA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296f973d6bb46e48f6285b5f91163c2cfb5eb389","datavalue":{"value":{"entity-type":"item","numeric-id":1759681,"id":"Q1759681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$C93BA238-8590-456C-90A2-86B01BD0A600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0704cddbaa76dd030045725c16147a7eaaac927b","datavalue":{"value":{"entity-type":"item","numeric-id":5326601,"id":"Q5326601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$97D1D2D9-7815-4EE1-9912-173EE9B962B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e84c2ed4915d3bcd69d75e7606447a75e3d13ce","datavalue":{"value":{"entity-type":"item","numeric-id":4598164,"id":"Q4598164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$63790057-8751-4045-9942-F83D7B2F56FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d59f94165f4c40f7e505b0c1b9c64e67f83f94","datavalue":{"value":{"entity-type":"item","numeric-id":385062,"id":"Q385062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$87AD3C27-8A12-46CD-A42D-B029ED605198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658dc71a78ca31c7c2d472619e1dccf4df02226d","datavalue":{"value":{"entity-type":"item","numeric-id":334935,"id":"Q334935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$27D43543-3B39-4357-8D0A-0BFA8F0AF980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1842f77683484bffccdc91d743a6b075467ae83","datavalue":{"value":{"entity-type":"item","numeric-id":3196312,"id":"Q3196312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$4DC4B891-DC93-4EED-9807-817DF78361E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744cc06de39b4daf6419488822f8874eccb75b23","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$5999B541-FBE7-4774-8E27-0DD08C5AD0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6550ec5d8cdaf90918aaf8a3cc7ce574778029","datavalue":{"value":{"entity-type":"item","numeric-id":847262,"id":"Q847262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$B07421B4-F3D1-4F7B-B0AD-BF808AEBE4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111886$3F5E2302-C74E-4F9F-8061-F268EF567AB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d50365e7b6b3e3287c0df6b6a216beb76e7db1cc","datavalue":{"value":"10.4230/LIPICS.IPEC.2017.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111886$B383F118-CCDB-403B-8DF2-973A26FACEFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b359e247de57dc72d52b95262e72847480fc874c","datavalue":{"value":{"entity-type":"item","numeric-id":1656581,"id":"Q1656581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c91571bcda4cb3586c36323ffdc8e4fcbadb59","datavalue":{"value":{"amount":"+0.7812500596046448","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":"Q5111886$156F8649-9052-4B4D-8763-F3CFEB11EE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874ad15df0aa3478d70d76d4f0ec60725ced2a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2957870,"id":"Q2957870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e1599c64a0eaeaba7e814b826753118b52d4dc","datavalue":{"value":{"amount":"+0.7716876864433289","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":"Q5111886$7432F9D2-C276-4EEB-B507-F27220117BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b65d4377b8003a3f40b1b6007d495d67e475f36","datavalue":{"value":{"entity-type":"item","numeric-id":3058691,"id":"Q3058691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c94e169e09a173b3024f6ef4fd4d2f8e130969","datavalue":{"value":{"amount":"+0.75813227891922","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":"Q5111886$E87FBA7C-5423-4239-BDB1-AE87688086E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a15edea0d17989daf78195132718b8e8fd16e026","datavalue":{"value":{"entity-type":"item","numeric-id":5505579,"id":"Q5505579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7c550ee9154db4114d0181a5203c0a04f34cde","datavalue":{"value":{"amount":"+0.7580357193946838","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":"Q5111886$AC169517-32E9-4E12-B0AD-8E2CFFC4F6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde562db48e5a183e4addf6aec3116ecde363a70","datavalue":{"value":{"entity-type":"item","numeric-id":2453562,"id":"Q2453562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513d21e93f2ad4eeace84ad41fd85c0c38e9f353","datavalue":{"value":{"amount":"+0.7561740279197693","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":"Q5111886$8888C809-6A5C-4878-8354-D9DE1626251F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111886","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111886"}}}}}