{"entities":{"Q2986821":{"pageid":2997545,"ns":120,"title":"Item:Q2986821","lastrevid":58088709,"modified":"2026-04-03T18:26:35Z","type":"item","id":"Q2986821","labels":{"en":{"language":"en","value":"Non-definability of Languages by Generalized First-order Formulas over (N,+)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718105"}},"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":"Q2986821$504717B4-8030-42D7-8B00-9EC68BBD4C4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abc9a119f2adf72e3cd3e6f96c3da11149503052","datavalue":{"value":{"text":"Non-definability of Languages by Generalized First-order Formulas over (N,+)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986821$E3B64210-54CE-44A4-9789-2EC9C7BD57F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5715b5905fc9b87af7c0778b98c18af447943505","datavalue":{"value":"1361.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986821$16C2C0A5-8196-4AB6-A4BE-3007360F3D5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f344ff2081366f87f73080fcbc95b6102b9f9051","datavalue":{"value":"10.1109/LICS.2012.55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986821$8E5CB466-554B-479D-9DFE-FF0BE41EE423","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2544a2aff544dc84ffd23bad61458f6d1fd945ff","datavalue":{"value":{"entity-type":"item","numeric-id":347113,"id":"Q347113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986821$642D2ACB-8535-4657-9870-F1AA51DC9A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"920f7a9d4ba9554edb9692cfc5816b0fc7e0b54a","datavalue":{"value":{"entity-type":"item","numeric-id":2140478,"id":"Q2140478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986821$F415B0E9-8A63-4691-B66D-186834FE4154","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986821$60A1125C-B820-45E4-99F9-CB9F04BF95AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986821$13A93AF0-183D-44B0-92A7-43A9D976BB79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6893de7a28361208465115862f2a541add9c4938","datavalue":{"value":"https://arxiv.org/abs/1204.6179","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986821$809251A6-5CAF-49A3-822F-C9ED3A5A3B60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986821$8F8307AB-F181-447E-A98B-848F1BAB4324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986821$DF56CE7B-2BBF-4633-941A-67A78706AEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986821$BADAECBD-89DF-4459-9E8D-FA63267DC504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986821$9577FDCD-E95D-462D-A720-C66A1B69A949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986821$A36DBDC3-8A89-47BE-B9C2-80B92AF771BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a4e4f0532d70fbd6369f554c86cb3247f10aee0","datavalue":{"value":"6718105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986821$31A3457E-B1B9-4E4F-B9F1-76FE99ABE151","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986821$78FC0568-E99A-4334-89A0-426ADE98BCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c0bf02bbeef8dbc749df175752cf2627d929e1b","datavalue":{"value":"logic on words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986821$7480C961-1A3D-40A3-87D9-7CB5BCB33966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5349d0aa275b6860998a7176b803f37f4a72c0","datavalue":{"value":"Crane-Beach conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986821$50FDA90A-8358-4C58-9D8A-4A70F17FC068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff5963ff47a3da45d78c7267be8b907ce3d14b5","datavalue":{"value":"extended first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986821$11CF66CE-727C-4626-9654-43D12034E0CA","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":"Q2986821$5AA621E9-EE8E-4A94-AC2A-AA3CD1866590","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b534a0c5e4be82d77e8a1c3786f018135cfc61c","datavalue":{"value":"W2075225990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986821$7FB37B99-2605-42A2-B792-9CD8CEA3661D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434dc5f9cb094b14f700942b690b4c529c128bed","datavalue":{"value":{"entity-type":"item","numeric-id":5386211,"id":"Q5386211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9c25f3b18e3fbed665ed7e5434c57fe8b57995","datavalue":{"value":{"amount":"+0.96979105","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":"Q2986821$D8CE8AC5-8B2D-46EF-9293-4970AFD5FCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e242705db016f9a640100b114bfff38908d9db76","datavalue":{"value":{"entity-type":"item","numeric-id":5449824,"id":"Q5449824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9c25f3b18e3fbed665ed7e5434c57fe8b57995","datavalue":{"value":{"amount":"+0.96979105","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":"Q2986821$C753357E-FB0D-4C7F-9E0C-AAB3B91AB7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d013e02a776027db047c05f490b86ec1918a09","datavalue":{"value":{"entity-type":"item","numeric-id":4718893,"id":"Q4718893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa01f69eb04ba1733f5d9dc330f074cb0e43e1f","datavalue":{"value":{"amount":"+0.8872283","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":"Q2986821$4D87F158-7A55-4702-8E39-7E58ABC1239E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100e1aa73c9bbd70bd8ae9bd623d40bd76b1af2e","datavalue":{"value":{"entity-type":"item","numeric-id":4231780,"id":"Q4231780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa01f69eb04ba1733f5d9dc330f074cb0e43e1f","datavalue":{"value":{"amount":"+0.8872283","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":"Q2986821$6C0D2594-8CBC-4C00-9771-6FE70B416718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98a2962926e505cbc23d59cf0743f4b7c2190fe","datavalue":{"value":{"entity-type":"item","numeric-id":2323696,"id":"Q2323696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e04be7b58d544398f87af18fe6b0ff2913f338","datavalue":{"value":{"amount":"+0.88397145","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":"Q2986821$4006B57C-0F95-40DF-BE3B-49ED6E81BFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef795af92569e9c37cde3ed038c31748c3ce91f","datavalue":{"value":{"entity-type":"item","numeric-id":2759846,"id":"Q2759846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b33ef3166a98d7fab5297306c7ece5af71dda94","datavalue":{"value":{"amount":"+0.8601899","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":"Q2986821$14B85522-EA17-41E5-A311-BC5800C10B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4327ad69505512e7daeb460b704c4ecf47f9bbb","datavalue":{"value":{"entity-type":"item","numeric-id":2915684,"id":"Q2915684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f7e61d83c3b85f1d13b39c717056e32691b06c","datavalue":{"value":{"amount":"+0.8592677","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":"Q2986821$C745CF0E-4AB0-4C72-B1AC-F535A1699F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d79e00a9fcda0361097e772e2e43f4b2bac4cd8","datavalue":{"value":{"entity-type":"item","numeric-id":3350770,"id":"Q3350770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae779d1719616b7e1c8bf570961b12f20306433","datavalue":{"value":{"amount":"+0.858475","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":"Q2986821$9A580314-921D-4418-BB30-71623F526B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86fde2cad1da01d3161843eb9480d101d99a8044","datavalue":{"value":{"entity-type":"item","numeric-id":1124586,"id":"Q1124586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf001b1740aea21a4b3dce99d694c71e26c1c438","datavalue":{"value":{"amount":"+0.85400504","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":"Q2986821$5A4218A3-8EB1-4619-8E7B-39014B4528F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1ce63f735a7a7f5f94bfbfaf0c8b8000e0836e","datavalue":{"value":{"entity-type":"item","numeric-id":3194725,"id":"Q3194725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e477d403f1cfcd5bf2a3ea31dbffa489163e9a4","datavalue":{"value":{"amount":"+0.8540038","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":"Q2986821$119F1147-95F5-4302-A540-09B007760406","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986821"}}}}}