{"entities":{"Q6877844":{"pageid":20763631,"ns":120,"title":"Item:Q6877844","lastrevid":75309055,"modified":"2026-04-18T15:29:48Z","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"}]},"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"}}}}}