{"entities":{"Q7031986":{"pageid":21694803,"ns":120,"title":"Item:Q7031986","lastrevid":77528600,"modified":"2026-05-04T19:22:13Z","type":"item","id":"Q7031986","labels":{"en":{"language":"en","value":"Near-optimal lower bounds on quantifier depth and Weisfeiler-Leman refinement steps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7980084"}},"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":"Q7031986$58217106-EFB9-4491-99FC-C196C4A096EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45cd8c8037eac4afa53bedfa2618e2f44ce2aee8","datavalue":{"value":{"text":"Near-optimal lower bounds on quantifier depth and Weisfeiler-Leman refinement steps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7031986$B64EA93C-C79D-4E25-93D0-712BF077510B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab64e2c28f9cee8eab5d527720a66951aa48e76d","datavalue":{"value":"1559.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7031986$C1EA6C20-BF95-457E-BF14-7CBE66937FB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a91e17c5f47d428bcfacbdfc8ea62c6b1febaef","datavalue":{"value":"10.1145/3195257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7031986$3C2E0951-3DF1-4881-BF50-B90432F3E7A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0128a57e2d201f8381841a7d6f4fb2d72285a97","datavalue":{"value":{"entity-type":"item","numeric-id":2398206,"id":"Q2398206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$408E5791-EB01-44E5-85CD-1AC2397D608B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ade4990ab7a79bdd900e48d3fab8c751fcf8949","datavalue":{"value":{"entity-type":"item","numeric-id":989568,"id":"Q989568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$536EE797-64A0-4B7C-95E7-783C7EBDD60E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$8A25E64B-06BD-4317-8383-B10B21BD110A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4eadad38579231afe6fd5d0ce960f90944b60efd","datavalue":{"value":{"time":"+2025-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7031986$DB31B2C0-CB0C-459B-9C87-9D56DC8AC857","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7031986$169DB177-C8FA-40F0-8FBD-51E1EF565EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7031986$E0E13CAA-4BE3-49F0-9A08-52B018CC7159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7031986$17C08680-D1F5-4160-8EC6-180469C4275B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7031986$3DB22F8E-BBF1-4A5B-9AE2-EA1F6457EB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7031986$E88EE443-EB29-4CCF-9EC8-14EC8ED4EACE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f21429f27728e0059f98e219aa3828600cbc112","datavalue":{"value":"7980084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7031986$462D959F-79B4-4596-BA42-6EAE43F8B920","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7031986$E15B95FF-6711-46C6-A3C2-7498D6458F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d15dfed4071a3bd757da62a59e4bb670e0cdfc","datavalue":{"value":"first-order counting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7031986$E82FDC45-35C3-414E-9C24-D57F4CFBD558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a3008cd5b423e52179a28b4203a5c5505d0b34","datavalue":{"value":"bounded variable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q7031986$024B9386-7D78-4974-B4C2-0D786E523FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c942b924ef6815a15ef16fab58fd6b52038863cb","datavalue":{"value":"quantifier depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q7031986$6BCDE394-7F04-4085-BCE5-497E70BC3803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34bbc1cbceb405de6abfca6011d9f604ad5a0fb","datavalue":{"value":"Weisfeiler-Leman","type":"string"},"datatype":"string"},"type":"statement","id":"Q7031986$96D7378D-CFCC-423C-9325-23BC083F41E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c1768ac800273f449921bce1879aea7b7f4171","datavalue":{"value":"refinement iterations","type":"string"},"datatype":"string"},"type":"statement","id":"Q7031986$A91BB201-A661-4ACA-BE24-A5727497FFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q7031986$7B8F11FC-636E-45E1-BEDC-316533C02E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b59ba0c18543ab4d0a6b744f1a5e45ef9c81ae","datavalue":{"value":"tradeoffs","type":"string"},"datatype":"string"},"type":"statement","id":"Q7031986$A2706658-026B-48F3-8024-83BA2107721C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"773095ddf8cbfe969c6f397b031028f7caf656f6","datavalue":{"value":"hardness condensation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7031986$98B84A8B-3A3C-4673-A2AF-4C793994F1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af38c88248c1f5f478c835073ef544c719e3723e","datavalue":{"value":"xorification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7031986$93C7B472-F1C9-4D5B-B58D-D11F16A5702A","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":"Q7031986$DFC21BF6-CEB7-44E4-871D-5AA2B6EC28C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dce6c4e91f261ac3ef4f20f30b6bcb71a22e70","datavalue":{"value":{"entity-type":"item","numeric-id":4681889,"id":"Q4681889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$202A3DB7-96E6-4C31-82C7-460084EC0B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$B573DF6F-3EF9-494A-B66C-CF5DFCBBC656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c80ff9b6aba9b771609ee53cd6aed17b5740d2e","datavalue":{"value":{"entity-type":"item","numeric-id":5361871,"id":"Q5361871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$F5F57811-6312-41D7-B693-37A5E9896656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$5275362D-D33D-44B3-B7D1-93EE95AC2B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d5c317afaae64e3131bbecfcc0867e95b3a3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5495852,"id":"Q5495852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$60B6CE41-8CEF-4974-A074-47801022F3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5865ff2d33453d31523070266b6906b7f0fdaee0","datavalue":{"value":{"entity-type":"item","numeric-id":1430570,"id":"Q1430570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$A15D271C-4637-49D8-81CD-283A0637960B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7dc47292c75d912e93caab28bed0770c481096","datavalue":{"value":{"entity-type":"item","numeric-id":3579186,"id":"Q3579186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$75FDAE68-19AF-4B06-B134-F691778204B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4543d8f2ef36738c645393aea2d2e60cd486df7c","datavalue":{"value":{"entity-type":"item","numeric-id":3654387,"id":"Q3654387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$6F516813-9F48-47DC-B388-EA9AAAE938EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$46784613-2BEF-4D2C-A48E-F4566A49E69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c853e26ebaa2b01f0806ce33dfcdfae4ee8b4b","datavalue":{"value":{"entity-type":"item","numeric-id":5215515,"id":"Q5215515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$1A25B636-CBBF-4980-97F1-716E0DA85EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97924c64ae51b97c748de4d1947f39e18ae04f88","datavalue":{"value":{"entity-type":"item","numeric-id":5444704,"id":"Q5444704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$0D7CDF2B-82BC-4EF8-A8C0-6D2C36D34A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b873186fa5e30279e410bea330a6ed356bfc2234","datavalue":{"value":{"entity-type":"item","numeric-id":5943090,"id":"Q5943090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$49BE9F5D-7537-478A-9E6B-3137FC0F84CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207fe11e890496516434bc3ee50b5c99ac0185fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$B49542EA-1BF6-4A59-8487-165200642B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0445ca81f1046c8b5bea1a2062f174b139078383","datavalue":{"value":{"entity-type":"item","numeric-id":1217591,"id":"Q1217591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$8440152A-61B4-40CD-815E-CDD87C72C297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cccf6ec59504bfefa7c1c1c0cfeeb45e6d53dc","datavalue":{"value":{"entity-type":"item","numeric-id":5326581,"id":"Q5326581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$9683DF28-EC48-4192-B130-943B0070618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6728ec1c5136908a93a28d0b90630ea63909d241","datavalue":{"value":{"entity-type":"item","numeric-id":4535027,"id":"Q4535027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$44A170C5-FEF5-46AB-8B5D-6CF7962E6B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$A01FE56F-2E81-4E77-A8D6-C950F235FE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60239ca3157ed98d51bcfd9900afb82df0f39de2","datavalue":{"value":{"entity-type":"item","numeric-id":5941296,"id":"Q5941296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$74CA03FF-D0D0-47FB-B309-48387E80C3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0365ceef34852d644343bd3ffb80b7159a90f69c","datavalue":{"value":{"entity-type":"item","numeric-id":4254565,"id":"Q4254565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$FBBB5896-59FB-4185-BA01-B3F4787E4BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b682838d45b4e37c6ad49cb3a1e9fd8b51c28c5","datavalue":{"value":{"entity-type":"item","numeric-id":1977423,"id":"Q1977423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$8464BC00-F28A-4214-AB34-50CEF1850F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ad65bd96adf8cdb5340fe8030113bdb9b23f14","datavalue":{"value":{"entity-type":"item","numeric-id":5395695,"id":"Q5395695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$C27E1C7A-321C-4667-9BCB-14CF09B02809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a5918fde81fd79dfad2033f1d1cceb0fd8db80","datavalue":{"value":{"entity-type":"item","numeric-id":6851693,"id":"Q6851693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$E7BB40D9-33D4-4060-A2CF-F98E8DD5DFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ef49b996821a97bcaa60973838534abd2900e8","datavalue":{"value":{"entity-type":"item","numeric-id":4894726,"id":"Q4894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$A399E172-0789-4C73-91E1-E1C358A2862A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292c51e59d5acd6d4dec0f0a102abc25a4f9eb04","datavalue":{"value":{"entity-type":"item","numeric-id":5056396,"id":"Q5056396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$A72B728A-AB72-4FDB-BA15-20F0B0E58DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b2df16e0721643b5780540c289c533ac16c1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1817218,"id":"Q1817218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$9C040338-49AD-4C24-A0E7-E76D22E296EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67ee9815f7ab3c8b2b4907677d99ca915d101b0","datavalue":{"value":{"entity-type":"item","numeric-id":1164622,"id":"Q1164622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$53DCAE32-E5F8-4273-BCDB-7D5D5A1E3B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$60326CDD-17A1-4998-BE3C-AF2F141E8413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5b74b6622d372b9d984762dbc5c8e42f16d19e","datavalue":{"value":{"entity-type":"item","numeric-id":6829576,"id":"Q6829576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$E74FC3CB-16AB-4045-AC61-242431CBE500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8129ff7280f8a6f49032eccf8508f95ed7fccb","datavalue":{"value":{"entity-type":"item","numeric-id":6829577,"id":"Q6829577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$E7B196D4-245A-4CFD-8E8E-0F0F3AF47ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf792703694d4341b2e7e742b80425bfaa9de32","datavalue":{"value":{"entity-type":"item","numeric-id":3613770,"id":"Q3613770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$2B208D48-9B0E-47E3-B21B-8B2DFF240C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$5789D2F4-147F-4D1F-8EF4-71B17D5C330B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba3ab56375fb610607a5a1461f6ec97bfeb7028","datavalue":{"value":{"entity-type":"item","numeric-id":4635847,"id":"Q4635847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$FC5259B1-CA2B-485C-9D7E-BFC310EEABD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127cf98c7c7957707a0eef82eca5c318d259a321","datavalue":{"value":{"entity-type":"item","numeric-id":6654499,"id":"Q6654499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$5BCB64C3-3210-4D52-886C-93477936578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a4c0d4361a04eca282f8ad573b7549b9d8d21e","datavalue":{"value":{"entity-type":"item","numeric-id":4601843,"id":"Q4601843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$D52944E1-8B26-4A57-9F41-1F1FC749CF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfb0bb13bf9cb7dad5ee87b5fa6028eb7e40b4b","datavalue":{"value":{"entity-type":"item","numeric-id":2848360,"id":"Q2848360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$A159B83A-FBAB-4EFE-9EA8-4217112499EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6422b7a975edbc5da8e346b2346b057177d7617f","datavalue":{"value":{"entity-type":"item","numeric-id":5361868,"id":"Q5361868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$1B95765C-137C-4FD1-854C-CB0171C9599D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cfcfedcbe685dbdbae84b62b1205ddec05c5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3177773,"id":"Q3177773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$018E2991-D78C-4469-B1E4-8E621EB9BFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7031986$E41F81EE-DDAC-4787-A58D-BA57891CC42F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Near-optimal lower bounds on quantifier depth and Weisfeiler-Leman refinement steps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Near-optimal_lower_bounds_on_quantifier_depth_and_Weisfeiler-Leman_refinement_steps"}}}}}