{"entities":{"Q6970241":{"pageid":21324510,"ns":120,"title":"Item:Q6970241","lastrevid":84048287,"modified":"2026-05-08T19:32:27Z","type":"item","id":"Q6970241","labels":{"en":{"language":"en","value":"Elementary first-order model checking for sparse graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8054011"}},"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":"Q6970241$2F9F4F92-C351-42C4-9B44-F5C56AC4F39D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a597587b70f272a16e35696b12f56a9aefb529a","datavalue":{"value":{"text":"Elementary first-order model checking for sparse graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970241$2F76897B-608F-4418-8A8B-BE875AC03F3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c5c58318cf7111b973cfb0d6dcb14285835ca88","datavalue":{"value":"1573.682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970241$BF5E7236-D7D0-4DBC-9536-FD0830705F3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d759ee97cf5be3f05fde558e708c18d70099d2e8","datavalue":{"value":"10.1145/3661814.3662094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970241$B495991B-2561-4C82-99F6-049E4F47FCE3","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":"Q6970241$BDB10D0F-4A64-4E1D-ABB4-C913FE0F141F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e229a7272481236f52fa95a4480b3f630728e07a","datavalue":{"value":{"entity-type":"item","numeric-id":262250,"id":"Q262250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$B10A0F6C-C66F-4A0F-8442-DE31FE20D9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87853924e508a6e86d8a7fabf8145462d3cc0f07","datavalue":{"value":{"entity-type":"item","numeric-id":1380673,"id":"Q1380673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$B8067226-5167-4C13-AC54-58D9515861CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc6dedfe21f5b414287c502dbc2427a2eaaebbd","datavalue":{"value":{"entity-type":"item","numeric-id":777433,"id":"Q777433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$D438720A-2916-4E48-B128-DE4B2095FA37","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":"Q6970241$83747F0A-A865-4692-B993-A44FB90E46B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66c9695eb20dc9e6bcc46cab6b3e0d2faaff014c","datavalue":{"value":{"time":"+2025-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6970241$C91661DE-FDCC-4616-B069-1417C76D72E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970241$53B7287E-B6D0-4D8D-9013-8316A4406D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970241$422B7DD1-27D9-4958-B88F-5CAD02915921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf979f4acdc6dac710cfd0a80dde6754b28a9043","datavalue":{"value":"05C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970241$7239C6DE-B465-43C9-B7DA-82B31CEDADCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970241$1B09E97D-C385-4FB3-96D6-035AC47E7B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970241$E1FE573B-2973-488E-A41E-A625DC2687E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59fd07507203412411e433e24de589af9a163730","datavalue":{"value":"8054011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970241$CA941143-42C1-43FA-98FA-244B60C17E82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"913e1233aff4201fd8c81521f3700216d84a6d83","datavalue":{"value":"first-order model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970241$6D4D0BAC-75DF-4D06-BA63-9F384F6BE16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f7b82989b92e55f23a284155ef019acab639cb1","datavalue":{"value":"sparsity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970241$08F47E3A-A614-473E-95B0-C27BDB6C8869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85c44f51114673fd496baa063b27d62deb5f989","datavalue":{"value":"bounded expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970241$04D3B919-8730-4366-8AD7-E533DB5C9FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d958695c3337af03c7f6eeda609e9cc6a1561e0b","datavalue":{"value":"elementary model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970241$C2AE8168-0B5A-4CBB-89F2-FDCF5FE6D737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68f90e9e5aa6bdf60696b11b3a76d38c876da93c","datavalue":{"value":"transductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970241$CDC3A464-41CE-4052-A704-8B82ACBEC722","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":"Q6970241$B7ABCAD3-9E02-4B31-8504-BC5A2BD442F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$A800906A-4F9B-4AAC-8E7D-134E0E0C353E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc20b16a890e0b802023611546dee5d7c70928e","datavalue":{"value":{"entity-type":"item","numeric-id":6649489,"id":"Q6649489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$3BED4BAC-972A-40A4-A336-D435087FA156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891e4a96e84cef74698f23acf90366d7ab6238e2","datavalue":{"value":{"entity-type":"item","numeric-id":6083546,"id":"Q6083546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$0A330A28-91AC-46DF-8540-D4159CDA15C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16189b130036a859f8aa071e5d2cb4870ea1c97","datavalue":{"value":{"entity-type":"item","numeric-id":6943994,"id":"Q6943994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$EF2C7CAB-A920-469D-99BB-DD0D7503107B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$0FC75B4C-882E-405C-AE41-B66566E897BA","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":"Q6970241$9AF43130-5646-4837-BD4B-0A8D5875B825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4753b4659469e60d103626aaca4d897985fe79a","datavalue":{"value":{"entity-type":"item","numeric-id":5428869,"id":"Q5428869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$8378588D-4047-40BD-90D0-DED44F99CCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790384f48b72bd1b137923d013a11608eb3d5511","datavalue":{"value":{"entity-type":"item","numeric-id":6425726,"id":"Q6425726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$42F42CA4-6DBC-45F7-987C-066256C059A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9f370298256545bcdd2e3622e4bfb3d92881aa","datavalue":{"value":{"entity-type":"item","numeric-id":5395732,"id":"Q5395732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$43AF747C-2567-4B6D-87EF-C0EFCB8683C7","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":"Q6970241$86F30083-A3E5-49FA-9CCF-000CD108A9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37582b4c778c46bf24fc41a8cb06c175f07e6d17","datavalue":{"value":{"entity-type":"item","numeric-id":1886318,"id":"Q1886318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$070E9331-4C45-4355-A572-06481171F4EB","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":"Q6970241$05503793-A703-4E81-A613-824BD951E3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f275ea0506a1f7ccc321ea79b641b85f41fe98a9","datavalue":{"value":{"entity-type":"item","numeric-id":6124954,"id":"Q6124954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$21D23BCB-C821-44A6-9D29-753E33C2CF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c30fc0bab4ee3aac27565d5739b19b128ba367d","datavalue":{"value":{"entity-type":"item","numeric-id":5246725,"id":"Q5246725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$97A5BA5F-9176-4701-805D-B0D662DE2209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5719dc02bea8dda97c048e20b7adfbba1658805","datavalue":{"value":{"entity-type":"item","numeric-id":6829575,"id":"Q6829575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$BB9A2D96-FD17-45F3-94BC-418B9CB5835D","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":"Q6970241$80C54C4A-FA54-4397-8EF9-7070F0A5CD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e1b0277d019ca393ceb3b35d3df2413eec5a46","datavalue":{"value":{"entity-type":"item","numeric-id":6649471,"id":"Q6649471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$6DBD0A7F-9633-4B7A-A548-564D1FED7E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b52d38642291b912b3c66870b59b7955113fa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4625695,"id":"Q4625695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$20BE8521-A839-4A47-8695-348A7ADD479C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5fb187cc80eb3e2747b5856073186fefa4c6bd","datavalue":{"value":{"entity-type":"item","numeric-id":3118384,"id":"Q3118384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$8AA465A4-80AE-4AD7-A364-B23E0A179644","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":"Q6970241$1F204266-E7C5-4BCA-A0B6-CA43ABCAC69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03e6403b315623e1ade60da34538b4fc66765ae","datavalue":{"value":{"entity-type":"item","numeric-id":5109514,"id":"Q5109514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$722DA5D6-ECB6-4F90-8A81-6435C537D9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256376258f0dacc6c84417f2d334937ae797b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":1821562,"id":"Q1821562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$2983E1A8-8226-4597-8677-3B43288B2522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc173442f8c82f3f058427b0595787b41061bd0","datavalue":{"value":{"entity-type":"item","numeric-id":6638142,"id":"Q6638142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$86D84C13-143A-47B9-81F0-F62EAE96D256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d639d539a34bd9f2eadace636bc10b6d7599ff3","datavalue":{"value":{"entity-type":"item","numeric-id":2426456,"id":"Q2426456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$C9A3870B-EA43-4B79-9C5F-D8F8FC0B9259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1126028165ed25aec0b23ea9dd66a35457a4e03a","datavalue":{"value":{"entity-type":"item","numeric-id":419416,"id":"Q419416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$FBF51B19-5419-403B-AD4F-E4D3200FB2CF","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":"Q6970241$F9C8447C-0487-4206-9211-3C9998675FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae5ede929e7b87d6a8284085c7e105d8c5485dc","datavalue":{"value":{"entity-type":"item","numeric-id":6942926,"id":"Q6942926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970241$1EC86A7E-93FC-4583-A4DA-682C0C4098B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary first-order model checking for sparse graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_first-order_model_checking_for_sparse_graphs"}}}}}