{"entities":{"Q1799275":{"pageid":1810017,"ns":120,"title":"Item:Q1799275","lastrevid":71275167,"modified":"2026-04-13T21:08:54Z","type":"item","id":"Q1799275","labels":{"en":{"language":"en","value":"Lindenbaum and pair extension lemma in infinitary logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958310"}},"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":"Q1799275$BC3CA14C-B766-4F07-B821-C173DB3FB9D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe53201cd4d986a21ec840631d44c7a2f93dd0a4","datavalue":{"value":{"text":"Lindenbaum and pair extension lemma in infinitary logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799275$CEEF61A0-DB5C-4592-9EFC-AD6DF2EFDCD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0887eb6f6001ba7ca208bf45798ae84119ce1d67","datavalue":{"value":"10.1007/978-3-662-57669-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799275$70D400B1-C893-46EF-BEC6-6C74B68475D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac19c6003a814839a3f511f3b429af9fdef7758","datavalue":{"value":{"entity-type":"item","numeric-id":402118,"id":"Q402118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799275$E5ABB047-6F6C-45E6-AABB-936EA0634038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799275$BC19EDEE-5666-4FEA-8FF7-C9843CE5F624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b95ee5729250325e674fde3eefc83dde3106a2c","datavalue":{"value":{"entity-type":"item","numeric-id":1756590,"id":"Q1756590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799275$3E3966FC-2018-485B-BC03-3A58237B7718","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799275$6F6C7029-F94A-48F3-957E-AAE125C932E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799275$C566F7AC-14A6-4261-8C45-0F3102B95AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799275$F8959817-03E7-4C99-A922-08E5EFAE95C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799275$27FB0287-F2BB-465A-AE2D-4C1BCB1BF8E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd0059cea4f3312926fefcc3123c2683d9f34789","datavalue":{"value":"6958310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799275$5EC80413-5F61-4668-BBC9-212E9C9AC4C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e33ab7f046977346105a8719535046c61f18bd02","datavalue":{"value":"Lindenbaum lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799275$1C05A50A-58BC-425D-8F4A-E5498E421C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f0cbe77ff4441227386cc8d8ff1c2c302160bd","datavalue":{"value":"pair extension lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799275$64300A06-3505-4C45-A583-0A5CB3DB0DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799275$0A5C162C-7591-4D26-825E-FC4FEAFEEC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48d9e55aeab2a09506ceecb9bd50cc8397783bae","datavalue":{"value":"infinitary deduction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799275$0FA2FFDB-14DF-4C97-A748-23C8853C0699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c90440a4dd41d17d4d9b21f3678da08deb46ab90","datavalue":{"value":"strong disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799275$4DE75B9B-D0A5-4F1A-BCCA-9B11D46F1F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e034007fc3c30c31e6dd49a4dcef00aa12c5878f","datavalue":{"value":"prime theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799275$4183B89A-9D25-45BA-8A6D-4A5D9AD5BE9D","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":"Q1799275$41C37A9F-5C7D-43C3-BCEB-0BAE7329A1A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b936cb02aea5ea880bb408f1ecd2a6a9e637169","datavalue":{"value":"https://doi.org/10.1007/978-3-662-57669-4_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799275$2B847D7D-DA1F-4903-88CC-6DA656516564","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b245caeed93008591a21fc29fa5b90b400a4f570","datavalue":{"value":"W2810957784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799275$E8F7CA3F-5BA8-4DEF-A089-C38E113F6972","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2165ce857bc5b65fad7b4d24e48df2aadbf0c9","datavalue":{"value":{"entity-type":"item","numeric-id":4619876,"id":"Q4619876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde602303ab3ff018af096fd4cf6a6cfb4fc1af8","datavalue":{"value":{"amount":"+0.92480236","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":"Q1799275$947FB7BD-9C13-4772-BD68-E5348B870F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae035405c3d91b9741d3739a292e33ba7cb16574","datavalue":{"value":{"entity-type":"item","numeric-id":1765098,"id":"Q1765098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c461839bfc4e5995291f9e1fb691f699de7419db","datavalue":{"value":{"amount":"+0.9150346","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":"Q1799275$49F11998-47E8-470D-B542-9C428A4DB040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee551284211c0c7eb59b86d9972bb28d3a85a796","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7291d475fa9e1f4c7b39fbe2a8c1bce5b20c2649","datavalue":{"value":{"amount":"+0.8984773","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":"Q1799275$1349DEE5-6FE8-473C-ABCD-C5699B7029B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84539b3542c488b06c971dcfe8ae7d9d49005c60","datavalue":{"value":{"entity-type":"item","numeric-id":4798419,"id":"Q4798419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642d24001d89fc7909d7ac2cc941c8cee7e867ce","datavalue":{"value":{"amount":"+0.89717454","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":"Q1799275$72500289-1161-4F3E-9B4D-123B2454289B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2adb8527405b6acea672597decfdc0220777d14","datavalue":{"value":{"entity-type":"item","numeric-id":4395613,"id":"Q4395613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f1c234327cea8087c509bdfccf678b7a9f32ee","datavalue":{"value":{"amount":"+0.89653677","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":"Q1799275$6391D236-8900-44E0-A0AE-E403F90313AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd20bec01f922f56f37f259f385be050b2fece5f","datavalue":{"value":{"entity-type":"item","numeric-id":4411833,"id":"Q4411833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6911568b9522348f45cf26831284128623c5ecbb","datavalue":{"value":{"amount":"+0.89535147","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":"Q1799275$F96DC795-1CC7-4E6B-AD6D-641C7F76F89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4f006ba9f9e867168533689378936db3094c92","datavalue":{"value":{"entity-type":"item","numeric-id":1037594,"id":"Q1037594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7732aed1ff0fc2b69633184e027b6906940c70d","datavalue":{"value":{"amount":"+0.89422184","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":"Q1799275$1F7E5E88-8D38-4F45-944A-E032D0986A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc999c2fb46b35ce5f13d2d59e5451b394f64d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2176405,"id":"Q2176405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1658d3589c8eb0837fa7764640b38e7a83fc7e","datavalue":{"value":{"amount":"+0.89109474","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":"Q1799275$E7273DA6-35BB-4230-8E67-89C3992414C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3752c6d3a2ff7c2b6bcc38b0a9a3a2dab4af0a23","datavalue":{"value":{"entity-type":"item","numeric-id":6132580,"id":"Q6132580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692562ad7d76a9eb19f38449a6cdbb028df3e0e6","datavalue":{"value":{"amount":"+0.8894045","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":"Q1799275$9266E68F-6166-470D-8720-12CCDE449117","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lindenbaum and pair extension lemma in infinitary logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lindenbaum_and_pair_extension_lemma_in_infinitary_logics"}}}}}