{"entities":{"Q2974792":{"pageid":2985517,"ns":120,"title":"Item:Q2974792","lastrevid":45175522,"modified":"2025-12-01T16:32:47Z","type":"item","id":"Q2974792","labels":{"en":{"language":"en","value":"On the locality of arb-invariant first-order formulas with modulo counting quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6703927"}},"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":"Q2974792$DD7D88D0-2CA6-4E1C-B767-C939B0DFC263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18f21ca4896a4c037c23231493824c90881117db","datavalue":{"value":{"text":"On the locality of arb-invariant first-order formulas with modulo counting quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2974792$87083F0C-26DF-4597-BF6C-8C16A06D328C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a51df58312a65cd5a1974c7771d82727af8911a","datavalue":{"value":"1445.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974792$0260CA80-17DA-49F8-AAFC-49681F625D7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57028e20e181412881837616510d3d2f1b621596","datavalue":{"value":"10.2168/LMCS-12(4:8)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974792$49E2AACF-F49E-47B1-ADE7-667A93AF5B25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9711f7fcc55d9ac2fd04f9c2f72987ba25c601d","datavalue":{"value":{"entity-type":"item","numeric-id":269709,"id":"Q269709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$77DF28B5-FF8C-4CF5-AB5C-736E86E32446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde056a0f6fc0570a0a106ebb1024eb76bcb30c9","datavalue":{"value":{"entity-type":"item","numeric-id":389233,"id":"Q389233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$6F7B68EA-8125-4DCA-BEA9-BFC8A123247C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$0B8F54E0-D026-44C0-8138-23075D1E3417","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a2d5456aa484593fec481f4daec5520f7618119","datavalue":{"value":{"time":"+2017-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2974792$8FFE474E-0D4A-45D2-9BE4-D46D6B68C43E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974792$9805715B-1147-47C4-AE42-BDC286130AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974792$7ECE076C-B1A3-403A-9B9F-E7401E1778F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974792$097F1392-4EEB-476B-96AE-C8F4FA26D36F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce137bda5513b669e1cd654973ec096bee852bfe","datavalue":{"value":"6703927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974792$0263CA29-7504-41D7-A0D9-1E37E241DDD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974792$EC08333E-A4B0-4836-8312-35764665E09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aa2ae8379ddbf66aed2cbc7335f15d551f2a26f","datavalue":{"value":"Gaifman and Hanf locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974792$00267776-8EAE-450A-A767-7C9948A9D8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83568257df29a600cf008f132ea022b961bf9c3e","datavalue":{"value":"first-order logic with modulo counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974792$C110F0D9-D96D-4035-9810-8FB39FAAC867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00dd524b83d9d942317751a6f4c84346d69528be","datavalue":{"value":"order-invariant and arb-invariant formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974792$7B858AF3-3D96-4040-B2AD-4B306C12F1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c75053ee5d102166bead86ed89c3d0d4e9d9ee","datavalue":{"value":"lower bounds in circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974792$0DB983D4-EEA3-45BC-992E-70274A1B04F3","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":"Q2974792$99D1E9CF-CBB4-4A7E-861D-3D940C02CD38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0d9420b7732ec4256c80bf44c3734dc91ee466","datavalue":{"value":{"entity-type":"item","numeric-id":4910573,"id":"Q4910573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$FABC8594-5936-4901-98CE-3137009BD713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$218DC8D4-EDF3-446D-B179-BAEF7090DB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$24128E04-094E-4D00-AEF2-4E7A8485A548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7f801ed1f34568236d83e942d8a0702b37dc8b","datavalue":{"value":{"entity-type":"item","numeric-id":2946590,"id":"Q2946590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$C7E78B37-8AF9-4DEE-911A-7FDFBE01F089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f419eeb5cadcac02e9c060a01f0d2cb1f42c1e05","datavalue":{"value":{"entity-type":"item","numeric-id":3616348,"id":"Q3616348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$E084B7AB-C6EE-482C-83C7-041140EDCC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$E9213D5F-5907-4E19-A2DB-23411257B9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2494aed4dea6d6b4ac7f1b1919e3e78be243741e","datavalue":{"value":{"entity-type":"item","numeric-id":1898480,"id":"Q1898480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$FD72650E-D498-4F6B-8EB6-618C3762F849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a69ac1c0d3321f022f3c9b4c90b2d8ae427b77e","datavalue":{"value":{"entity-type":"item","numeric-id":4218118,"id":"Q4218118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$C9B61BC6-BC1C-4F6C-A840-F963830817E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8a3d0b186fbf0369f032d499beab47bb52f168","datavalue":{"value":{"entity-type":"item","numeric-id":2958533,"id":"Q2958533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$62013561-76AE-465F-8C72-38E82006AACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be719665281956acdb9f7a7501756960460e95dd","datavalue":{"value":{"entity-type":"item","numeric-id":4948541,"id":"Q4948541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$3EBB70BC-F337-4CE6-B908-FB3E2EC3F5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$61BADDF0-FA09-4A41-9697-88957038D7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$D756F03F-6661-4AC9-BE85-1774D0035496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66523b27bb84ab786e255b752e704e217b2f2452","datavalue":{"value":{"entity-type":"item","numeric-id":4928477,"id":"Q4928477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$3B2A0E39-81BD-4FD1-AF79-84CB47F3239B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974792$6ACCBF9F-37D0-47F1-8403-D53FFD53D347","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ac5db4fa534481d809c32c005ed8cc52c630eb","datavalue":{"value":{"entity-type":"item","numeric-id":2958533,"id":"Q2958533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4db61c9e8c2955bbe7fd63a3ad82a477d2b03c1","datavalue":{"value":{"amount":"+0.98591965","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":"Q2974792$ECACCEC2-C5E2-4AED-BEBB-C1191FB24F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0604a904f3074a58acc10f411215b5795dbed355","datavalue":{"value":{"entity-type":"item","numeric-id":5738900,"id":"Q5738900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e525fd3a3961851ae176f4cd752b44343e34ca","datavalue":{"value":{"amount":"+0.8994899","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":"Q2974792$6DCB4C8F-B76E-4641-9BC5-62F5DE60EA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ff63867f02f8bbcec6ea1606af654f464f4977","datavalue":{"value":{"entity-type":"item","numeric-id":4218118,"id":"Q4218118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e525fd3a3961851ae176f4cd752b44343e34ca","datavalue":{"value":{"amount":"+0.8994899","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":"Q2974792$014E84EE-7ECF-43E2-B0E6-20CB3E5F79AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8aa6c2c5699b394ef27d519e310fd148127b8d","datavalue":{"value":{"entity-type":"item","numeric-id":3012933,"id":"Q3012933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01a9196b1b5e7867b63dca99d6b2ff4640e0bb1","datavalue":{"value":{"amount":"+0.8753604","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":"Q2974792$E9542A52-8804-41C8-96EE-809DFC2DB5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3862a28893d39da92d9fb6a089884e0c6abe3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2949452,"id":"Q2949452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74197a20b25576dd7d145d854a4d2df486324e99","datavalue":{"value":{"amount":"+0.87478995","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":"Q2974792$44A2EE1C-8628-410B-810F-91F77D57D435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9107323b47d115a74cdf46f0d4b3a5837a7522e","datavalue":{"value":{"entity-type":"item","numeric-id":4636045,"id":"Q4636045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5c75ae503198f161d713c299b1e771f0fb8392","datavalue":{"value":{"amount":"+0.86894053","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":"Q2974792$50DC43AD-8F44-4593-ABB2-76FF03F28EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb078f3ca60e3de19dbe0e64e06b59d6bc5efb4","datavalue":{"value":{"entity-type":"item","numeric-id":3824286,"id":"Q3824286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4fe2daa6e01253d825f71eff2354b4fbc791da","datavalue":{"value":{"amount":"+0.8638152","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":"Q2974792$9C7E3BC9-5D12-4AEC-82D8-A37DF9872322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b108a6b167800fa57292324f80188fa967063337","datavalue":{"value":{"entity-type":"item","numeric-id":4430390,"id":"Q4430390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba775c055358ed8cc8612d23a25a7f527c89d06","datavalue":{"value":{"amount":"+0.86227995","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":"Q2974792$6749A8AC-FCC4-475D-8071-6A38109F40AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6970299938491a81d6aeac3880ef6a1f28f685bc","datavalue":{"value":{"entity-type":"item","numeric-id":922522,"id":"Q922522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0ac044f64e83e279263cf6d01ccec9a6b3733c","datavalue":{"value":{"amount":"+0.861893","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":"Q2974792$F9B01E8E-D6DA-48DF-B795-3910B2C9936A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9638643072faff1c89f8b49af52f812e7ffd81","datavalue":{"value":{"entity-type":"item","numeric-id":4666943,"id":"Q4666943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d848e548b204a8fe9b55a4d60878ba7e479c980","datavalue":{"value":{"amount":"+0.8618349","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":"Q2974792$AE19E64A-7F1E-43B5-AF69-4347B4ED46CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2974792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2974792"}}}}}