{"entities":{"Q6829575":{"pageid":15117379,"ns":120,"title":"Item:Q6829575","lastrevid":56019331,"modified":"2026-02-24T14:52:13Z","type":"item","id":"Q6829575","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 7246557"}},"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":"Q6829575$5EAE35D9-0CED-4FDD-99E7-B13FC6F9600A","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":"Q6829575$9A263F72-CA65-4B7F-8F30-E848B18B34BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8e3ffe525fe150d42f52aa4032100442b22d686","datavalue":{"value":"1446.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829575$30C8F39A-B6C9-4A29-8FCD-F120E7DA1AD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91983184ba592f50dbf90ee21cf52bc677d91a92","datavalue":{"value":"10.1145/3383206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829575$1726F353-1627-4543-B8A3-4E46FFFF9804","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":"Q6829575$F6325F89-5F9A-4263-8CF2-FF040A8501E9","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":"Q6829575$511A5A56-D0D8-4D04-A1D1-198941559192","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":"Q6829575$5C7C4E79-0F71-4F64-8C34-64240017F36A","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":"Q6829575$D9E9C7AC-C2A8-4CDB-BC4D-950095643028","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":"Q6829575$98A8A032-3CFD-4605-A458-3B48501AC99A","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":"Q6829575$FE57C6A2-C2EA-4DF3-A68F-1E3BEB8C4593","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e7f9373818ac2c3374d4c29cd76a7b411d60b6","datavalue":{"value":{"time":"+2020-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6829575$1DA0D443-7425-4F59-9B69-BB751D90C9C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829575$C1EE08E1-02E9-4E8F-A06F-4303CD3F44BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829575$6E23C7F7-C509-4AB7-A1F9-3D28E72F4109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829575$5163DB7B-0621-4245-B938-0AAD54627E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829575$73D774EB-E484-42F5-A9BD-279EB1B3F122","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adc37bc9d8624d1e0b321e674d19312148c3dd8f","datavalue":{"value":"7246557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829575$2EBB1501-F779-4670-951F-69723F9E35BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829575$1BEEEC64-DEBF-472E-B232-5D31D832941E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4dd8fcf4a59771b2d4e31f12530ee8411d96d79","datavalue":{"value":"algorithmic metatheorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829575$9BC32D9A-41D1-45F9-8F9C-FB23E38F8192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1787eabd5992604d274d22afb57851489655834","datavalue":{"value":"bounded-degree graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829575$57759FF2-4404-42D3-87A5-B4EB15DADA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1520de8379415749656b1e95045c660d5b7f1330","datavalue":{"value":"fixed-parameter tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829575$2422F86F-D15C-48C2-8BC4-F93D8B9F7C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829575$CF8D4834-E864-4A7A-92A3-6E2D74BC111E","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":"Q6829575$561BD7DF-F628-4FFC-94EF-B1C13E25D68C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new perspective on FO model checking of dense graph classes (scientific article; zbMATH DE number 7246557)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_perspective_on_FO_model_checking_of_dense_graph_classes_(scientific_article;_zbMATH_DE_number_7246557)"}}}}}