{"entities":{"Q435241":{"pageid":437008,"ns":120,"title":"Item:Q435241","lastrevid":61807884,"modified":"2026-04-11T01:48:01Z","type":"item","id":"Q435241","labels":{"en":{"language":"en","value":"A general characterization of the variable-sharing property by means of logical matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054427"}},"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":"Q435241$4271F4E6-E6CE-4583-B489-709F96C3BF5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68f8824abdbd47f0369ddcd8bfec6ccdeaa27a57","datavalue":{"value":{"text":"A general characterization of the variable-sharing property by means of logical matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q435241$36BBC6C7-6051-480B-95AC-9499553F7383","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c088637a44159c3a432fc49b3ecd77ac0097248b","datavalue":{"value":"1254.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435241$832394AB-036C-40B0-A2F8-A732B500BEAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c126103a8228dd89df9247e666baf89081e71e16","datavalue":{"value":"10.1215/00294527-1715707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435241$46B30145-FC9D-4922-80B7-41891C125566","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$13FED53A-BB5F-4A6B-95AF-5A17D26078AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bd45fc3d52e63dd9b568441f08440ab7d091981","datavalue":{"value":{"time":"+2012-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q435241$1E977BE1-35DA-4E4F-B7E4-53F17B8F2882","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e518e86d52d404c6f5307be121ff658667f00e49","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1336588252","type":"string"},"datatype":"url"},"type":"statement","id":"Q435241$809C35E5-1FC5-4162-99AA-F2D0042BADDF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7aa651f639677c397212dab11c30ddf45cd3ae0a","datavalue":{"value":"The authors consider: the standard (weak) variable sharing property; the strong variable sharing property: if \\(A \\to B\\) is provable, some variable occurs as an antecedent part (ap) (i.e. negatively) or as a consequent part (cp) (i.e. positively) in both \\(A\\) and \\(B\\); the no loose pieces property (known also as the 2-property): if \\(A\\) is provable and contains no conjunction as an ap or disjunction as a cp, then every variable occurs once as an ap and once as a cp. All subsystems of the relevance logic R have these properties, however there are, as the authors show, other systems that have one or more of these properties. They define matrices, which, if they verify the logic, determine which of these properties hold.","type":"string"},"datatype":"string"},"type":"statement","id":"Q435241$55561D0E-8AF8-47F2-8D98-5E6BD2D22350","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$954DB8FF-7EE6-4D57-9E59-F200829AFDE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435241$E14D0897-D26D-4A37-ACE0-B2E8B91B2BC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"076f0156bd7fde9a04f160c409a3b851afcddac3","datavalue":{"value":"6054427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435241$B5599AA1-DBD9-4BE2-83F6-B5E285A20F77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"defcae45d9b9f1f79c84cf98f6f3d54ed3c66cef","datavalue":{"value":"variable sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q435241$E2EEF6F5-6DDF-4AC6-813B-6CB651AA1D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16cb315243e484a9080e32126c6dfab7ec67eee1","datavalue":{"value":"logical matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q435241$A387AAD8-65D5-4D18-98E7-0C1C616AFAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q435241$BF98C186-9F52-4327-989C-23F2ECDD1205","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":"Q435241$653F0CF9-731A-4495-8CAB-4976CB93BFB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26c1f84c8af0fe1f6a16cb6b03178e9ba9935f25","datavalue":{"value":"W2051631797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435241$E3A6204C-0C0F-4581-A0CB-7D9EF7ABDD24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$ED49169C-B461-4657-AEAA-903BE2926E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8930c54d1c42255213199ec68b58ab8bd12e8f41","datavalue":{"value":{"entity-type":"item","numeric-id":3712316,"id":"Q3712316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$A06EDA71-2F33-4F4B-9180-62A4E394CCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451d363ccb11b7e8a1a839669a73836da510064a","datavalue":{"value":{"entity-type":"item","numeric-id":4459272,"id":"Q4459272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$342FD9BB-6E06-4E77-A6E2-FE16A353BF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c771d3c6da3908e4ec2dd96bd8773879bbf35544","datavalue":{"value":{"entity-type":"item","numeric-id":3962967,"id":"Q3962967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$3866176D-C0ED-4456-951B-4BC01FA8B7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7cddca87b215cbc13baf70c47a604930b876b","datavalue":{"value":{"entity-type":"item","numeric-id":1068075,"id":"Q1068075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$2A1A8C98-7AF4-4818-9F9A-C5BD01CFB258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b177f8993f26ec1929d616a68b73ab890aa1dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5435201,"id":"Q5435201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$9E1C0F79-628D-4207-B211-43350C8E924E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f969d8a78611baa3104e04ae646470a2c6860e9","datavalue":{"value":{"entity-type":"item","numeric-id":1106195,"id":"Q1106195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$B73F6882-3D5C-4336-9046-A0A8BFD2F359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$387993BB-371F-4A42-BF19-703975C01E43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dabf32a066c68469851e69d62e8146760db7f89","datavalue":{"value":{"entity-type":"item","numeric-id":3797158,"id":"Q3797158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$72D54DDD-473D-4453-BC45-40CBBDECC652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a58eb4c4b59a1ad954c8e82e60e204e3e9001a6","datavalue":{"value":{"entity-type":"item","numeric-id":590824,"id":"Q590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435241$B9635761-DD1F-4655-93DB-B01AB8DE1230","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd6bb2515846fa81077a0d7338fcd5dbe70f4ef","datavalue":{"value":{"entity-type":"item","numeric-id":3105693,"id":"Q3105693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5b9d6eecca7ade7f14c7e981e955f68273448d","datavalue":{"value":{"amount":"+0.8420133590698242","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":"Q435241$56B10A89-EC9D-4BAB-8784-25F643467E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cb96ec198d876b91e1e4282c3c577dd382f438","datavalue":{"value":{"entity-type":"item","numeric-id":5205978,"id":"Q5205978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f5afbf779f84ba0ebd635070351e17b973da79","datavalue":{"value":{"amount":"+0.8348727822303772","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":"Q435241$4A2CDB6B-32DC-4991-9E69-C262DFC09AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c379baef507a37832b89d81bb140ad2f80f3acfb","datavalue":{"value":{"entity-type":"item","numeric-id":4556011,"id":"Q4556011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ff496b58bfcabe844a69c177295bd8d1c04f09","datavalue":{"value":{"amount":"+0.8080456852912903","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":"Q435241$23CF20A7-EC0A-49AF-829C-08535F00EAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96e13c5ad180384717ebd5acaa26d0deb11ab33","datavalue":{"value":{"entity-type":"item","numeric-id":5021991,"id":"Q5021991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbf72be5660af68c1c9cfb943bab033fee9ce6c","datavalue":{"value":{"amount":"+0.8017277121543884","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":"Q435241$22CC23EE-3B2F-42E2-BD9F-40B88C253AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b197ad198e42a599b640ac047266c35c4c4e02c","datavalue":{"value":{"entity-type":"item","numeric-id":381004,"id":"Q381004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38b6b1610b66a5d457a9e8fa103182567c4f4ba","datavalue":{"value":{"amount":"+0.7820404171943665","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":"Q435241$4EBA908E-BDE3-4839-847B-6D9874ED01F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general characterization of the variable-sharing property by means of logical matrices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_characterization_of_the_variable-sharing_property_by_means_of_logical_matrices"}}}}}