{"entities":{"Q1086227":{"pageid":1096979,"ns":120,"title":"Item:Q1086227","lastrevid":42865738,"modified":"2025-07-15T12:59:51Z","type":"item","id":"Q1086227","labels":{"en":{"language":"en","value":"Normality of Horn theories with a nonmaximal spectrum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3983145"}},"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":"Q1086227$12359DB8-6F7F-49FA-ADDE-9DA85DB18268","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"469a989ffd087ed0981fa6d7ae30ce9dd80e0d4b","datavalue":{"value":{"text":"Normality of Horn theories with a nonmaximal spectrum","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1086227$B1ED54B3-2ECB-413F-805F-50E020D4F895","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbd23769adf678d5c277718a17d0d99dfb9d95a8","datavalue":{"value":"0608.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086227$E07B0FA6-A19F-49B8-AD85-AF9D29AE6F35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db0ae949522f9b0e1613f5a3fa214229f5d4cede","datavalue":{"value":"10.1007/BF01978710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086227$7D89478D-E763-4B9A-9B69-AECA87497939","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086227$6680D236-0E43-4DAE-BE22-279C2AC01189","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1086227$E02B9655-9510-4CCB-9FC3-2ABEA0EAF5E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25b59aa0cef4a8d0b8593ad1359a8b3e1521e937","datavalue":{"value":"https://eudml.org/doc/187327","type":"string"},"datatype":"url"},"type":"statement","id":"Q1086227$31158DB2-385A-4B2F-85B8-5C86187BF307","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d152b664978952e1ea9ed0881408fb0eb3d2f39","datavalue":{"value":"The main result of this article is the following. If a Horn theory T (not necessarily complete) has a nonmaximal uncountable spectrum, then it is normal. This result is a corollary to the following theorem: If T is a complete theory whose h-companion \\(T^ h\\) is superstable and does not have the dimension order property (dop), then each formula T is equivalent to a Boolean combination of h-formulas and formulas having no more than one free variable. These results are used for estimating the spectrum of the h-companion and describing uncountable spectra of arbitrary (not complete) Horn classes, in particular, quasivarieties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086227$2B94DE24-56C7-414E-B6B8-1783CC18EF0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086227$0F959697-D03D-4D76-847B-7403A9D04F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086227$8E036F46-7BFE-4FB5-8CF3-2A4A7C7F00D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"913c69f42e219b24ead505fc1e9f91274608db39","datavalue":{"value":"3983145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086227$EBAAD3BE-D980-4D9A-9BC1-9E831F527A53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d07c6361f08f43f2dace247dd0f29321add1bc7","datavalue":{"value":"superstability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086227$3D3EB860-0C57-49A8-A202-FB2D606C6722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb131991ac61df937a24e35f9a843efb72ca0ee2","datavalue":{"value":"Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086227$E713C9F6-54F4-495D-9F8D-4DEFC2811F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8797183ddd58f745dd51724227d7a1f2204be813","datavalue":{"value":"h-companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086227$5CB0D8F6-A16E-4E37-B22F-0D8894054FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1086227$F596B813-2F0D-4CA7-B6E7-23B6D21EA011","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8735deae3225f716194dfca1cfe5307145d062","datavalue":{"value":{"entity-type":"item","numeric-id":1707926,"id":"Q1707926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086227$21BF16E5-70A3-405D-8B4D-81D55768DBF4","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":"Q1086227$85696CC7-3B04-4A3E-9C2A-0349328E0FFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a97898fde0805fc296646903d53fa82d1337b7","datavalue":{"value":{"entity-type":"item","numeric-id":1821771,"id":"Q1821771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086227$D511FA4D-F2C3-4FAD-B69F-BA0AD979C1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79cc00f72a99027c015c88edb698009b57b74016","datavalue":{"value":{"entity-type":"item","numeric-id":1078558,"id":"Q1078558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086227$B6FE3A18-45CD-4D38-9957-8DB4C763F721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e069e4af4903fe17f937d3f5653752cdb5a24b01","datavalue":{"value":{"entity-type":"item","numeric-id":3335761,"id":"Q3335761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1086227$5502AD8E-7B01-426A-8F9B-42501427FB93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02ba6993bcc70d2ff1847139593ea6a50d8a4849","datavalue":{"value":"W2074599235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1086227$9A7BB959-02D0-46E4-A750-2514B3ED7C2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b57767e847d0e36bba7a9bfb100518180ee0ef7","datavalue":{"value":{"entity-type":"item","numeric-id":4700633,"id":"Q4700633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c53c2fb9598888bdc8698dcb37a76d3475e2b9","datavalue":{"value":{"amount":"+0.9479594","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":"Q1086227$79538EE2-50B3-443B-8960-85203A43604B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8ac4c51c880ed6219d3c5bdae529a2783d0da4","datavalue":{"value":{"entity-type":"item","numeric-id":3824295,"id":"Q3824295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d5cbfd3d0d07decea52c99f2d403e8fbca82e6","datavalue":{"value":{"amount":"+0.94448406","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":"Q1086227$A4D9B7EE-EF74-4327-A9E5-10498A73AA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45eaad16464ecee003a7a935a7d28baea439e061","datavalue":{"value":{"entity-type":"item","numeric-id":2784452,"id":"Q2784452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb17720fb6bb58594ce6d246c1887105250af90","datavalue":{"value":{"amount":"+0.8563094","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":"Q1086227$CCC653CC-6980-4430-A1F6-C6885F55A380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8deaa0c1e1d623c19101872b46620ed1e83bf0","datavalue":{"value":{"entity-type":"item","numeric-id":4249522,"id":"Q4249522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb17720fb6bb58594ce6d246c1887105250af90","datavalue":{"value":{"amount":"+0.8563094","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":"Q1086227$52C8EBF3-DA5F-4E0D-9653-71E6C29DFE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deea4212e95790d25a990563bb65730f82f6088f","datavalue":{"value":{"entity-type":"item","numeric-id":2837764,"id":"Q2837764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a187463a6eb2a737b6791d993592ce58f45e81","datavalue":{"value":{"amount":"+0.85413337","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":"Q1086227$3469678F-0135-420B-959B-EBE2FE7D0867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d08dc38e37f28fdbd2a973c53e1b9d4a8c5939","datavalue":{"value":{"entity-type":"item","numeric-id":2173243,"id":"Q2173243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee95440306449ccd0dbf8fe48a3848cbd793797","datavalue":{"value":{"amount":"+0.8507738","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":"Q1086227$60378CCD-D08B-4A8A-B6B5-C638BA7171DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3ca5d7bb5b727be1de5d72845cf8d93eed70a8","datavalue":{"value":{"entity-type":"item","numeric-id":4985610,"id":"Q4985610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94832b610bb9687a7b2e43e15ae15c3000286c3e","datavalue":{"value":{"amount":"+0.84784514","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":"Q1086227$559447C4-51B0-40AB-B9AE-F13ED3CECD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042587c6fec10116cea3805097d7c0144d349eac","datavalue":{"value":{"entity-type":"item","numeric-id":4268410,"id":"Q4268410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7945cd887357f356d599ca9408b22e6b7dc50c5c","datavalue":{"value":{"amount":"+0.84581864","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":"Q1086227$5CCC72F1-D1F4-43DD-8F8A-5DAC93B74CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4421c0c3b658f891996c255f1aa70139679ccbbc","datavalue":{"value":{"entity-type":"item","numeric-id":3803096,"id":"Q3803096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8d8904d6594273e9e8293b9bf73fc470710447","datavalue":{"value":{"amount":"+0.8449534","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":"Q1086227$D5FD5A81-35C9-401A-AEDF-165925B6BBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6c3746d361dc34f670148de91ad3577cfeefc5","datavalue":{"value":{"entity-type":"item","numeric-id":4694212,"id":"Q4694212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3792dc64a178b9922a90bdfa0a2eabcb3e9eab7e","datavalue":{"value":{"amount":"+0.8442369","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":"Q1086227$0A162419-691F-4588-B216-D34A98FA3186","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1086227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1086227"}}}}}