{"entities":{"Q2734543":{"pageid":2745282,"ns":120,"title":"Item:Q2734543","lastrevid":82987061,"modified":"2026-05-06T22:36:28Z","type":"item","id":"Q2734543","labels":{"en":{"language":"en","value":"A preservation theorem for equality-free Horn sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1634472"}},"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":"Q2734543$2D184F78-1971-4120-BB2F-1B72CB5AE6B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b1be3e50cad87f687a0d4c69a4419fe93bd088a","datavalue":{"value":"0981.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734543$C39A5702-B80C-47C3-A15D-AB02138BAAF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"569c6ae314bacef55b7f62c6c521a533e2713fe7","datavalue":{"value":{"time":"+2001-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2734543$A5862808-E651-4CAF-BD4F-3D76CF61DC8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734543$B90888E1-2793-4A0E-8817-606C875A8B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734543$26008DFD-A2AB-4101-84E7-11DBFB3DA0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734543$AD242C13-F52F-49E2-9CFD-9BE1D270BC7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f9ce6405deebbbb9e01090c92ed0027ca0ddd09","datavalue":{"value":"1634472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2734543$110701DC-9B14-4EFD-83F9-42E7353B80D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734543$4E6EEF07-047D-48F2-B3E0-1544E568BB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a973ca6b294f3c624d69e8067af106d806cde77c","datavalue":{"value":"preservation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734543$408CD1AF-4E95-4E24-8265-43E369A70A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a69dacd527c3c6239ddf3611cc2e12f32d2b897d","datavalue":{"value":"reduced products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734543$7B2AE6F4-6DAF-4B03-A1C8-330E882C5136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc34c6721d065338d1cf309ca43540655d290e8","datavalue":{"value":"Horn sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734543$5119F03D-90F5-4AF2-9961-A8C56081B86F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8580f05770d3cedcc20752d465da7674298288e6","datavalue":{"value":{"entity-type":"item","numeric-id":1577360,"id":"Q1577360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2734543$EF3637E7-0DF7-4E43-8092-0CD70314DB3C","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":"Q2734543$5E6233B4-8427-459E-8328-D1277515E496","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9dd2e4e99224aeea5da624d53ed17320db8acb5","datavalue":{"value":{"text":"A preservation theorem for equality-free Horn sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2734543$FE020FE7-E033-45F7-A9C1-B08A6B7F3C9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd3fab278ea6af933fc8203a18b704be37268135","datavalue":{"value":{"entity-type":"item","numeric-id":6549410,"id":"Q6549410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2734543$74F542F5-9D9D-442F-82CC-62C458003E64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a67482c81a6ea1f008c4fcf2968f5b5881e515e","datavalue":{"value":"The author proves the following preservation theorem: a sentence is equivalent to a sentence of the Horn fragment of first-order logic without equality iff it is preserved under strict homomorphic images, strict homomorphic counter-images, and reduced products. Keisler (using the continuum hypothesis) and Galvin (without this hypothesis) proved that a sentence is equivalent to a Horn sentence in first-order logic iff it is preserved under reduced products. The present proof follows the main lines of the proof by Keisler and Galvin.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2734543$9A29B5E5-6415-428E-8736-A8D8C6F40037","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2734543$375CCF10-FC00-4895-A841-FC3190579C2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580cb92ce36cfba768229e1f44215fa4017ebf20","datavalue":{"value":{"entity-type":"item","numeric-id":4934882,"id":"Q4934882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5a80d52447bb08956dda9007fa9ffa1310af1e","datavalue":{"value":{"amount":"+0.8302406072616577","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":"Q2734543$6DF8DEDB-B8BA-4CBA-B0A6-69904F7D3607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa483cb5876611ff6dbda68375548d0ad5f40a0","datavalue":{"value":{"entity-type":"item","numeric-id":3787986,"id":"Q3787986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5a80d52447bb08956dda9007fa9ffa1310af1e","datavalue":{"value":{"amount":"+0.8302406072616577","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":"Q2734543$C2AB5EDC-E2C9-47E7-9EFB-B6306286F369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2813cd8fde9cdf8e14d75c679789ce3884dbf05","datavalue":{"value":{"entity-type":"item","numeric-id":1577353,"id":"Q1577353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a806bd819636243383b32f3c628ae5a75cb6eb1a","datavalue":{"value":{"amount":"+0.7886899709701538","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":"Q2734543$F90B2672-3B68-40BD-B7E8-3C49731815D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24e294615fee7b1e6721a2169219c5b08263f67","datavalue":{"value":{"entity-type":"item","numeric-id":3128471,"id":"Q3128471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a3981062037367df1548029d6c1fbf50db799c","datavalue":{"value":{"amount":"+0.784707248210907","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":"Q2734543$C2A9972B-1710-4565-B7F9-1C52903F4839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9be6b625f1abe4e69e07dcd690abf67b76da1431","datavalue":{"value":{"entity-type":"item","numeric-id":2508610,"id":"Q2508610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a3981062037367df1548029d6c1fbf50db799c","datavalue":{"value":{"amount":"+0.784707248210907","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":"Q2734543$3DB12731-3EF8-4828-BFDB-CF3B6C9AF4B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A preservation theorem for equality-free Horn sentences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_preservation_theorem_for_equality-free_Horn_sentences"}}}}}