{"entities":{"Q874755":{"pageid":876603,"ns":120,"title":"Item:Q874755","lastrevid":65031231,"modified":"2026-04-11T23:51:30Z","type":"item","id":"Q874755","labels":{"en":{"language":"en","value":"General logic-systems and finite consequence operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5141203"}},"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":"Q874755$6AA19D7B-D9DF-4F2B-8564-14017C2E0C19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"761a00e9a673a2fab20b54a5df7eb4f758bcea8a","datavalue":{"value":{"text":"General logic-systems and finite consequence operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q874755$E79D9500-614A-4DC5-A636-395D793A7D77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecf4f0cdd4373b81134c8d42b2cb281de74d9850","datavalue":{"value":"1163.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874755$8CD8349B-F95B-4B90-B181-814C707E07E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01c805739985115374acddb1dfc9e10b1decca0f","datavalue":{"value":{"entity-type":"item","numeric-id":233282,"id":"Q233282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874755$8E5B8ACA-EDE2-45EF-B27A-68113A29E977","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874755$947C8B3B-2376-464A-B75E-5CFF6D89E7A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7130f17776024677519259de1aa3e6f876677651","datavalue":{"value":{"time":"+2007-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q874755$CAA0E4C1-9341-4CD5-948D-55494A583FDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3a019aff57c6244784a845f41d09ba7397b2b6c","datavalue":{"value":"A nonempty language \\(L\\) is non-organized if all other properties that can be defined for \\(L\\) are ignored when a consequence operator property is determined. The author discusses the significance of using the general logic-system concept and finite consequence operators defined on non-organized languages. It is analyzed how properties of finite consequence operators are independent from language organization and how, in some particular cases, they depend only upon one simple language characteristic. It is shown that there are infinitely many finite consequence operators defined on any non-organized infinite language that cannot be generated from any finite logic-system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q874755$B735F324-B020-4FAD-A4E1-6A780E9AA12E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874755$82F2817D-1B73-40FA-BDC5-6A3A57A171E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874755$F61CF782-9E93-4C47-95EA-6D8F2C4E74C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cd96d67a40c63fb9319d0f4f0888f702021670a","datavalue":{"value":"5141203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874755$6EC799D8-7897-408D-A99E-252301A5F3A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b276a742e85e8bfcf2f8551beae91106fd9a2ac","datavalue":{"value":"logic-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q874755$039E4FE2-4821-4033-AB68-31E3A3F2567E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358462202abdaf615b501181bc7caad711a809cc","datavalue":{"value":"rules of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q874755$5342F4D1-EBDA-4F5B-B635-760FBFF5FE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d50772b3387d3392e15f43723321c5b0c8d6229","datavalue":{"value":"consequence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q874755$477CFF2C-0626-4B6B-A640-F93725FE93B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874755$765E03B6-EE55-4BCE-A6A3-DD4BAA069F52","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":"Q874755$71D3E407-65B1-4A40-A1D3-0C4DE6186F91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b32da5e29f50717425edf5e52f8fea9e14f7486","datavalue":{"value":"https://doi.org/10.1007/s11787-006-0010-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q874755$A4E7E3BF-49EC-4BBC-AEF8-5DDFCF77CDA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3870539de55af90347dc703e96d9d3584e30858","datavalue":{"value":"W2052908083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874755$5F10F176-ABC4-499D-A3C3-83F1D0447688","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7688ed569ab28298663a2340779224b1d56f7e70","datavalue":{"value":"10.1007/S11787-006-0010-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874755$B4A43F88-3E3E-4482-9C76-FF9C560287BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8cf1cef5fe9639c0f5b13ab63ca74553dd9708","datavalue":{"value":{"entity-type":"item","numeric-id":5957224,"id":"Q5957224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"869b61ca1b221f11c06a163a411bad93e75c6701","datavalue":{"value":{"amount":"+0.686359703540802","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":"Q874755$F897A7CE-95B4-44CB-8556-172227D34E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0609e721a9305675a1067a4226d174fddf88a0f","datavalue":{"value":{"entity-type":"item","numeric-id":6083146,"id":"Q6083146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"869b61ca1b221f11c06a163a411bad93e75c6701","datavalue":{"value":{"amount":"+0.686359703540802","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":"Q874755$D9792AAB-5E09-4E64-9C00-33EE3C779FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663203541a3404ed2c9e74bbbeed5a9a4473cefb","datavalue":{"value":{"entity-type":"item","numeric-id":1599775,"id":"Q1599775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0673454ad22ab6d36416d97992cecc101dcb68","datavalue":{"value":{"amount":"+0.6719715595245361","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":"Q874755$522E5D46-4447-438B-B195-F124E0CE3EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791320ce5d4b880e541a22b04995e3fddd0ec254","datavalue":{"value":{"entity-type":"item","numeric-id":5039107,"id":"Q5039107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0673454ad22ab6d36416d97992cecc101dcb68","datavalue":{"value":{"amount":"+0.6719715595245361","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":"Q874755$6AEF9735-1AD8-4525-8DE6-A0695980F07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8b2fe641ba04d9d5e0fced739d1ca3c6ac830e","datavalue":{"value":{"entity-type":"item","numeric-id":3781109,"id":"Q3781109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680e1d59a42ab9ff4015d8d3d9a81b6ea0191a58","datavalue":{"value":{"amount":"+0.6671571731567383","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":"Q874755$CFD8DB95-943A-48FB-87AD-6CC2FC0A6560","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General logic-systems and finite consequence operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/General_logic-systems_and_finite_consequence_operators"}}}}}