{"entities":{"Q4635882":{"pageid":6665463,"ns":120,"title":"Item:Q4635882","lastrevid":58308741,"modified":"2026-04-04T16:09:34Z","type":"item","id":"Q4635882","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 6863496"}},"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":"Q4635882$D5C193F6-947B-4C9A-9E72-191B2A53DB2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02c61f5f2431cd88014965d6792524a6d0449c40","datavalue":{"value":{"text":"Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler--Leman Refinement Steps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635882$2F212024-8D06-43BC-B448-C28C3731AC09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f01266253f872d531e3c617b0e88961f5a60a30","datavalue":{"value":"1394.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635882$97065CA9-DAA5-4D0E-BE32-6114B7B82307","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea095eaedffd7ee753f869d08ceaeccbd43f4e07","datavalue":{"value":"10.1145/2933575.2934560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635882$840A7E1F-1182-404E-933A-E8316495CA1D","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":"Q4635882$FCEE7B89-737C-4167-9617-5479A3F9BC7C","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":"Q4635882$328C2045-0355-40C4-9B4B-75DFCED79BFA","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":"Q4635882$A503D8EA-8A82-4C64-A912-98A5892CCDB3","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":"Q4635882$58E0746B-7E33-419A-A115-0827D7C834D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc0022e01902985da419be7e6eb2f48308717759","datavalue":{"value":"https://arxiv.org/abs/1608.08704","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635882$5AF9DEB7-82B1-48B0-B44B-F16AF5285520","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635882$2F76371A-045C-4B53-AC1F-B9E917346B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635882$3D343DD4-3D89-4C68-B371-8F962159CB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635882$96FD6527-04CC-4AE1-BC6C-2A19B551D41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635882$30E6BC7A-1CE2-4E9F-BDFA-950FC0599225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635882$0AB4B2B7-513F-4437-B36F-A2EEB9C1A184","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97c5a1c5af4a73d17c21f1d865ea6d0b3aadcf26","datavalue":{"value":"6863496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635882$3D5F16C9-97C0-4835-829C-AC0FAE847B3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635882$B391B482-A212-41D5-AFE6-2039F7896C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47459b713b570927f968bef778415cd8638c65","datavalue":{"value":"Weisfeiler-Leman algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635882$0D9B70BF-C82C-44C5-BA10-1D159E12D67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a039c913bea100001354931a1bfd88793019b06a","datavalue":{"value":"XORification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635882$3CE21087-B326-40FA-8497-CE35B9F49FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd6a6bc407e631a28abca7d945bbfce00dcc3f3b","datavalue":{"value":"bounded-variable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635882$2E5DD3D7-F559-4A3A-8875-6F6DD27AD6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d15dfed4071a3bd757da62a59e4bb670e0cdfc","datavalue":{"value":"first-order counting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635882$935A8EC9-0990-4353-9488-744851F11744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"773095ddf8cbfe969c6f397b031028f7caf656f6","datavalue":{"value":"hardness condensation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635882$F9011A68-50E6-409F-9B87-421878B9D742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635882$3473DD9C-5BB1-4EE0-A902-53231CCE92CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c942b924ef6815a15ef16fab58fd6b52038863cb","datavalue":{"value":"quantifier depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635882$DB22891B-81BD-4637-8D09-4B367559AD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c1768ac800273f449921bce1879aea7b7f4171","datavalue":{"value":"refinement iterations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635882$2F49D0A7-81A3-41D6-8F69-CD050DD9BE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b9e816c430cd3e88ed419c55803a9d678ae625","datavalue":{"value":"trade-offs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635882$C70E0997-0324-4079-A45C-9376ED8FA6C8","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":"Q4635882$52ACCE2E-8A48-49ED-95C1-F79CB52BE477","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"095a621863a05be4b71819f123ea52efa169d062","datavalue":{"value":"W2963494352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635882$A554B7DE-0053-4D7D-97FD-4E7991074925","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555920e0ad30bf62a18f0ddf758b79a480e4b138","datavalue":{"value":{"entity-type":"item","numeric-id":5495851,"id":"Q5495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4032eaab4ec09b386b5c01d9e189e14dda4efb25","datavalue":{"value":{"amount":"+0.86390036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635882$D1DEFD9D-3F3B-4D3A-BF52-CE69C59A02A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edec1904bbe9b1b454ba456cf4550de5db0fd452","datavalue":{"value":{"entity-type":"item","numeric-id":2946761,"id":"Q2946761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d10c6cb83b6a0cfefecfcf49c70482e495eafc","datavalue":{"value":{"amount":"+0.8633306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635882$0020B5CB-A4C5-4629-A8EF-1418371B76B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eeff9275ba68d8354eb67a3c3d1dada8f4fa11a","datavalue":{"value":{"entity-type":"item","numeric-id":2958513,"id":"Q2958513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d10c6cb83b6a0cfefecfcf49c70482e495eafc","datavalue":{"value":{"amount":"+0.8633306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635882$0EDCC8C3-0D67-4D50-AAAF-6A7C868FC009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045e1726bef472b5048e086c8f8115678a1b9781","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00b7aac831b1470517489b47e08a7f398ab2e4f","datavalue":{"value":{"amount":"+0.85929006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635882$12754F01-20D8-4794-B95C-318890014E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b36f4f048ba74d5c86c997359e7b201233c52a","datavalue":{"value":{"entity-type":"item","numeric-id":4651534,"id":"Q4651534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560d4d329ceefaf7f659d1d9abd54fcd2deb878b","datavalue":{"value":{"amount":"+0.853333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635882$57DA6830-7115-4493-B32D-25CB56F009C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66ca0376e77948f73d51ab23019113ac2d930f1","datavalue":{"value":{"entity-type":"item","numeric-id":3167000,"id":"Q3167000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a545a0390df18622746b1cde083b82a28d6dda03","datavalue":{"value":{"amount":"+0.8471693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635882$A508A87C-A8C8-4630-A8E0-BA966211C4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f5861fd87df4d9cf198859706477ab0c35db6b","datavalue":{"value":{"entity-type":"item","numeric-id":5410333,"id":"Q5410333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74bfa7e76237835b7582539daf8f21146e8786d0","datavalue":{"value":{"amount":"+0.84716916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635882$CD7DCA51-EEB9-4C58-9669-ED5D00CB718A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cf41f596b930f7a683c9f042edf9877d0c3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfacef5a5f0bf6e81b9f467cbb3fd077260d373","datavalue":{"value":{"amount":"+0.84652656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635882$8092C7BF-6AB4-4A2F-B1F8-839DE5C81E74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635882"}}}}}