{"entities":{"Q6829574":{"pageid":15117373,"ns":120,"title":"Item:Q6829574","lastrevid":56019322,"modified":"2026-02-24T14:52:12Z","type":"item","id":"Q6829574","labels":{"en":{"language":"en","value":"A new perspective on FO model checking of dense graph classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863487"}},"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":"Q6829574$F0E384E9-3F3E-416C-8DEE-A2A241B8C9C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"170b244e6ab31040f3e154133811ad281b78e0fc","datavalue":{"value":{"text":"A new perspective on FO model checking of dense graph classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6829574$2D63CDDC-ACCC-43E8-B430-A8D1FE298A13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3fe741918ae5f003d19bc3e72f389362d68a81f","datavalue":{"value":"1401.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829574$26A79D52-D174-4F31-A896-412085FBABD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"166fbbb273fb38e4326674c9afa31e36cc15f741","datavalue":{"value":"10.1145/2933575.2935314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829574$A8E9891F-3071-4F06-9324-090D50F8E837","rank":"normal"}],"P16":[{"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":"Q6829574$9E388FAD-2E82-4720-B384-168364FD3FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f97addcae0de185068af846d9968c1df864cbf3","datavalue":{"value":{"entity-type":"item","numeric-id":175586,"id":"Q175586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829574$C3DFEEB5-1EF7-46A4-AA10-AECEA61C120C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eaf352a32aa38da3c724a04881fe6df68b2c948","datavalue":{"value":{"entity-type":"item","numeric-id":281931,"id":"Q281931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829574$7887E21F-7C5B-4926-9E3F-D4C82A51691B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeb4c89d5d605ec5921eaba11728477f0fd055d5","datavalue":{"value":{"entity-type":"item","numeric-id":270004,"id":"Q270004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829574$CCC24C0A-07D6-458D-9847-49EC7F93EE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d78a82da698148056c3afd2babd570ff0a03b6b","datavalue":{"value":{"entity-type":"item","numeric-id":261391,"id":"Q261391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829574$5F20CC23-84DF-4A66-915C-1DD66EA2BA8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829574$2A8C312A-EB14-4969-8EE7-EB28BEFD6116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6829574$B472D550-EB3D-4163-AC73-76E1589E78D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829574$826E5718-B175-4001-8424-2A81729E574D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829574$4B60D089-0A2D-4AD3-980D-96F3E8E64F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829574$AC58CD85-E04D-4DEE-809F-6CBF85BC611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829574$C05E7143-FCD4-4FA2-884A-23C26E53D154","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5bcac004e18ff85711b8e508ce56e2f9737719b","datavalue":{"value":"6863487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829574$7099F150-2F02-4F57-99AB-F9DC5CFF1638","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48e4a28f4bf06654535a7ebce566139681001b5","datavalue":{"value":"FO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829574$510A2013-E4BE-430F-8A10-06E0C87BFC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c15160ec5a6060deae531ee8574c233bf8b315","datavalue":{"value":"logic interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829574$3050720C-A08D-4055-9A6D-A53F7A2DA04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829574$26578F53-6C10-4E23-ADE9-0CE0F99F8979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829574$57091514-D94E-48C1-A61D-FAC8EFBAD8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346db3c5fdcc4b75918a63f298300795c8703d09","datavalue":{"value":"sparse graph classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829574$DB6D747D-D214-4F10-9EAC-A05667C9CE18","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":"Q6829574$16C805F1-6749-46BE-BF52-42B3177E5EB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new perspective on FO model checking of dense graph classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_perspective_on_FO_model_checking_of_dense_graph_classes"}}}}}