{"entities":{"Q5095624":{"pageid":7125200,"ns":120,"title":"Item:Q5095624","lastrevid":58433721,"modified":"2026-04-05T05:07:00Z","type":"item","id":"Q5095624","labels":{"en":{"language":"en","value":"The free non-commutative cylindric algebras are not atomic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570064"}},"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":"Q5095624$56B7B78A-0889-4552-804F-F3764310DFD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b68131c126c234b7c7d11289a02f0814d53186ec","datavalue":{"value":{"text":"The free non-commutative cylindric algebras are not atomic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5095624$AC6F4BA6-99B8-4188-BC5D-816913028EF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51fa3d4ba8a406dc739f45c7bf5642b337bd2f11","datavalue":{"value":"1492.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095624$8DA05AE8-4495-4BE5-A772-C32967A846C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4961c2cadf61da6df1215c35512b906247afc7","datavalue":{"value":{"entity-type":"item","numeric-id":1731560,"id":"Q1731560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095624$CA8BC601-D632-4E8C-BBCB-6833896AC9E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095624$54B05187-2AB8-48BA-9929-F7B0063BB024","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5095624$733A0318-2559-4FB9-856E-92917DE47952","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d03ba94154c544a49d8b0b32b9e7cd96d3dc96fe","datavalue":{"value":"https://arxiv.org/abs/1511.05221","type":"string"},"datatype":"url"},"type":"statement","id":"Q5095624$AB51A706-069F-4D92-BB8C-8B19E9C0FA4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095624$A1E566B1-9C34-49AB-94C1-167419795934","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30339f42da48d7f0f7d7d6f71d06cc2298511b5f","datavalue":{"value":"7570064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095624$32285660-22AD-4FAA-8A41-FDFB37281C04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"078a18fce2e262784489ee1919bcfc0a6aaecda4","datavalue":{"value":"non-permutable first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095624$5E878A20-2770-4DC1-9AE5-B366D00A3882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095624$3BCA3175-7BFF-4C2C-AD34-E2D4D220E06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a6984ed16eeff521077ddf565eef39874dd313","datavalue":{"value":"G\u00f6del's incompleteness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095624$882C8D60-22A0-49FC-80FF-466C5484FB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51176d6ab6a2bfd9014bb0739f50697325704bb6","datavalue":{"value":"disjunctive normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095624$7775659B-D55A-46E1-919F-A3E7DD2EE584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095624$47268CDB-5DF7-4C42-98ED-BB3D924FBF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"334b84ea28eaaed47c2ea9f4044f500874baa820","datavalue":{"value":"non-commutative cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095624$84286383-7D1F-465F-A07D-9C744ED6B73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b4f161a4c73fd79f536252b9fde83027a3d56f4","datavalue":{"value":"non-atomicity of the free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095624$AD74D773-A7DF-4062-A3AE-FBD8131C4088","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":"Q5095624$9882A12F-B3CA-454D-8014-C6328DB99544","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"325f749809572373deb1a208e848b5f273515882","datavalue":{"value":"W3101556240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095624$2243A286-BA3A-42A4-AAA0-18BAA079F1D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bd5295304ebc73569a2457fb31df91506c09813","datavalue":{"value":"10.1093/JIGPAL/JZW058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095624$58296DDB-70B1-4012-8C55-B2DC85FF91A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8d7a1f0300768c2ac3e4e41c0803a650004050","datavalue":{"value":{"entity-type":"item","numeric-id":3081239,"id":"Q3081239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8353e04130c3be0215b851bf4333739c22700a","datavalue":{"value":{"amount":"+0.8932707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095624$7F3C7FC5-6C57-4BAD-AF6C-536708A5BD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1572e8d1c45fbd5f9b470fd873cf7bcbdd117a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3801550,"id":"Q3801550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e297efdd5cdb045d64f53047dae67603ec207d56","datavalue":{"value":{"amount":"+0.8788096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095624$6E571C39-DBF3-438A-95AF-4A100AAD15A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86efc97d4e1cc55712130d3b598abcce829bf91a","datavalue":{"value":{"entity-type":"item","numeric-id":4273487,"id":"Q4273487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e297efdd5cdb045d64f53047dae67603ec207d56","datavalue":{"value":{"amount":"+0.8788096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095624$01251FC9-78CF-44A2-803F-441A7624041F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d344c80504522181167525f1209aaaed4359693c","datavalue":{"value":{"entity-type":"item","numeric-id":2017167,"id":"Q2017167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7a8c0543c5c8074e7911c0948e6126c3ae6cce","datavalue":{"value":{"amount":"+0.8589191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095624$3B366629-E5FC-4DC7-BD3E-A4D32306937D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442820ba22e813db5b925a84cc42a31350ff1465","datavalue":{"value":{"entity-type":"item","numeric-id":1090331,"id":"Q1090331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b1179bc445f4fb3a9dbb443d7cf748e6e046da","datavalue":{"value":{"amount":"+0.85727215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095624$A818C4D0-BFF7-4788-8015-6F1F26483A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1e22341f544a064ae3143829037e02122e9c07","datavalue":{"value":{"entity-type":"item","numeric-id":4011734,"id":"Q4011734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76e287362e9f7762c695092c702ac3a48369143","datavalue":{"value":{"amount":"+0.8551745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095624$FDBCE1E0-D386-48F9-A03F-2B29A80173D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9f26b26d1bf4b965a40d4451ef1778094a0087","datavalue":{"value":{"entity-type":"item","numeric-id":3230435,"id":"Q3230435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89db27bcf35137297ffbb98ec479dc90861ed3bd","datavalue":{"value":{"amount":"+0.8487761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095624$84DB1D6E-4FFD-49AB-A2A0-B255944D99CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5f2be064ca2dd790a0baa00aa7fb5bd2f56429","datavalue":{"value":{"entity-type":"item","numeric-id":5878356,"id":"Q5878356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea8f254d1b95950c886dc227759c0d3a93392e5","datavalue":{"value":{"amount":"+0.8462708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095624$E5CEC0C7-16FD-4436-808A-F0D84D2E480D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93112d9d109b5340ee7489ec876b956174881b6","datavalue":{"value":{"entity-type":"item","numeric-id":579290,"id":"Q579290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408427efdd16d7bc490a942d11427e13b5301c4a","datavalue":{"value":{"amount":"+0.8453133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095624$2AA88796-717F-4E35-8E4E-E3EBD20261E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87e6d13c5877852cbe57d8e54f5b4877a18571d2","datavalue":{"value":{"entity-type":"item","numeric-id":3701590,"id":"Q3701590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d55bcd289089b568569dc4498418e15b9656cc7","datavalue":{"value":{"amount":"+0.8423619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5095624$518B77C4-2204-49DD-9B64-FAD2A6BD53B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5095624","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5095624"}}}}}