{"entities":{"Q5145356":{"pageid":7174927,"ns":120,"title":"Item:Q5145356","lastrevid":58456563,"modified":"2026-04-05T07:30:03Z","type":"item","id":"Q5145356","labels":{"en":{"language":"en","value":"Parameterized circuit complexity of model-checking on sparse structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298804"}},"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":"Q5145356$7D71DDA1-BB50-4C68-A546-CE22AC25DBBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e27c3de692f6f21dfbd2d80d2b7b43ca9f3a2ede","datavalue":{"value":{"text":"Parameterized circuit complexity of model-checking on sparse structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145356$C4A9E063-96F2-4024-8C40-363C6FA3D060","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47b7918d6e052b193ffdd7f721a95e09d190517b","datavalue":{"value":"1497.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145356$28FA3AFF-255E-4FC7-9692-283971AFA56C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69ab4452c81da1f0a3bcb415644bef53a25a27cf","datavalue":{"value":"10.1145/3209108.3209136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145356$AB4B7ED4-4E0C-4027-B763-D403AB699BF1","rank":"normal"}],"P16":[{"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":"Q5145356$7F666734-6AB9-4F97-BC67-8181858D9551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6f61c2516aa40ce87ce4cd042da97159dcc1258","datavalue":{"value":{"entity-type":"item","numeric-id":322315,"id":"Q322315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145356$ED925B49-D78C-4A7F-9FFE-D171C47AFE2C","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":"Q5145356$8472198D-7A30-4152-8BFD-C3341B0948AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145356$DF8A55F3-00ED-4F11-AE15-73E58087A6D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145356$4A483F5E-8AB8-49F0-A5B3-7C1A60AD42F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e568c9bccb07febb4fe3b56f77b89488902e6fc8","datavalue":{"value":"https://arxiv.org/abs/1805.03488","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145356$78F93B2D-D210-48C5-A7AF-1921F5CA5B02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145356$A785796D-27A1-45A3-9020-B95B6782F586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145356$58FFC2FF-CE66-4B0F-B88A-DFE2D9D8B7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145356$567F3DFF-1EF7-41A1-ABE0-8860DBC053F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145356$8B35E96A-A931-43A8-ADFC-C199011B417D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145356$2F700AF0-5FDB-4006-A55E-CAFA4B7C6951","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93e20bd0c6f7c3a14fa2a775bb0d55c88e9772d0","datavalue":{"value":"7298804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145356$5A545A71-58D0-4E14-BE2B-6ACFE1EBD404","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":"Q5145356$41DDA7F9-305F-4F7D-9457-42DD993A12B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9dd307497569ff9b05ce483a53a50030728566a","datavalue":{"value":"W2799268901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145356$0EE79B28-2D41-4A6B-BB9A-EEBAF9F71171","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f0e96ec480ea9705a2e3afbbf53f09f9e62ebf2","datavalue":{"value":{"entity-type":"item","numeric-id":5111174,"id":"Q5111174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd753ca4a275618eeaa50181363eef1c39c3ed1","datavalue":{"value":{"amount":"+0.7695266604423523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145356$09F2FA37-2481-43C4-9FEE-8C09E1A35CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e006ecbb92e0971d5ec850ebac7b1705691407fd","datavalue":{"value":{"entity-type":"item","numeric-id":3507457,"id":"Q3507457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e364556c838d4797f6c646fb9e29c92ec2cfa3","datavalue":{"value":{"amount":"+0.7668626308441162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145356$C92D2C91-AC3D-4B74-81A2-35D435506E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c75ef98a2d0d9d1f3e21d6eab9f831d7abf2014","datavalue":{"value":{"entity-type":"item","numeric-id":4972729,"id":"Q4972729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9ea469a336f91a280222167eb9871c7e8f04fb","datavalue":{"value":{"amount":"+0.7628592252731323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145356$F4FCF479-DBA2-42A6-9A49-5000A61E7A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b68a58bd352b714d2d2ac4de514e76686f1d07","datavalue":{"value":{"entity-type":"item","numeric-id":5002812,"id":"Q5002812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9966f5ad3db878f8055fb4cb08b4ee0a95163d91","datavalue":{"value":{"amount":"+0.7485877871513367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145356$579C4FB9-167E-4DCC-95D2-C09296414CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc142731f9e2426815a6d4b65e69dec12748ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5121280,"id":"Q5121280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0ee11bfa6fc3e3b6b14705a8f669061dae5059","datavalue":{"value":{"amount":"+0.7449744343757629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145356$0403C108-ADB2-42C5-96D6-FCC058189D6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145356"}}}}}