{"entities":{"Q1078558":{"pageid":1089310,"ns":120,"title":"Item:Q1078558","lastrevid":66826911,"modified":"2026-04-12T13:07:48Z","type":"item","id":"Q1078558","labels":{"en":{"language":"en","value":"Models of superstable Horn theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3961585"}},"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":"Q1078558$FECAE0E6-CC3B-4DCE-B80A-C641E44AC006","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c042dc7cf1d8520eb8e932a800871a89d4c4ef9f","datavalue":{"value":{"text":"Models of superstable Horn theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1078558$6A85DE3D-68C0-4E40-8115-61552845CAFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85d3ec7eca3db5d58cd0b631d9cb01b72d5ce22f","datavalue":{"value":"0597.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078558$2B568DE2-DDBB-4C50-9682-AB94AD95182F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bd2edfe17f54056721a2a1a97da0d4c12363eee","datavalue":{"value":"10.1007/BF02080332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078558$3A4A48AE-BCEE-44A5-9496-8A9EDA94845C","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":"Q1078558$35A793D3-D186-4957-B722-FABE5976CC36","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":"Q1078558$E14D1E35-388A-41F3-AA78-A1752B57A1EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a026efc09d3f55ee7fb14e0b2ffd0999559e38e","datavalue":{"value":"The main aim of this paper is the development of a structural theory for models of complete Horn theories with non-maximal spectra. A termal lemma, proved in the paper, permits to prove the existence of a prime model over any independent set of models of a complete Horn theory with non-maximal spectrum. It is proved that any model may be decomposed into submodels of smaller depths. This gives the possibility to characterize models of Horn theories with non-maximal spectra. Lower and upper bounds of the spectra of complete Horn theories are found. This gives a proximate characterization of the spectrum of a complete Horn theory if its depth is 1 or \\(>\\omega\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078558$227ABEE4-E837-48F2-94A6-0AC9EE941A54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078558$1745002A-54C3-44BE-9EA9-2ED1339F3409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078558$5F73BE0B-64CF-4399-8A3E-E864EDB2F152","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e2fde074a292ceea8734115533531af8765115a","datavalue":{"value":"3961585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078558$112BD4CE-4FA8-4372-A963-3AC9238F42CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e282d1169f9c88f4d627d48a9acfa6bffb7e3a8","datavalue":{"value":"models of complete Horn theories with non-maximal spectra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078558$B7C4EB32-3D6C-42C1-A3F9-D27D3C6C73A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078558$6698A5F7-CFA2-4EF3-B02E-960E755E4097","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"926573cd58492c8916c4342e8009172069893a13","datavalue":{"value":{"entity-type":"item","numeric-id":1053672,"id":"Q1053672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078558$5C2FBFDF-429D-46C6-8257-8714370FA7AD","rank":"normal"},{"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":"Q1078558$3F781DDB-D2DA-4F31-87F1-38618FE0A052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53795df750abe7c92a6f4dcfe26448110eca5d15","datavalue":{"value":{"entity-type":"item","numeric-id":372617,"id":"Q372617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078558$9743E8DB-4A62-47A4-BF52-21AAC57368FA","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":"Q1078558$12988D1C-D3DC-4CE6-98CA-C0258EBE6B82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab16e2ae40f9941b1c6c46c909b6011b7578e1e","datavalue":{"value":{"entity-type":"item","numeric-id":4081299,"id":"Q4081299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078558$97A4FB22-96F8-424B-AF76-EC896BE2A0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4105535ef6f8d027aa94f6794d219101910d22a","datavalue":{"value":{"entity-type":"item","numeric-id":1146662,"id":"Q1146662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078558$51933000-D9CB-4CA3-A600-A52D2D88E64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e0fe4d6be3c6c718ceb53e672a2fa679ff6d1c","datavalue":{"value":{"entity-type":"item","numeric-id":3964536,"id":"Q3964536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078558$032579DB-2C92-48CE-9E31-93F79120BB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc90333c6fb174c8132ba311a44d529a97644043","datavalue":{"value":{"entity-type":"item","numeric-id":1053673,"id":"Q1053673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078558$50906290-ADAB-4252-9E83-3A1E10D0D560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078558$617F6FD8-157C-4CA4-8C02-C49D5AC19CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5f65cff31d9bf758cb0757cf214acacbcb8138","datavalue":{"value":{"entity-type":"item","numeric-id":788713,"id":"Q788713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078558$CD51A272-1F58-4E91-B68D-0BECE8E2B6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9c81cd8ad9413c3b7d77ba2ba534fa00c0d816","datavalue":{"value":{"entity-type":"item","numeric-id":788714,"id":"Q788714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078558$90618DE1-DDB2-4F3F-9521-A073A64966B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecbb92eaa9aadfff92260e556b15d19048d51a","datavalue":{"value":{"entity-type":"item","numeric-id":5537655,"id":"Q5537655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078558$6170FF66-31A2-4DCC-8E3E-D62DA257DA96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be18cff12f4a8df431519379e6d2cffb70f49da1","datavalue":{"value":"https://doi.org/10.1007/bf02080332","type":"string"},"datatype":"url"},"type":"statement","id":"Q1078558$04A3E1B8-2768-4DD1-9D28-21A101277A3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c57f07c91d148766bfa69760504bec40b8061177","datavalue":{"value":"W2092199731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078558$627708F5-BA0A-4FBE-9FBC-98D5E4A21BA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2c0d93c715193a9a10f0c7d81ab8c9db6c198e","datavalue":{"value":{"entity-type":"item","numeric-id":1099167,"id":"Q1099167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3848a9cad37888e5b4c6dfc7cc81e3536d2fde4","datavalue":{"value":{"amount":"+0.8698037266731262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078558$819A648E-74B9-4B8A-B71F-285422E7F025","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":"175c5b28896e00318a3a57976f3dc812ab06fe2b","datavalue":{"value":{"amount":"+0.848334550857544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078558$244DA00B-A72D-4A88-943D-94ADD57B70F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf25bc6f4c8dbe16b4951c83eb9875017e7359a","datavalue":{"value":{"entity-type":"item","numeric-id":1086227,"id":"Q1086227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64656818467dcf907af609fadca30a936332b6c","datavalue":{"value":{"amount":"+0.8410673141479492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078558$45F8EE1A-355C-4CC7-9499-A0E2737C85F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ab4979bd5f2d758576d1880114ab04de6c405b","datavalue":{"value":{"entity-type":"item","numeric-id":3792668,"id":"Q3792668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf6ce7aa1306be0d4ebc238aeb53472ef7e87b5","datavalue":{"value":{"amount":"+0.820219099521637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078558$2C33BCE8-D0FB-41C4-BEDB-40DC168A39A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90302168c81d10b9562140a0e52f735bffb6bde5","datavalue":{"value":{"entity-type":"item","numeric-id":800351,"id":"Q800351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54ee2db4cb17377a8978f2aea282cdc54fcedac","datavalue":{"value":{"amount":"+0.792053759098053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1078558$3F8C6B81-8E19-4C10-A45B-E5E0CDA22FE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models of superstable Horn theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Models_of_superstable_Horn_theories"}}}}}