{"entities":{"Q1263575":{"pageid":1274325,"ns":120,"title":"Item:Q1263575","lastrevid":68331771,"modified":"2026-04-12T22:59:22Z","type":"item","id":"Q1263575","labels":{"en":{"language":"en","value":"Axiomatization of semigroup consequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4127180"}},"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":"Q1263575$C79053DA-4FE0-4AAA-BE31-9717D9A2828C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a481bcd5cb60a9b3c711a8aebb042c9d982cf649","datavalue":{"value":{"text":"Axiomatization of semigroup consequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1263575$F48216F1-8EC1-4C7C-8A7F-87C80F0CDA41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9a27669816a908c726cdd282d016a59aa518bb7","datavalue":{"value":"0688.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263575$5D0111E5-37B8-46AB-8CF6-BB529CB04440","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d777c8b7f09f832e24112ae58991321e282153a","datavalue":{"value":"10.1007/BF01620620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263575$58CEEF79-8352-4C4D-9AFA-338C8BE5B1AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c338f93c2a1a4ab7dfbb04101583cd552335e1b6","datavalue":{"value":{"entity-type":"item","numeric-id":798646,"id":"Q798646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$6E0092C4-AAF6-48D0-9C80-989C17E2573F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$B907CD2D-2F27-449D-BFA8-20F8311E93A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1263575$91285431-AE7C-4DA4-9A85-D7799550EE3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d448827acc145fb481d4f5f4771c8f79ff65448","datavalue":{"value":"A semigroup connective is a binary connective which is associative and properly binary. Of the 16 binary connectives only 10 are properly binary and of these only: \\(\\wedge\\), \\(\\vee\\), \\(\\leftrightarrow\\), \\(+\\), are associative. With logics represented as rules placing conditions on consequence relations, a general problem is to specify the common rules for two or more semigroup connectives. A more specific problem is to specify conditions for a finitely based set of common rules. The author uses matrix semantics to show: The consequence relation determined by a variety V of algebraic semigroup matrices is finitely based iff V is finitely based. He then proves that the common rules for the connectives: \\(\\wedge\\), \\(\\vee\\), \\(\\leftrightarrow\\), \\(+\\) are finitely based.    The first line of Section 1 on p. 115 should read: We are now going to construct an effective base.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263575$3760ADC7-7CEE-4866-A8D7-81B2B5F3B432","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bed602846c7cd1aca477737525739d8e83d5c5a2","datavalue":{"value":{"entity-type":"item","numeric-id":599802,"id":"Q599802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$B89BC223-BA41-4644-9B0E-F73C5C16BB25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263575$A2111E9B-796C-429C-8C54-DA52AE3BB963","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc878f243f5bd580df7880c954cf3467425c63ed","datavalue":{"value":"4127180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263575$943AB84F-1E17-43F5-98F6-45FB49B5A7C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e2f9b66351d2a1131284854a3cd64d67c891b45","datavalue":{"value":"semigroup connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263575$4E6FACF1-E6D4-4366-910D-926294786CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263575$23DFC1A8-850B-4B4A-9EA4-AC5DB9D100FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebeb23c62c94fea27126b416e04594b40c537ac","datavalue":{"value":"matrix semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263575$4C603226-ABD0-42D6-8373-5C42988B96D0","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":"Q1263575$C913ACC2-D207-41FD-8123-8DCAD25B8C9C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"453997bdff02022bdf88baba9fa5f7d888ae9c36","datavalue":{"value":{"entity-type":"item","numeric-id":1167714,"id":"Q1167714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$47EA2981-B71C-4915-8AA4-E03E4F21B93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7fa8d9a184d5293325e16e8eaffd476f22ce17f","datavalue":{"value":{"entity-type":"item","numeric-id":795074,"id":"Q795074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$95E65A73-55C5-4D87-9111-6EF1642F6EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7dfaf7cbfb6b80a9d4c81ea76f7b0f7433f1ee8","datavalue":{"value":{"entity-type":"item","numeric-id":5581666,"id":"Q5581666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$210F3F72-5FD4-49A6-ADFC-1DE20394E264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$865F7D0F-BE2B-4760-939F-90D5705206F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$F660C4E7-1789-41A8-A18D-9142509865F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fba9821370cd0971a00d70e9056fa7a35a58e21","datavalue":{"value":{"entity-type":"item","numeric-id":766811,"id":"Q766811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$317D8F7B-548F-4189-B9F9-B4A0D953C94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5a6ad65774536346bcfff115a10ca4717e208b","datavalue":{"value":{"entity-type":"item","numeric-id":1168307,"id":"Q1168307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$82603E5A-DE22-41E6-B161-7902404443EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36cb932e6129882ab7f6ec5b81c7375b7ef2812","datavalue":{"value":{"entity-type":"item","numeric-id":3760525,"id":"Q3760525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$7B7F512E-85FE-45E9-8012-7E13DFED1ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263575$7D2AF267-FF7D-4EC3-A4BE-A930BAEB32FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ccbe5b0adb7261424461267f6ad6511390db5d","datavalue":{"value":{"entity-type":"item","numeric-id":3982865,"id":"Q3982865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d797b82a7051210ca251fccd190b007741eedd7","datavalue":{"value":{"amount":"+0.7902979850769043","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":"Q1263575$325B3809-E494-4A10-9BDE-0C58E13BCBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5263dafb044d64f88d151195fd04afeaeba652cb","datavalue":{"value":{"entity-type":"item","numeric-id":4225122,"id":"Q4225122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41fe7540c144f7dd1c44efd6ac9313dd83ce04d","datavalue":{"value":{"amount":"+0.7889084219932556","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":"Q1263575$356FF87B-ACDE-4BF3-9045-FB41F67BE406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a69b67f8f44245f01c8b45951d897cee8a3e627","datavalue":{"value":{"entity-type":"item","numeric-id":3413165,"id":"Q3413165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27ac2b584c3ff09a69ecbdfc2dffafa3a972414","datavalue":{"value":{"amount":"+0.7438635230064392","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":"Q1263575$6EC1CEFC-2D00-418E-82DB-7105D91DA38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5a064d6d62ed49d7b04809236452675a17171e","datavalue":{"value":{"entity-type":"item","numeric-id":3826531,"id":"Q3826531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93184ff9f890e5f53a27c9408f24df0581b9ba01","datavalue":{"value":{"amount":"+0.7410082221031189","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":"Q1263575$1DF4BC3D-F06C-4A01-9676-07B5DDA59780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66043f6ccdca4a61efe0080af3056434c41dc964","datavalue":{"value":{"entity-type":"item","numeric-id":3201036,"id":"Q3201036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5584342ed8091dd3506b33d060c90b998d55bc88","datavalue":{"value":{"amount":"+0.709739625453949","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":"Q1263575$F79EF2DB-F1A6-4666-B2A5-93CFDFCF0CAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatization of semigroup consequences","badges":[]}}}}}