{"entities":{"Q4227869":{"pageid":6257470,"ns":120,"title":"Item:Q4227869","lastrevid":46634763,"modified":"2025-12-25T07:33:45Z","type":"item","id":"Q4227869","labels":{"en":{"language":"en","value":"Multiplicative conjunction and an algebraic meaning of contraction and weakening"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1247636"}},"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":"Q4227869$085F31BE-5EF5-4860-8CAE-8C6CAD1F4335","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac9c4c8cd241a77f2cd2dc659050e1375d5b43c4","datavalue":{"value":{"text":"Multiplicative conjunction and an algebraic meaning of contraction and weakening","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4227869$3A77D5ED-A575-420A-81B8-D67BF1703EA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49fbd29c21fe91bba063fd303ddd41b1f8e2275e","datavalue":{"value":"0916.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227869$996D1553-36F0-4D52-836A-E776BBD3D5D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f20e3a27bfdb7838ba936058d4612160e3c6798b","datavalue":{"value":"10.2307/2586715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227869$AE0681AB-84D1-41D1-B8FE-633B4BFBE532","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227869$0CF29CA7-B575-4E0E-BF06-19DCCE2A06A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227869$AD0A9E58-DF8B-4631-A74E-6944A0E36284","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d984021e434aeb026202aeb4375e73e79212a851","datavalue":{"value":{"time":"+1999-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4227869$1B8F7A15-D0A7-4DB4-AA31-03EE3EEAA420","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227869$D5844254-1EEA-4C8B-ACAD-1B7886AEABED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227869$3C213395-A351-4B89-8B96-16E5A1BA2FE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d097c99f3c44c2d860698eaaa340f6fbd1cf567b","datavalue":{"value":"1247636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227869$6CC9DDEA-47A9-4641-BB18-C9C53DA0B0DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$E41A60A6-8147-44C8-9F05-AE314B3BD851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c417dfd4e840831e6d09506d9f9c62c577b631","datavalue":{"value":"elimination rule for multiplicative conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$54D39260-85E4-4F72-9300-91855E16EAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77758281b26a03987a5a234996f42a33b5fcc7ce","datavalue":{"value":"multiplicative substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$51B4BF76-660C-483E-9002-4B4BAC395505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1167db7570ae67e6afeb0fd18b40a4adcaa750","datavalue":{"value":"multiplicative fragment of Linear Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$DEC03E66-40DE-45AE-B07B-EE844CA2D28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc90ada8ef26c7db4207b2025ce91d7eb166b77","datavalue":{"value":"contraction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$2DA4F440-58FD-48D1-B913-CA87459F44BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9cba6af2f15e8f65a526b0ee638ad336c3fe931","datavalue":{"value":"mingle axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$143E72F8-422D-42A3-9320-2DD5D2E586D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7c8a38b35baa807670e1547adf99403fce5b6d8","datavalue":{"value":"intensional fragment of relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$644CBBB2-09E4-44AE-A7FA-E331EB23E8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6501bcf432cd8808abdf1e28419ffbfb675aab44","datavalue":{"value":"variable-sharing property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$E4513D8A-FF5B-4778-967F-48C21EEB635C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15cee57dfc4e2006275da4c188d9aa0b3967d090","datavalue":{"value":"strong multiplicative structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$FE0B6F9B-31DB-4B52-8F5B-A9A8700907E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$7A1EB59A-E383-4888-8D0E-77B6E22645C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$B145050E-B74D-4531-BCED-56E7578637B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43b36244e626e6e53edaf7e95d567029c6d33436","datavalue":{"value":"weakening axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227869$66972C06-999E-43AA-94B1-186A67ACFB50","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":"Q4227869$2B40BE2C-DB13-4000-98C0-607929A4D3CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64b3b93cd34a694fede12905c8611da247e4def6","datavalue":{"value":"https://doi.org/10.2307/2586715","type":"string"},"datatype":"url"},"type":"statement","id":"Q4227869$68807BFF-36A3-48C1-AB5A-F15DAD41FC41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e0142d24a4c77d9d6378c0ef069c2c5b6045b7c","datavalue":{"value":"W2045622150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227869$9D217826-3FDB-4491-84A2-D42CDEF731F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227869$D4A1A3D9-ABF8-40F6-84F0-72AAE42ED2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc31a9f01623662fcd1d5e33286024595c35768","datavalue":{"value":{"entity-type":"item","numeric-id":4113803,"id":"Q4113803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227869$F3E0FA78-8C56-4A82-8420-05BA3232F5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227869$1CDB6A67-6DCC-4793-958A-AC35D9F3EA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd67d05cc82afde8f51d26bd1113069167b542b8","datavalue":{"value":{"entity-type":"item","numeric-id":750419,"id":"Q750419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227869$9AB1227E-A9C7-4611-BB94-DA2A22A75585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22008dafc3fa688b784da91d8757a5aad8390bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3126403,"id":"Q3126403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227869$73DD0583-53C3-4943-B742-C71AE16886E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b57a939ba107655b93666582c790393345c077","datavalue":{"value":{"entity-type":"item","numeric-id":4007158,"id":"Q4007158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227869$4B1A205F-CF9B-4522-B03E-D7CB00CA1CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227869$16A8E9BC-FB12-4F47-9A43-E93B07FE4331","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552994d5ec99f6724e93968a7ea6470db96a1add","datavalue":{"value":{"entity-type":"item","numeric-id":3126403,"id":"Q3126403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc495c79e99e7eabac1c70099967a1ed465b4e3","datavalue":{"value":{"amount":"+0.8248481154441833","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":"Q4227869$927C654E-D5A4-4F6B-8AC4-F42E7FF862DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f518a9506bab026d7242adab60a13c8722206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbcf1f92b2bb380c23d59be56104c326dd84369","datavalue":{"value":{"amount":"+0.7984111309051514","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":"Q4227869$B963C5D3-6419-4AE3-ABC3-FC4CB838249C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bec22ff490172df0fc4deb3bf2206207f1361fb","datavalue":{"value":{"entity-type":"item","numeric-id":1576374,"id":"Q1576374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42b0de0fda2e95fad6f92a512240ead77048420","datavalue":{"value":{"amount":"+0.789854109287262","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":"Q4227869$B3BC6291-09F6-40C9-8FDC-497A794B9C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797b3b4ce8c0752f471f03ca916e7edfa65ce204","datavalue":{"value":{"entity-type":"item","numeric-id":1337357,"id":"Q1337357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe2b75537d01c394afc7c798385ff7ab6e51929","datavalue":{"value":{"amount":"+0.7834899425506592","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":"Q4227869$B2AD8226-3B68-4477-A491-62D0136DD668","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4227869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4227869"}}}}}