{"entities":{"Q800351":{"pageid":802199,"ns":120,"title":"Item:Q800351","lastrevid":64552287,"modified":"2026-04-11T20:39:44Z","type":"item","id":"Q800351","labels":{"en":{"language":"en","value":"Model complete universal Horn classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875245"}},"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":"Q800351$E3FF6AC8-2685-4D1A-9E0C-A3123194AF2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50d61cd5e317a985f8e46316fc5cf0227290670c","datavalue":{"value":{"text":"Model complete universal Horn classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800351$BCA5E5E8-5BB1-4FA5-9B2A-E8F143041842","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d77feb9ccd2a9b8eb8a1f55aba1d085f5a35262","datavalue":{"value":"0549.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800351$C2816B99-BF1F-4252-8288-A124FA1B8D8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"186b930220217837ac89f7d5537023a5452c6948","datavalue":{"value":"10.1007/BF01194519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800351$A0361A32-EE7B-4FB2-A13B-BE50AEE31CF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e64e009c5b29c61a4b3361a7a032b4dde217928","datavalue":{"value":{"entity-type":"item","numeric-id":283126,"id":"Q283126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800351$F5BBBC64-C36D-4F62-A6FE-889A7D3F1B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7df76a521f110f0d7e81939ad3df60ac67ebebc","datavalue":{"value":{"entity-type":"item","numeric-id":800350,"id":"Q800350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800351$22641221-D2B7-4552-9334-56DDF56897A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800351$BF5A858E-80B4-4E16-A4F0-4BD111D875B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q800351$8C391CDD-1448-4493-97D8-7D2D189BA213","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc293837b33061db0ba1a6d1aedbbb7dff6939aa","datavalue":{"value":"It is shown that the class of (non-trivial) models of a universal Horn theory \\(\\theta\\) whose infinite part is model complete is the union of a sequence of pairwise disjoint complete and model complete universal Horn classes. This result is applied to determine the number of non-isomorphic models of \\(\\theta\\) (under the additional assumption that \\(\\theta\\) is locally finite).","type":"string"},"datatype":"string"},"type":"statement","id":"Q800351$E43AE8AD-900F-4AD6-ADD6-98D92685BC31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800351$7C60F611-329C-4671-BFB4-C8EE7A99CB83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c0dcd23f3ec5abd4ec52dcd0ea7fbac09341043","datavalue":{"value":"3875245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800351$9A23B835-4311-4EA9-BE70-60C02D576042","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed2cb0a1f3867c9f17dd2962b909fa4af4425f9a","datavalue":{"value":"models of a universal Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q800351$D1F397D7-37E9-4A39-8B64-9E1FE267DC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a97dc322425218f92bc61a83df56fc4e9a3b2677","datavalue":{"value":"universal Horn classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q800351$838A1190-DC3C-4895-B351-ED22A23B2076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f3d35d217fe65a1acb31f4788585ecff63a4726","datavalue":{"value":"number of non- isomorphic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q800351$97CAE731-A8E7-4863-9DD2-276239CB7702","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73a1643e41698b2031364550f847827b09b1ce33","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800351$F0493899-FA8B-43E7-8C66-2893B4C5002E","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":"Q800351$19E36043-4C16-49E2-95A8-6A4386D1BB2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89245c665b4761297ee5cdd62dfd20cae945edfa","datavalue":{"value":{"entity-type":"item","numeric-id":759010,"id":"Q759010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800351$89638BF0-2B94-44B7-8EC6-3117AC9D1717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800351$E32C4533-2048-4270-8DA7-103B37D4823D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bb23df381e43e38f771298bddf52d89b4a07a0","datavalue":{"value":{"entity-type":"item","numeric-id":5606571,"id":"Q5606571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800351$406C188B-3C69-424F-9702-C30BEBDDD945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a460b825063f8a2c7b64faf9b07693545c988bb","datavalue":{"value":{"entity-type":"item","numeric-id":3875903,"id":"Q3875903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800351$A15C36AF-1813-4BDD-9997-04DEBD666E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800351$8D2A9672-D118-497F-B322-5FA0228EBA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9d2c6d437a8dcb67fe333e5f250b25a8d9de87","datavalue":{"value":{"entity-type":"item","numeric-id":4159026,"id":"Q4159026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800351$DB90DD6D-1BED-4429-8EC4-7D2A8D5866BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69229727be2d8c28c7f7b7c5eac3c8b8174b9930","datavalue":{"value":"https://doi.org/10.1007/bf01194519","type":"string"},"datatype":"url"},"type":"statement","id":"Q800351$FDD9F22E-F68D-4CA6-9C06-E926531AA523","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84ddfcb4772ede28b4d0333c87bc5fc297cb08e5","datavalue":{"value":"W2059358655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800351$4D42FE62-5091-459A-B6EA-9F20A45EFB7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0f75179fc95d801dde6390a9c3dfe837fac856","datavalue":{"value":{"entity-type":"item","numeric-id":1078558,"id":"Q1078558"},"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":"Q800351$22E4D79D-231C-41FE-82EB-E7EFBFBE408F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349253d7c9b07808c884e4ba23c0da0b23ca02b7","datavalue":{"value":{"entity-type":"item","numeric-id":541986,"id":"Q541986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92b7bc304d285cdb93235690251fbe3b828d54a","datavalue":{"value":{"amount":"+0.7909867167472839","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":"Q800351$58C9BE04-B6BE-43FD-B79B-89D4EC061CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f359a892b1bf3e04eca36c08791445cf20b7ee","datavalue":{"value":{"entity-type":"item","numeric-id":3734377,"id":"Q3734377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a30c32e76a639ccef37f5d5fc96099b0f99f75","datavalue":{"value":{"amount":"+0.7890008687973022","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":"Q800351$0BED40E5-5B8A-4960-ACEF-11D99493DFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018cbfecb9e2e318922efc6c458564ab1a1424f5","datavalue":{"value":{"entity-type":"item","numeric-id":4240493,"id":"Q4240493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb462d263b1d7721e8d3360bd7542cfd10f88b1e","datavalue":{"value":{"amount":"+0.7826303243637085","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":"Q800351$0B51F935-4BDF-46EB-A9B8-D26D4BFCDD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca83b089f61de2356125b4df1d582e9543e7891a","datavalue":{"value":{"entity-type":"item","numeric-id":918543,"id":"Q918543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbdc879f89f1b9d2b9b0feff36c6a38f15986cd1","datavalue":{"value":{"amount":"+0.7816370129585266","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":"Q800351$F64602AC-88B7-472D-BC47-B226BC95A40D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model complete universal Horn classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_complete_universal_Horn_classes"}}}}}