{"entities":{"Q1367043":{"pageid":1377783,"ns":120,"title":"Item:Q1367043","lastrevid":43062004,"modified":"2025-07-17T08:48:35Z","type":"item","id":"Q1367043","labels":{"en":{"language":"en","value":"Horn sentences in Post algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062453"}},"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":"Q1367043$47C1CDD8-461B-4843-B4F2-8B682B5C4DBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce6a9066c85ef2e283a984b5a0981365f28d3330","datavalue":{"value":{"text":"Horn sentences in Post algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1367043$BB0F0D82-74DB-4738-A5A6-CEAA5946650B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbee7cffe2aa5f26d2cbb141165ff4fc028305ec","datavalue":{"value":"0882.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367043$B0646FF1-FB1D-4DB7-940A-FB5CE78F2F16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5225bd8f046e17e673a54ccdc04879d9db921ba","datavalue":{"value":"10.1016/S0012-365X(97)00019-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367043$A9230CBD-2F9B-48BC-8969-3587857D942D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcc5d56d3e5ad736d1f71a678d9d329f0299f860","datavalue":{"value":{"entity-type":"item","numeric-id":454895,"id":"Q454895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367043$FE88AE6A-698A-401C-9EDE-A84B9E228803","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367043$C32AC9E5-5236-4823-B6E5-F1707B8987FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e11d1837707d60adc8ea793d07b0b6f8a320eec","datavalue":{"value":{"time":"+1997-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1367043$844A630F-4018-4FDF-B9C4-611BACD4FC7D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"339b758f7e3cf1c4c2d9af4bc4140f04cbac9a30","datavalue":{"value":"The author proves that if a Horn sentence in the language of \\(r\\)-Post algebras holds in the \\(r\\)-element Post algebra then it holds in every \\(r\\)-Post algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367043$51A38102-D3F2-41A5-A2A2-9F5B8AB08221","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367043$D6213AE0-26C9-4FE1-AA66-85B0644AA5A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f9b3d419870b76e25ecd3422f827ca4e1d1e0a0","datavalue":{"value":"1062453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367043$67413CB3-F94C-4038-9DCE-F094F511328E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc34c6721d065338d1cf309ca43540655d290e8","datavalue":{"value":"Horn sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367043$685619F9-B057-4A5C-9338-7EA8B8325213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2515de3f4a33f764f3ee7095a3f8b6b45c3679e7","datavalue":{"value":"Post algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367043$38A352FF-3C79-4A00-A2AD-8D8E976C40FE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367043$B043BD0E-C8D7-4F2B-9B41-2562AA312AF0","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":"Q1367043$ECA5839D-E34D-4DA7-BE49-7C9D8E4C3D9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f6ec3b4711f20a507b9d65f342e8f684ac386","datavalue":{"value":{"entity-type":"item","numeric-id":4055683,"id":"Q4055683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367043$B122B5BB-D96B-4DBC-B188-9E65DC206CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367043$92138E6A-0D88-4DE9-962D-D33ACB883F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51101dc78ae1c0c7784b4a45e05d8608d32ba6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5607971,"id":"Q5607971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367043$4592BC80-6BC2-41C3-B0BE-D5C9D7C633EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa659ed7058b76e88bcde043eff86a4ba146e47","datavalue":{"value":{"entity-type":"item","numeric-id":4135510,"id":"Q4135510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367043$8A3A79D1-DEA9-4043-8EA8-3122C532F958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af488b78758a4c45cd4abe764f75a0c22a3792dd","datavalue":{"value":{"entity-type":"item","numeric-id":5596222,"id":"Q5596222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367043$49EFBA79-00E8-46D2-B776-84C9BD927794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33fb3311a3e32d6a9c4326a745fa10f2d5aa1250","datavalue":{"value":{"entity-type":"item","numeric-id":5552763,"id":"Q5552763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367043$E1B2AED4-1F40-4C35-8B31-FD81DB5D18C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa595c975cc96f28daa1bd7521f98f77aeacc40","datavalue":{"value":{"entity-type":"item","numeric-id":4083731,"id":"Q4083731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367043$746A778D-94A0-4181-B2FF-E20996810D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1095776ac5eebc14406f6765b108c59b4b701b3","datavalue":{"value":{"entity-type":"item","numeric-id":1917500,"id":"Q1917500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367043$BD9D646D-7A74-4D1D-8FEE-4083280663E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1367043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1367043"}}}}}