{"entities":{"Q6649489":{"pageid":14260646,"ns":120,"title":"Item:Q6649489","lastrevid":100155698,"modified":"2026-06-05T21:31:04Z","type":"item","id":"Q6649489","labels":{"en":{"language":"en","value":"Model checking on interpretations of classes of bounded local cliquewidth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7954869"}},"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":"Q6649489$E18E8EBB-D465-42B8-8E7B-4FA9AE3072E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf95dd5b7e9e240b9ba6389335edd75de3352f67","datavalue":{"value":{"text":"Model checking on interpretations of classes of bounded local cliquewidth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6649489$6A0F1BA6-D4B7-4A1A-8776-9B1D4E73DDEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"664da91487bc19a63a0b36e7bb80fdf4782e1db6","datavalue":{"value":"10.1145/3531130.3533367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649489$E676F37C-EF9D-46F4-93DA-5C137C2EA6B6","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":"Q6649489$E5A1237D-D76C-4134-A2C2-027AAD3867DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff8a303ebc3572d959dd3aa68966491e3a754df1","datavalue":{"value":{"entity-type":"item","numeric-id":2065918,"id":"Q2065918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$596318CD-B4E2-4DAE-8A63-DF1A416B9E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a33ff321cc56708124a2bb2e3e999c74f6be77","datavalue":{"value":{"entity-type":"item","numeric-id":340578,"id":"Q340578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$25362A77-4B00-4E37-A95A-A68B65F76268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$3D7CBC97-387A-47F5-9CB3-67507F00452E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b3d056003a136102f99059c28f854a2b9bdcc84","datavalue":{"value":{"entity-type":"item","numeric-id":6168492,"id":"Q6168492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$8138FE62-CBE8-45D9-ACC5-2D378A26DE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab41c88f1c0d13d481bd105e9d460bc074a8bfb","datavalue":{"value":{"entity-type":"item","numeric-id":522324,"id":"Q522324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$62E866AC-D170-4FBF-B50A-CE34B3AFDD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb8895ab41da7ca8777b6718ea89096c669323e0","datavalue":{"value":{"entity-type":"item","numeric-id":286117,"id":"Q286117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$3FA39BEA-C4B9-4009-ACAD-1E90E42FAAE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66247bf01cf793896a6bcf8ae45be2cb3774bdfc","datavalue":{"value":{"time":"+2024-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6649489$DBB30CED-FCE5-4A43-987E-4C9EDA7E7956","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649489$B478B116-93CC-4A20-9B53-C653532C6854","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f89022d39dfe56c72bc88cb66dbe36744ba3df3e","datavalue":{"value":"7954869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649489$B279CBC1-E1FA-4FCF-A458-3C18E3F517C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649489$543E6A8D-6210-44AD-8BD9-E79A208EFA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649489$51C33A8B-0C9B-48F1-A819-BFD731D2B43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f7fb2ef9e1503f916fed57362b97a2fae99d3e3","datavalue":{"value":"locally bounded clique-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649489$50EF1E6B-7A3A-4044-AD2C-4EC86BA5C1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e616731b207d41c8716f31740930a03111c2b66","datavalue":{"value":"locally bounded treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649489$9334B0EA-E610-4225-9605-1BEB96339209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649489$03F452CE-BC20-4DA0-93C3-81646631BC51","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":"Q6649489$E206ED4C-4F54-4AF6-A61A-464A5E7EEAE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b01feb212a3afc89a4d95dc95ece34614827ee","datavalue":{"value":{"entity-type":"item","numeric-id":2441640,"id":"Q2441640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$5CDA865C-B7FB-4AD5-879B-D379E883EDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef19537f6117a60da11938622219bc015c36a55","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$DAC74873-7ADF-4277-83E8-49BBD8533250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35131bb98d4c4d4270eb3f15be8ab3de35cd9e2","datavalue":{"value":{"entity-type":"item","numeric-id":2496296,"id":"Q2496296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$D259A38A-74C8-4B6E-9430-91E2EC699799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"805fa55b044c9ba24711ffcc0842d00203a872f1","datavalue":{"value":{"entity-type":"item","numeric-id":5051371,"id":"Q5051371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$942A2951-F86D-4791-8FB9-6703E433EDC5","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":"Q6649489$C74B2246-534D-460B-A3DB-B9FDCD9CF6B3","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":"Q6649489$3C7B7F26-D591-41B4-A440-B2DF139F89A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$8DA5703B-76F8-4CB7-AA4F-1A096B6B78ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fe56184955dbba620e4cb94dc309dfe37fcc19","datavalue":{"value":{"entity-type":"item","numeric-id":1974445,"id":"Q1974445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$BF4CDE05-C88C-4015-AC12-2401465D2B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc580406003f6782098c13814ea47c2513e69187","datavalue":{"value":{"entity-type":"item","numeric-id":2719133,"id":"Q2719133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$D2E85CCE-3B34-4691-80D3-58D4F62F540F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea79ffe3a076af8b924158860accd261638c485","datavalue":{"value":{"entity-type":"item","numeric-id":3196630,"id":"Q3196630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$27DEF232-A20D-4FB0-BC48-FDC023AF03A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$3F8AEBC2-4176-4295-BAA3-9AE0DB419194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8b0cd413cf857f8f91c865df31bc8a10cb20d8","datavalue":{"value":{"entity-type":"item","numeric-id":5121280,"id":"Q5121280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$F582FC25-5F58-4F3D-8BA9-A5A4AD0D5911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f98579babad1d3f43a436b18b05cf9c213b9d3","datavalue":{"value":{"entity-type":"item","numeric-id":395003,"id":"Q395003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$FF65C24D-3584-4350-9DAA-950EE433453D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90870b52f69b79e9f1be8991c81685fd47daf61f","datavalue":{"value":{"entity-type":"item","numeric-id":3546332,"id":"Q3546332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$EDCD3E63-D34A-42F0-8836-3FFECD4D0416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b98e9da72efd60948bed420d49805851331a0feb","datavalue":{"value":{"entity-type":"item","numeric-id":705070,"id":"Q705070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$41DB68DF-E701-4077-9AD2-E2877A6C6C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e28f967fe1a78b6763b8821453d654cdd54f21c","datavalue":{"value":{"entity-type":"item","numeric-id":3172385,"id":"Q3172385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$929F55FA-B93C-4E80-87BA-B26FF646F49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f667bef7ac3ae9f0106445452565cef5d096e82","datavalue":{"value":{"entity-type":"item","numeric-id":5417630,"id":"Q5417630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$71927214-0455-42A5-A824-4F2A0AC290AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb6e62b8817c473ff82720b67ee7cc9d4841f89a","datavalue":{"value":{"entity-type":"item","numeric-id":1880214,"id":"Q1880214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$6F1E312E-D22C-4A7C-ABC4-75D8C9DDCAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5672a9a050e78389babfc92e2e09f525d2e2137","datavalue":{"value":{"entity-type":"item","numeric-id":1336641,"id":"Q1336641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$A9A61CB5-A902-4120-90D6-9C75D16AF95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afaf167acb41a17b77c26049cb0fe2eef709c04f","datavalue":{"value":{"entity-type":"item","numeric-id":5146844,"id":"Q5146844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$43D1246E-7A26-4D88-96B4-91EAF5124E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41160fec28fb6d19553242c194790544d20a6616","datavalue":{"value":{"entity-type":"item","numeric-id":2225428,"id":"Q2225428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$BC92714A-80CD-4F83-817C-28BBD45B1BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea587c95b7231ee2f30c675a05e440be741861c2","datavalue":{"value":{"entity-type":"item","numeric-id":2496203,"id":"Q2496203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$AFA9F42D-14D0-43E1-999A-D941000FF7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1c99b5e86f223d5c1ff49e75861b6b03bde055","datavalue":{"value":{"entity-type":"item","numeric-id":4193515,"id":"Q4193515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$4078E73B-8838-4FD5-A22E-86B4BD657B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147043b699458bdb6af35631312a51a6952fa481","datavalue":{"value":{"entity-type":"item","numeric-id":5284545,"id":"Q5284545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$BF3F9F55-965E-49A5-90C6-575C61C41DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51159239e04b5bddfbef23846d8c30fe25e60153","datavalue":{"value":{"entity-type":"item","numeric-id":4767312,"id":"Q4767312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$34951DE9-1F8A-444D-8293-95E51A318463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9020c959fd2fe6830eb570bdc5090e181554ced","datavalue":{"value":{"entity-type":"item","numeric-id":5255892,"id":"Q5255892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649489$309F8599-72FF-49EC-B54B-33908D9A6815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking on interpretations of classes of bounded local cliquewidth","badges":[]}}}}}