{"entities":{"Q2839173":{"pageid":2849893,"ns":120,"title":"Item:Q2839173","lastrevid":51765476,"modified":"2026-01-19T22:17:41Z","type":"item","id":"Q2839173","labels":{"en":{"language":"en","value":"Sherali-Adams relaxations and indistinguishability in counting logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6184148"}},"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":"Q2839173$29FA30A0-D5E3-47FF-9938-E714E7E38A73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"671b1210106202d045b7dffdf0661e63df627adc","datavalue":{"value":"1286.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839173$68B38529-9BD3-48C3-B92B-445889F2D437","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95984ad42948ec5d107f28289f8156fc1a917d2b","datavalue":{"value":"10.1137/120867834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839173$30ED8737-760F-44E4-82D1-4F43DB34323D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691b2efa6b7a6124eda9dac7addda22440a9eb76","datavalue":{"value":{"entity-type":"item","numeric-id":458459,"id":"Q458459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839173$7EAC7A91-D299-45F5-80A6-9031DA2A7690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f710f7e1d894c4ae737144ce1fbcb7f3fc75f44c","datavalue":{"value":{"entity-type":"item","numeric-id":716323,"id":"Q716323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839173$E46BB03D-4895-4662-A3C1-52CAB2F76563","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839173$8FB41B0F-9B0F-4210-BB20-C3DC0E83EB5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45f59ec8787ff61160fde5fbcea29c61c8ec386c","datavalue":{"value":{"time":"+2013-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2839173$43BDC291-D298-41A5-AF28-C21F16B0CE89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e276a71c2163d759aef715e3875f066c5e457b26","datavalue":{"value":"http://hdl.handle.net/2445/33855","type":"string"},"datatype":"url"},"type":"statement","id":"Q2839173$2F32EDF2-5515-4DBB-B267-71B864EA5CB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839173$C62ECE0B-F61C-481A-A61B-3D83C4151BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839173$A1C9A714-5094-4083-A8D5-27C5B050C9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ede024a2e42be41193baf32f90dd58f10db2ea3","datavalue":{"value":"52B12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839173$8FF14C6A-2B55-4EC3-B47F-A1A5C30FD170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e742a171e2cc4a4f154f55124e2a34e0da3eb3e","datavalue":{"value":"05C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839173$D4FB13CA-8B96-4E16-AEFA-82F3A37E12C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d765cc4b218ae225bb23e4f50aa85c5b7550ef66","datavalue":{"value":"05C72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839173$178FBF08-A11F-4EAF-8E6C-3E39E69D579B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839173$839ABBCF-0E2C-42B4-9A9D-E1E5B20D0A3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"353a97918c6bc6b33c6e04d2345260973d9be0f3","datavalue":{"value":"6184148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839173$E08285A3-0D12-40D9-995E-BECC15A51DBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839173$FEDD571E-A99B-464C-84C8-C7853C31D3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2224861cbed8f8c5633e3aa539007f103afd6c15","datavalue":{"value":"counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839173$218F36D1-4482-4D13-9435-878074A50392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839173$79DACFAE-075C-432C-AF17-B5EEB003265D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5744e21e4aec3965ed89042a2cccc2d9eb54c2","datavalue":{"value":"Weisfeiler-Lehman algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839173$42CD1FEE-9DD8-416C-962B-D50B7DD3FDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf16bbd4a05fdbd1b003839acc80b324384294c1","datavalue":{"value":"graph isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839173$C69E3FD0-7F12-4EC8-93F1-29AB6E0ECC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123c988a4455db85cc065f2e06e0a8051be65dd","datavalue":{"value":"combinatorial optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839173$BC9E16C8-5F26-4393-8589-C0D3EC6412DC","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":"Q2839173$268B558D-7777-4EEA-A3FD-0856722BFDE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c05b81004b8fa8582b7348d97777792eb93584d","datavalue":{"value":"W2067297906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839173$80BB4EA0-CFEA-4FA3-B1BF-C539F6DF2D41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb4068ca65657abf09af3f315d46a1547fa84af4","datavalue":{"value":{"text":"Sherali-Adams relaxations and indistinguishability in counting logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2839173$66545AAE-AAC9-44C4-9ECF-C62CFB21B55E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d1a191b0870813bf884fc36b28b8c25ec4dee3","datavalue":{"value":{"entity-type":"item","numeric-id":2826069,"id":"Q2826069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef5a120de0d209ea36ba33ae4932e606fdcab99","datavalue":{"value":{"amount":"+0.9953543543815612","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":"Q2839173$D5225890-29E5-47F6-9505-3D87D40FA16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10da84de0ee328491c38770401396999e80f821","datavalue":{"value":{"entity-type":"item","numeric-id":2339812,"id":"Q2339812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd9c70291f3c12795302a664d7cba56952846fe","datavalue":{"value":{"amount":"+0.8431859612464905","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":"Q2839173$DABE1538-7B3F-42AC-894A-25C9B5BA859B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90547f1bd8d092c69c14f3f17c0de24a09710ebc","datavalue":{"value":{"entity-type":"item","numeric-id":3450805,"id":"Q3450805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c596d4b4133e818e64da693640ee4418da488c7","datavalue":{"value":{"amount":"+0.8080452680587769","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":"Q2839173$CE042D87-669C-412C-ADB6-A67CB708B971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335ec07bbe502f81fe61c00be346e034b7f0820a","datavalue":{"value":{"entity-type":"item","numeric-id":4649553,"id":"Q4649553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb6e36dce39f156aed5d277882f4605aea04ce9","datavalue":{"value":{"amount":"+0.7966966032981873","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":"Q2839173$88B0A9DF-21BF-4FAC-8E84-AE1C1B98620D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ff35cab0a0608abe0546574357859358d686cd","datavalue":{"value":{"entity-type":"item","numeric-id":5002713,"id":"Q5002713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8a2d0ff067d0749c1eb591eaade1ba173f5f0b","datavalue":{"value":{"amount":"+0.781782865524292","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":"Q2839173$3288D21B-2B78-4C85-AC37-780BC131EFCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2839173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2839173"}}}}}