{"entities":{"Q1909437":{"pageid":1920179,"ns":120,"title":"Item:Q1909437","lastrevid":69427893,"modified":"2026-04-13T06:56:10Z","type":"item","id":"Q1909437","labels":{"en":{"language":"en","value":"Three characterizing numbers of partition logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 854920"}},"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":"Q1909437$7E8409A9-EE30-48A2-9686-F981C266735C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dce4d4cf7c9f7cf1b8aa1f3444710bb1209d81f","datavalue":{"value":{"text":"Three characterizing numbers of partition logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1909437$E2DAE493-F130-4FE5-A689-9CC6A4D9CEDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44521f2174f81535779db6ff2264e29c6493066d","datavalue":{"value":"0839.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909437$450FE339-77BB-4095-93E3-84A19E882AC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b0d9ef6da62019577cf62779632daab2df0247","datavalue":{"value":{"entity-type":"item","numeric-id":671642,"id":"Q671642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909437$2486574E-EF27-423B-A1E8-6EFBE84E4E7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909437$8A3C5ED1-C2FD-46DD-A16E-1D8D9EBA6CF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3a04010ec8818dd2d5d372c0f971835e38fd9a","datavalue":{"value":{"time":"+1996-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1909437$905286E1-5229-429A-AAFF-AA2692B82B35","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89bed024a671745eb2ec29f8cd8907982f283118","datavalue":{"value":"Partition logics are a family of newly proposed extended logics. They possess quite strong expressibility as well as rather good model-theoretic features. The background of introducing partition quantifiers is mathematical; however, they have found themselves in applications to computer science. We further study in the framework of model-theoretic logics some fundamental properties, such as the well-ordering number, Hanf number and L\u00f6wenheim number, of their representatives: \\(L(P^{1.1})\\) and \\(L(Q^{1.1})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909437$17B12435-7DF6-4A97-8024-1792B82612D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909437$7EB4930C-6A36-4E1B-B49F-4ABB2B8CC6D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89491c2976fc5c0839ff00bf8d8b32e83583fdd7","datavalue":{"value":"854920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909437$02E22AE4-2D98-4D53-9FD5-10F2E3730F03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9916e839a02963b01e06f3dc99fcb6d883840f9","datavalue":{"value":"partition logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909437$E93DE124-E6FD-4AD2-8442-D3DB5E681D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5244657c7bd00a4248ce2854003d413a9b44514f","datavalue":{"value":"partition quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909437$3CC6BB1F-D9E9-4CB8-9744-502791DA9C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29a819de33a492ace6f01faf5654b033d05bbff1","datavalue":{"value":"model-theoretic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909437$3900E34A-6EA9-4FBE-A8BD-1039DF75597D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9f8aee0307d3901e34193c4ab095e6ce41753dd","datavalue":{"value":"well-ordering number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909437$93A4C3E6-95C3-4D1A-8A2B-68CDB6FE08C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016a619848fd5b7dc99301b9d73980544639b371","datavalue":{"value":"Hanf number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909437$53B14784-F0B4-4F3A-A845-51743638BB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce3c7901031f7cee9066cd6c38e2d6873ba05e1a","datavalue":{"value":"L\u00f6wenheim number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909437$F95CB98E-81DD-4B2F-91A5-F1556383BC51","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":"Q1909437$69486043-6859-45ED-9110-35704A2031EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeca5c86a55f2648ba3d2fd2ef04baaf05d8dffa","datavalue":{"value":{"entity-type":"item","numeric-id":2987760,"id":"Q2987760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137c9768abc3c3a6459fa0eba06ede4c2c382066","datavalue":{"value":{"amount":"+0.8674968","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":"Q1909437$3DDAA77B-B7A3-4C84-82BD-BEE5E71ED349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f6f74dbbeb9451df718fc34f2f0eaecb745008","datavalue":{"value":{"entity-type":"item","numeric-id":5172127,"id":"Q5172127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8beb208c8da42936e40e34061f7afd513ca83ac4","datavalue":{"value":{"amount":"+0.85615","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":"Q1909437$5B51AACE-5F97-486B-BF11-71F13660C9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b6bbbd84cd459aa19e2fe7abee03ee846af9c0","datavalue":{"value":{"entity-type":"item","numeric-id":4542600,"id":"Q4542600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09158d761650abe539bb77463ae07a7dda3d76c3","datavalue":{"value":{"amount":"+0.84774876","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":"Q1909437$737C4EAC-CC7D-4738-A01E-F657757D97EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd76a9fb7e78703b792413564d590e5af0646b8","datavalue":{"value":{"entity-type":"item","numeric-id":3689105,"id":"Q3689105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39777fb5f7fc422384480620746c75bc2c4bfc8","datavalue":{"value":{"amount":"+0.8474157","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":"Q1909437$E2C1AEF6-9061-487B-B7EB-44D3705BA5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1910cb92aa288dbcd509f9cfa1fb90f640294280","datavalue":{"value":{"entity-type":"item","numeric-id":4864832,"id":"Q4864832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4addbd843223f1dfdaa2b4eb1f94604b5bdc1b4","datavalue":{"value":{"amount":"+0.8435842","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":"Q1909437$3945BDA8-442F-4FBA-8E6F-CFB9FE4CA6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3446ff4bed3604b47df9e88311d9b3d55b2ba14","datavalue":{"value":{"entity-type":"item","numeric-id":4440793,"id":"Q4440793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd3aeb04d030c38d48e2aa0dffa1aa6c994cf28","datavalue":{"value":{"amount":"+0.8432943","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":"Q1909437$0E0FD041-DB75-45EA-80E5-D2ED57BD87E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8916e9e8aea2601e3a3e18cca73b51e9fe78bd","datavalue":{"value":{"entity-type":"item","numeric-id":3786469,"id":"Q3786469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"881184ac0e79d31a597f9cead031aa8217cdc9d3","datavalue":{"value":{"amount":"+0.84122014","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":"Q1909437$C00C849D-EDC9-47BB-B64D-4424EDFAD0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583e8f05f24a712b989d1f165c33bb66f501606b","datavalue":{"value":{"entity-type":"item","numeric-id":5241519,"id":"Q5241519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809ce85ccefe396a9e125e865147e605b04e8e67","datavalue":{"value":{"amount":"+0.8411425","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":"Q1909437$E0ABD85F-E408-4EE2-9307-46E09AA6AEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f3947e6f28dab2716daa1298bdb05f384c6eaf","datavalue":{"value":{"entity-type":"item","numeric-id":5948044,"id":"Q5948044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893c11918eab75c74c0fe4e5a7b8bbd33713e2b9","datavalue":{"value":{"amount":"+0.8398848","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":"Q1909437$5A1FC69A-F067-440D-9DE7-0EE7EB5E9305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52193dd850c75ee354374acf5100579c10b57a81","datavalue":{"value":{"entity-type":"item","numeric-id":3606930,"id":"Q3606930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ecd655822a5f102e8c1217f6905c604db52c53","datavalue":{"value":{"amount":"+0.8388482","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":"Q1909437$B610EAD2-E00D-452B-B8E3-EC589079A179","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three characterizing numbers of partition logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_characterizing_numbers_of_partition_logics"}}}}}