{"entities":{"Q1109770":{"pageid":1120519,"ns":120,"title":"Item:Q1109770","lastrevid":42885752,"modified":"2025-07-15T17:33:32Z","type":"item","id":"Q1109770","labels":{"en":{"language":"en","value":"Concerning some cylindric algebra versions of the downward L\u00f6wenheim- Skolem theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070897"}},"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":"Q1109770$085C125A-C746-455F-B31E-E4881C0BBC5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f709e2bf4ecc15262bbab6440999d5715ea2c73e","datavalue":{"value":{"text":"Concerning some cylindric algebra versions of the downward L\u00f6wenheim- Skolem theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109770$45B58475-4EC8-41D3-B9B8-2AA26CF84957","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f060fc56c295a21cd798ef986be2897856f2fd8","datavalue":{"value":"0656.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109770$EADEB810-A32D-4499-B2B4-D41137527447","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109770$880C7125-8EE6-4D39-9E0D-D89DFBBFA610","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109770$45A0EB19-6C55-4DD4-A0DB-A84E59E60F6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1109770$B995CF13-94F2-406A-9A4E-4FAA24465080","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2fe540fc87b5f4afdba8be14391ada673c9cbed1","datavalue":{"value":"The cylindric-algebra version of the downward L\u00f6wenheim-Skolem theorem found in the book of \\textit{L. Henkin}, \\textit{J. D. Monk}, \\textit{A. Tarski}, \\textit{H. Andr\u00e9ka}, and \\textit{I. N\u00e9meti} [Cylindric set algebras (1981; Zbl 0497.03025)] left several questions open. The author answers most of these questions, either by extending that theorem, or providing counterexamples to possible extensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109770$F6AEDD81-F74E-4386-9B5A-6B969C1268EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109770$74F1713F-24D0-46A3-AE13-22CFA8764B10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb3b1256e1a4ab11b7430b8893d7343ff0fc6475","datavalue":{"value":"4070897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109770$F0CA9A59-72CC-4E85-9F88-8D40E6467C8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebd5d77adcb47c9288cee42bec7e3c9d6fdb1aa","datavalue":{"value":"cylindric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109770$3C50C72C-0E99-49FF-8105-640995C3BC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3e37a2d855f9c60734af19461281dd4cfbdbba","datavalue":{"value":"downward L\u00f6wenheim-Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109770$586D0E1B-37FE-42F5-9752-CF59CB2AE339","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8c830f25d695f823013cb7f357472e8d32ae38a","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109770$72CC7F3F-7CFC-4A2F-B7CE-72AC7A05FF26","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":"Q1109770$01512500-FA1D-428B-8368-35BA9F8D5708","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0eba1267ae05cf6d37158983aec0d32c4412e41b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093637932","type":"string"},"datatype":"url"},"type":"statement","id":"Q1109770$2C2080F7-233B-4A71-A5DF-5E9ECE697AFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e38d8e69683f9d003647d67469ab7822ab914df","datavalue":{"value":"W2092179174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109770$5F479F6A-BC6D-45B7-BC0D-32AFD2DB0FAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65c446516a376aaa7b1efb7ee90720d11d319e47","datavalue":{"value":"10.1305/NDJFL/1093637932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109770$F5D4F692-6A00-48A7-A16B-64E254AB38C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5861c6736a35420cb1fe9148fb1c4396a667c791","datavalue":{"value":{"entity-type":"item","numeric-id":5192286,"id":"Q5192286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"641bd0de0a575f1b1ca2a507f952f51d8997efbd","datavalue":{"value":{"amount":"+0.87235415","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":"Q1109770$91823CAA-0CEF-4367-8DF7-F8C3E8BF5F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb87a57250ee4c87da42c33c3118dc066b6de82","datavalue":{"value":{"entity-type":"item","numeric-id":3003210,"id":"Q3003210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"641bd0de0a575f1b1ca2a507f952f51d8997efbd","datavalue":{"value":{"amount":"+0.87235415","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":"Q1109770$1AE3DCA7-CC81-47E6-8697-083F8950CF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f906e744de2b94225b7b6a4c2bfd564d204cbacb","datavalue":{"value":{"entity-type":"item","numeric-id":4011725,"id":"Q4011725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccaa714c5c57e151458da3adf03da82c5f4f00e","datavalue":{"value":{"amount":"+0.8524938","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":"Q1109770$D5F558AB-6BB6-4ABB-8365-742815975364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fe297bd4cc27005965c49e34a160db125d8eb57","datavalue":{"value":{"entity-type":"item","numeric-id":5687418,"id":"Q5687418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7df4cc37db27371374f66f54afb1173da92ae3","datavalue":{"value":{"amount":"+0.8497212","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":"Q1109770$72719615-1E4E-4015-8043-636219CB7C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2344787b67d7a9db2c0f3627189ca9ab369bb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4011735,"id":"Q4011735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c537f7bc7aa1dadbaaa05152accbe30354bcdeb9","datavalue":{"value":{"amount":"+0.8473784","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":"Q1109770$7413E490-BD12-47EA-9EC8-40D7500ED5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333dd4280a2ae81b7dd26c7caffb51448dfcb7f2","datavalue":{"value":{"entity-type":"item","numeric-id":5215389,"id":"Q5215389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21278e2b232ebd97f3c9d193a73db4dc8f78f98c","datavalue":{"value":{"amount":"+0.8467583","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":"Q1109770$67CE0724-AB18-4B82-9638-ADD0805078DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f77b1dce79bb563135f3c7f3dd353a70abc937d","datavalue":{"value":{"entity-type":"item","numeric-id":2220198,"id":"Q2220198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1867902d5dd59bb5fa5e83841dccfb76586ca625","datavalue":{"value":{"amount":"+0.84646404","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":"Q1109770$21A1397A-0ADB-4A0B-B3BF-C56638F19274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8482458eea142086f85986a6bd345e7e373e32e5","datavalue":{"value":{"entity-type":"item","numeric-id":3454804,"id":"Q3454804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0525f62b797e5442dd0e0a331a0482d3cb4a1363","datavalue":{"value":{"amount":"+0.8453188","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":"Q1109770$8DBA057D-7FDF-4BCB-A697-17798AF1C0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997c713de4c1d439a30599761c184bdc0a231b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4654078,"id":"Q4654078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32bf9aa61f5072f7970e8ce8cb1a4a2093bc548","datavalue":{"value":{"amount":"+0.84470886","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":"Q1109770$FA7249B3-646C-4A68-B960-04EF20394816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb09de60904377910605b2ac14fb23044e26fdd7","datavalue":{"value":{"entity-type":"item","numeric-id":934914,"id":"Q934914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12805e37e574792769f0c785793e0cff13a88c0e","datavalue":{"value":{"amount":"+0.8445435","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":"Q1109770$F1395040-8F7F-4B20-88A4-CEF65126351C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1109770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1109770"}}}}}