{"entities":{"Q5066940":{"pageid":7096516,"ns":120,"title":"Item:Q5066940","lastrevid":54285443,"modified":"2026-01-26T14:06:13Z","type":"item","id":"Q5066940","labels":{"en":{"language":"en","value":"Twin-width. I: Tractable FO model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7500709"}},"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":"Q5066940$193D71A0-8C8D-412D-BCB4-A0DD7C51B418","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39adb12babe46ee05606f63d82455e2515bc1fdb","datavalue":{"value":{"text":"Twin-width I: Tractable FO Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5066940$C0CE16F1-7546-47D0-820C-0BCA6E09A501","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"664547a7a78b360dc1c1133f4f4e88b9c613976d","datavalue":{"value":"10.1145/3486655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066940$06AEAD31-CF22-4FC2-A0A7-6EF188F91931","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ffc9ab64882a7f9515eb87005caf9401aaf99b8","datavalue":{"value":{"entity-type":"item","numeric-id":307767,"id":"Q307767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066940$C752718A-5F66-4D90-8B4D-6B7E2F8DE4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d6262efd1915025296e003f7d5373cfeaa80418","datavalue":{"value":{"entity-type":"item","numeric-id":632806,"id":"Q632806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066940$448D4436-6A59-49C0-9802-64E15BA29DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df76393ed87038bf1c1969439b7633c260225cc","datavalue":{"value":{"entity-type":"item","numeric-id":260264,"id":"Q260264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066940$3F8C50DD-A0BA-4958-A8AE-9CBC90743C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"422d41f94f8a39580a8eaa67cd40c776a7c16584","datavalue":{"value":{"entity-type":"item","numeric-id":858107,"id":"Q858107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066940$399E6659-DB30-4B94-8AD2-9C2B595E6B8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066940$6BD563E0-7618-4C77-B3F6-45465855DC08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cb51486d062318d72a3e7127aeccd5361ad436b","datavalue":{"value":{"time":"+2022-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5066940$328E3838-BA6A-4079-9045-39FABBF933A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c6aaf323d0aff985e41899da7c99073cf8d29a7","datavalue":{"value":"https://arxiv.org/abs/2004.14789","type":"string"},"datatype":"url"},"type":"statement","id":"Q5066940$9250AE9A-0F65-4840-A60C-27FD03E039D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066940$F156364D-5244-467A-8795-2381DE534479","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e7bcd96a5dffe74fa7a945848e7ffdc2f8b84e0","datavalue":{"value":"7500709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066940$12914860-E25E-4299-A0CE-55F6E13DF410","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c097985801264c9daa306a38034486689cc96b91","datavalue":{"value":"contraction sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066940$C4FD1A19-5DF1-49E9-B58A-7CDAF7AAAEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261ae0ec2a144ec2e3be1d324f46a983b7626475","datavalue":{"value":"FO model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066940$681542EB-0C8A-46EF-AC21-B3DBD2F6D2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1520de8379415749656b1e95045c660d5b7f1330","datavalue":{"value":"fixed-parameter tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066940$B2D61540-8A33-4BB8-AD4B-203B9596D7A4","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":"Q5066940$D398FF9B-5AAD-499A-A0A0-ED5788BD5B4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1685f92752c500bfbb8978828543b7a88aec5b53","datavalue":{"value":"W3216575656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066940$07B818C8-6106-4108-8CE6-8259DC094393","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"084ce2b1ec342f37cd4b6342a891bac75fba9870","datavalue":{"value":"Q131564831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066940$3C841334-A264-4308-BE8D-3A183503D157","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67e0e49539e36be7167b076efd5524a53305a25","datavalue":{"value":{"entity-type":"item","numeric-id":5051371,"id":"Q5051371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1448ef758ecbc80faff3fac73f4af9dfba52698b","datavalue":{"value":{"amount":"+0.8038600087165833","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":"Q5066940$9D2F7CE4-8A4D-4654-B742-B353CA28C201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e734efe53f046f38d093f8a07819329a18739d78","datavalue":{"value":{"entity-type":"item","numeric-id":6038574,"id":"Q6038574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a66b981954858e4e52fc46723cc59355fa54a38","datavalue":{"value":{"amount":"+0.7647990584373474","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":"Q5066940$3E55AEBD-CE01-42EB-93B0-3EC7B2288E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ab9e31e6787334dc75e8f243d4ce38bcd7c275","datavalue":{"value":{"entity-type":"item","numeric-id":3644741,"id":"Q3644741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d8ce48aefb8f9aa439ef530d092c9ef906be16","datavalue":{"value":{"amount":"+0.7575079202651978","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":"Q5066940$2A8E4684-CD77-4A1B-891F-F2088E0E99FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233ae91a1bea4fe2ae995279fa7282b7cddc0c15","datavalue":{"value":{"entity-type":"item","numeric-id":2881100,"id":"Q2881100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f27d444014f91109dbd925c41c47625c6b71ad3","datavalue":{"value":{"amount":"+0.7555271983146667","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":"Q5066940$74F09964-918B-465B-B33C-561BE348C70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7fb42156fb9d67f51d538bc278b195450a6efc","datavalue":{"value":{"entity-type":"item","numeric-id":5892117,"id":"Q5892117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4af89ed16b2d3fa2be5e48bbd53a12a6a81b77c","datavalue":{"value":{"amount":"+0.749397873878479","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":"Q5066940$AEA7AB55-0B6F-41C2-AC24-FD87FE559979","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5066940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5066940"}}}}}