{"entities":{"Q4692087":{"pageid":6721664,"ns":120,"title":"Item:Q4692087","lastrevid":90910490,"modified":"2026-06-04T21:45:28Z","type":"item","id":"Q4692087","labels":{"en":{"language":"en","value":"Undecidability of the first order theories of free noncommutative Lie algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6966192"}},"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":"Q4692087$C281D184-DE1E-4739-B564-2E399E5CAF37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adb5ca5c27ca484cc69cf92954b97d1b546dd507","datavalue":{"value":{"text":"UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4692087$3C96DEEC-32DA-43B7-B073-BDA63DD3AF41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4310b34c2cea49579321c70fab246b08346b4c7","datavalue":{"value":"1502.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692087$CAE99F6E-E68A-4B4B-ADFB-1C9FD97C1F06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3995e64f62d5a462297284e0f2580833598205a","datavalue":{"value":{"entity-type":"item","numeric-id":595784,"id":"Q595784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$E2377B4C-1AD0-4EE6-87C7-63E97C2C1609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b1843ff51384642f69cbb6cac945664c66fbeb9","datavalue":{"value":{"entity-type":"item","numeric-id":639687,"id":"Q639687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$238AEA20-5424-49D7-9BA0-52A4138CDA58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea269db09297544776e39495a4f14dedb5a1b846","datavalue":{"value":{"time":"+2018-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4692087$4B640450-4A15-42B7-BAB2-90BA883BA457","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3254b59ad490461e16cce90fe444a5f382bc49b1","datavalue":{"value":"https://arxiv.org/abs/1704.07853","type":"string"},"datatype":"url"},"type":"statement","id":"Q4692087$59E846C1-4F9E-4507-A1E4-4B4C4087EB3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692087$D34227ED-4F5D-4ACC-B324-3DA8BD709F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692087$66D1826F-ED98-473A-818E-7A6DA185D432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d37d0ec6faeadeba5243ed8e8430225071da4b8","datavalue":{"value":"17B01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692087$20D6136D-F589-4EB7-9173-18CB979CFEC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"239bfd2764afc0846abeb3af2af348b3db73acb2","datavalue":{"value":"6966192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692087$44F394BA-EBD6-48CC-AA47-9A5D05B82D34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"394a8ca59bb381943e71acbc2ab4b8012f88b06e","datavalue":{"value":"Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692087$23E328A0-485D-46D9-9535-99B0A0CFCB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692087$EE890186-9B67-490E-B8F4-D279C6B9937E","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":"Q4692087$8B9E9DC8-C9CE-4636-8FDB-3AF07BE01477","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91446515f1258ed60bfa038b4f33442127b8330a","datavalue":{"value":"W2963203081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692087$30329AE3-7191-425E-9003-8780A92128D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"160f7c9317c41aaa78a77026fa0d5b726ae6bfd2","datavalue":{"value":{"entity-type":"item","numeric-id":3996716,"id":"Q3996716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$EC890EC7-8B07-4B88-8466-2E74780737B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2609182949b2d9b239921e93aa5e0589e006025","datavalue":{"value":{"entity-type":"item","numeric-id":1088652,"id":"Q1088652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$BED2E0A2-BC50-4BAE-9D6B-B4DFB8AEC599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b2639d6772def22d4272e7071568a0f39312a1","datavalue":{"value":{"entity-type":"item","numeric-id":4300256,"id":"Q4300256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$5863F15B-BD4B-4C3E-9F33-5B4230354E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb424d119b446ce41748ab1a398c7bb98471a8a2","datavalue":{"value":{"entity-type":"item","numeric-id":5586301,"id":"Q5586301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$1F1A644A-49BE-45D6-A84C-AFC792B9D707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c3dea1c1fa9321ab17a9970556578fe4960453c","datavalue":{"value":{"entity-type":"item","numeric-id":3529397,"id":"Q3529397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$AFE052FD-24FC-4CA9-8F4E-2D926078CF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49585943064555200fbba8c00e795c8666ca0c","datavalue":{"value":{"entity-type":"item","numeric-id":855727,"id":"Q855727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$01DC6E2E-5931-4603-B4D0-C5EFF6EFE132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e491ed5abccfa46142e7040732b70a7f5870b487","datavalue":{"value":{"entity-type":"item","numeric-id":5371234,"id":"Q5371234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$28F9DFA5-1EF9-47E0-815F-83C59E846FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20cfc018ab6e5a56059403136b49d5687c82de8","datavalue":{"value":{"entity-type":"item","numeric-id":4135772,"id":"Q4135772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$986509EB-6A42-4536-86F2-C6AA6F74B06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae0afcdab4bd288e6d1b9962da535a0bc3b06d03","datavalue":{"value":{"entity-type":"item","numeric-id":3812446,"id":"Q3812446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$DBE2D94C-4382-4457-A9AE-6164B81AADAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7948b94c63c08d9a411f4bab8f269dba48bc","datavalue":{"value":{"entity-type":"item","numeric-id":1813802,"id":"Q1813802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$AB2001C0-B370-4F79-8A14-816458166558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a46767f4871cc556210cf3933b2a322ed5ed2e4","datavalue":{"value":{"entity-type":"item","numeric-id":2501184,"id":"Q2501184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$5D71DBB6-3A19-42EC-98B8-0130F8FCA9D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"116a3cf5efa038ddf5216ac92b50dfa7315be7d2","datavalue":{"value":"10.1017/JSL.2017.80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692087$C44FB626-5982-448E-A9E1-8151A5B63BD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692087$7F02CF90-7902-4F54-B6FB-1278334EC663","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532dd9b09221785a9d030661a8fa47e11939d856","datavalue":{"value":{"entity-type":"item","numeric-id":4645108,"id":"Q4645108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b44dd983bf81b07e0d96e5d4516e373b0aa44fc","datavalue":{"value":{"amount":"+0.8285122513771057","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":"Q4692087$0AC0F686-E782-4889-A0F8-9A2376E052C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef189e7f50c1bb6264dfbf4fecd6bd4f5e384547","datavalue":{"value":{"entity-type":"item","numeric-id":1088652,"id":"Q1088652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac708c5e3486e6aae3bb391903f68da7049f719a","datavalue":{"value":{"amount":"+0.8094302415847778","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":"Q4692087$76239EB4-CE49-4A4E-A00C-677FD28AADCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75468bdae2b0b31e2ba5aa74e9fd5337163f45f3","datavalue":{"value":{"entity-type":"item","numeric-id":2277245,"id":"Q2277245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa7c0a5a8e9e516b4a650ee91b9e6ba97195b68","datavalue":{"value":{"amount":"+0.7962046265602112","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":"Q4692087$2D05F03A-1A0E-4060-A7A3-05CEA7549114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b662137d0eb479f67a1806ab87df7769455be58","datavalue":{"value":{"entity-type":"item","numeric-id":1702719,"id":"Q1702719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06cd6d3664f85bde4e905ed358ea9b307676c220","datavalue":{"value":{"amount":"+0.7769446969032288","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":"Q4692087$064A2D7E-928F-4A14-9A0A-097AD6259F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f49f528a20e5742ac1ddc8af13ce4eeba1a8360e","datavalue":{"value":{"entity-type":"item","numeric-id":3318754,"id":"Q3318754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f061be08ed857cc0de34d316da1f60076c2c5d2","datavalue":{"value":{"amount":"+0.7740747332572937","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":"Q4692087$E9ACFB8C-EE74-4B16-98D7-834E63D06516","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of the first order theories of free noncommutative Lie algebras","badges":[]}}}}}