{"entities":{"Q6877844":{"pageid":20763631,"ns":120,"title":"Item:Q6877844","lastrevid":84219497,"modified":"2026-05-13T18:11:36Z","type":"item","id":"Q6877844","labels":{"en":{"language":"en","value":"Computing and certifying twin-width using logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8142093"}},"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":"Q6877844$1F175546-3AB0-43AC-94E0-ADB2137A6644","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e892bf90b4c1462091db5d0258e93cd46868f1a4","datavalue":{"value":{"text":"Computing and certifying twin-width using logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6877844$85DDC82F-2481-4994-941B-5E5EE30B0C1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc43d22ef4e71ad4810c75bf6274106f801cdfff","datavalue":{"value":"10.1145/3769869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877844$9CD21247-0CC2-44D2-A6B6-456A2BCEC764","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"693b10c86dd171eaa1d3c9be5d4be01094006595","datavalue":{"value":{"entity-type":"item","numeric-id":5101316,"id":"Q5101316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$A5DD6C2A-061A-4EA6-BDE0-2F33D338A1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$9D6E0FF1-8F89-403C-8ABB-B8FE65618203","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$9633B719-8037-426F-9054-46330CB8FD6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30460481f40870847744a54f753e4c9192f920c1","datavalue":{"value":{"time":"+2026-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6877844$122C6134-A4DA-4D31-84ED-304B76F2B585","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877844$E6CB6F16-7FD2-4A8E-AAFC-104D9AF01F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877844$98CBE9F0-26F8-4E79-972E-69E4AAA2935A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"304fd86cd0db499be175532a28833d5e19926745","datavalue":{"value":"8142093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877844$6DAEDC4D-13FB-4E0B-A074-25B5808F4A95","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":"Q6877844$DEE07738-DE0A-4970-BDD9-92FE10A738E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93fec7762af342aa421aae27c666c47477920bd6","datavalue":{"value":"twin-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877844$38ED85C1-C72B-4A1D-8A46-D9286866DCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877844$AF5BE582-2C09-4EF4-BE05-49CD672F331E","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":"Q6877844$770B1BF1-D7B3-4CA3-A357-30FECBA2D2B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"270610bdb98f351bd8bdf4eb26282c6fc32e063f","datavalue":{"value":{"entity-type":"item","numeric-id":5043639,"id":"Q5043639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$73D111D5-6C83-4F44-A9DC-9AF66DCEE436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292c066280bf1b8a46804f096fd834afdc6e80f0","datavalue":{"value":{"entity-type":"item","numeric-id":6986956,"id":"Q6986956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$1F54CE65-7812-4BCF-AE3D-8330FDD4E977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$EB6723FB-AE78-4B6B-AF70-6386D097D275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04558efcae76106a71576c57395e3b23f63567bb","datavalue":{"value":{"entity-type":"item","numeric-id":6926172,"id":"Q6926172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$E319968B-FB9F-4534-9894-39A5AA832860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fff4eb8335eb93ca1e51abbf0c58e9d969842c","datavalue":{"value":{"entity-type":"item","numeric-id":6902718,"id":"Q6902718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$138EE5CD-48AA-4CB0-8300-44A98571B694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e450884726dc5a5a1e767288552c937c14ea79","datavalue":{"value":{"entity-type":"item","numeric-id":6560802,"id":"Q6560802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$BDE8EACA-89E3-420B-ACF2-5A64941985DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d2c18f4407836386f1b7966b91004e651bcece","datavalue":{"value":{"entity-type":"item","numeric-id":6926166,"id":"Q6926166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$00B504F0-5642-4D6F-AC8A-DAC5AF8B9015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d648f908ba7de6b1d0ec8db968a669eeef140d03","datavalue":{"value":{"entity-type":"item","numeric-id":6147374,"id":"Q6147374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$92E5DFDB-CCD2-46DC-93C9-453BC274FBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641efc7ca106dc9ad048284a7c75753fa1e78947","datavalue":{"value":{"entity-type":"item","numeric-id":5066940,"id":"Q5066940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$85D023A0-BFCF-4087-8478-013888865B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed91ed0176924a73cbecba9388f8a04535563e10","datavalue":{"value":{"entity-type":"item","numeric-id":4954442,"id":"Q4954442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$E51D5180-B718-4D1C-8975-C85D23C3AB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8539d1fcf3cff5fbb08dd6973662b887ad57892","datavalue":{"value":{"entity-type":"item","numeric-id":5534028,"id":"Q5534028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$70AADF79-E94E-48F4-A6D7-DE8B0F36BCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1107b06bb0a620ad9f0b2e1579c2e890229dff","datavalue":{"value":{"entity-type":"item","numeric-id":5232758,"id":"Q5232758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$B4CA5DD1-5219-4604-8B62-966A16C2D868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fcb84c0cc3125356ac0cb10ab6144e22fc47a88","datavalue":{"value":{"entity-type":"item","numeric-id":6572028,"id":"Q6572028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$E73A8931-75D5-468B-BF41-2A0AB1FF5C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d27dacc5c86087ff2495c99b8279b01d00250f","datavalue":{"value":{"entity-type":"item","numeric-id":2716030,"id":"Q2716030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$169B2579-6F54-4EAD-88CB-E1B3B403EBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e276c8b9d1c018afe6634feff4b7cfc1ada76753","datavalue":{"value":{"entity-type":"item","numeric-id":6829581,"id":"Q6829581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$63FC5DC0-201A-4896-87FD-592FA699F42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68db5bcd5934e4d26b7244c422d4f6f73ae055ef","datavalue":{"value":{"entity-type":"item","numeric-id":5383966,"id":"Q5383966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$BCEDFF0A-7176-4740-A76D-866C71F5C88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ad84d0a1a74f90cb7eae653f4eece82f4d2372","datavalue":{"value":{"entity-type":"item","numeric-id":458504,"id":"Q458504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$893D8A7E-5C7D-4DD8-938B-278E53C458FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262d53b73609faf2dac1a3230c03aef4e738e335","datavalue":{"value":{"entity-type":"item","numeric-id":6829035,"id":"Q6829035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$DA3EE888-3AF4-4863-ABD1-7892D08FD868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$68F9D00C-BDFF-4F97-8C15-D1A54105C7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c68fd4fe0392a488b2617086b340935805e906","datavalue":{"value":{"entity-type":"item","numeric-id":6926168,"id":"Q6926168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$46E7CDA4-B00F-4D3A-AC80-7615A1D6C137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ca141c898326cfe034e4da2d173763055f4264","datavalue":{"value":{"entity-type":"item","numeric-id":3128916,"id":"Q3128916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$388DBED5-1857-438C-B425-EE514F6A7CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f646046f02cde628a0680327261c8770d27e5ab","datavalue":{"value":{"entity-type":"item","numeric-id":2437295,"id":"Q2437295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$9C4FDBC5-9F53-429E-A064-8DF19083CB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a8c8cbd997b49d7339c2daa90b98a65c94da1d","datavalue":{"value":{"entity-type":"item","numeric-id":6926171,"id":"Q6926171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$25FA8FCA-DB4A-4AC5-9CC1-48D2A8703C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cec0d902e3fbcf7273174b450a901b527681eeb","datavalue":{"value":{"entity-type":"item","numeric-id":3637156,"id":"Q3637156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$D4CA8812-97A3-4B13-A2B1-1CA1BAB29F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758de08f76b856a5be7a3dd1d85c5b603c4c6f6a","datavalue":{"value":{"entity-type":"item","numeric-id":6543128,"id":"Q6543128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$7959ECA5-28B4-49B8-80F5-E7E7B3269BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febbd71a4f163b948656512f36a0b8c162fc3eaa","datavalue":{"value":{"entity-type":"item","numeric-id":6067037,"id":"Q6067037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$A6489FAA-DE59-4626-9430-5A2535890B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$613B7AFC-112F-4AEC-BCCB-B97EE92A70EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877844$2736BDB6-DDC1-4DC6-928A-242E92876F52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing and certifying twin-width using logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_and_certifying_twin-width_using_logic"}}}}}