{"entities":{"Q3505079":{"pageid":5534983,"ns":120,"title":"Item:Q3505079","lastrevid":50386838,"modified":"2026-01-13T22:55:44Z","type":"item","id":"Q3505079","labels":{"en":{"language":"en","value":"Unification in some substructural logics of BL-algebras and hoops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5289970"}},"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":"Q3505079$7B850F60-44E4-4485-B231-28912458E25E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b5a8280ec3392f77ca5f714292b26b4e7dfe340","datavalue":{"value":"1156.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3505079$39D9F711-B297-436B-8D45-DC31890D604E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f668f2383b58b17274633b11cd18bd67cd78bc2b","datavalue":{"value":{"entity-type":"item","numeric-id":278760,"id":"Q278760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3505079$1AD7FA25-3CA9-4D5A-9646-4552E87CD1CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"356eea10e764deb786aa3952f426bffa667794bd","datavalue":{"value":{"time":"+2008-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3505079$27A5E0DF-38C0-4F5C-ADB9-1D1AB5908FAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3505079$6653CF3E-3B91-48C3-B141-DD2A92F130AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3505079$8CF12FCC-F18B-4405-A080-89A93E001F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3505079$DDF67ACE-85CB-4223-BD3A-4F84A0698425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3505079$0DB14E4A-48C7-445E-84CA-F4868A998906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a7c57a22810c1fc3e6e7843b0557275bc4a46fc","datavalue":{"value":"06B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3505079$3E574D2E-1908-441F-BF3D-402D24B7C462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3505079$79E7B1A7-1E18-4205-96D1-9960F76189F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dba45c969360b87963c4ce57599eac5d2245f3d","datavalue":{"value":"5289970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3505079$014D0687-429F-426A-B143-38C2608F9959","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$2C0C14A7-128E-42C8-9F65-49D7B517583C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$3D37CADF-780E-4B16-AACF-5882AE25492C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7226a369b1e2e0a554711b13cbabcba73aa742b4","datavalue":{"value":"Basic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$331027A6-7B6D-45F6-887B-936928411310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$ACB8CC9D-942E-41E7-BBC6-0D2E844DDDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$83E74D0C-1F34-4727-B9EA-9458EBBBE01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8970d4681910c0fb972f8cc1f1362b61bc462d13","datavalue":{"value":"BL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$1C9C8DD6-BE45-4677-ABF1-142BF2749B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35d433edb3abf36f6fb5c1f66eb12981b2c12b4a","datavalue":{"value":"Wajsberg algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$8CD74FFC-003C-454D-80D5-E424B6BA82AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$C7752257-DC49-470E-B12E-936580D00E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe029c8522d1479e3e009538aac7df49462bfc9b","datavalue":{"value":"basic hoop","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$9746893F-25F3-48A0-AA2B-613DFEF4AA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e7e9e6e5b3b8ed7fc728d6a3cc574a9c1dc668f","datavalue":{"value":"Wajsberg hoop","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$9AF6B59F-D872-45EE-B9A5-B871F2540F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$728D5651-FF9A-4BDB-9569-407FBEA0D5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456e584bfd657a2893fa5fec363b534d38f0eb74","datavalue":{"value":"FL\\(_{ew}\\) algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3505079$DB33EF26-E540-4DB4-BC0B-514CEA8222C0","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":"Q3505079$EC4163DF-61B3-4A4D-8059-D0A952504284","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f13975d9d6185dcc747174d9489f5ae325ff223","datavalue":{"value":{"entity-type":"item","numeric-id":4434613,"id":"Q4434613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2931f41524427a72fa754ac8c36fbe8982c3ef1c","datavalue":{"value":{"amount":"+0.7699364423751831","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":"Q3505079$B31F07D0-A077-42D0-A33D-36C2E3481C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2de11e97ddf58ce2dd4d08f5f0a1b999d8f9df6","datavalue":{"value":{"entity-type":"item","numeric-id":1935862,"id":"Q1935862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fe278ce68cda70447810a073d51a961a6b665b","datavalue":{"value":{"amount":"+0.7661070227622986","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":"Q3505079$58806B83-696E-453F-BAD2-546E2DFCC49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc51644c38bff7f7d8984a1dd3c5bdad494ff0db","datavalue":{"value":{"entity-type":"item","numeric-id":3518429,"id":"Q3518429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a228f5d8c40bdacdde37911a154c7c46699c34c3","datavalue":{"value":{"amount":"+0.7582439184188843","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":"Q3505079$BEEDB9B4-F403-405E-AA8D-BE812B2C3361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea9eeaef59fef824a1cc67c10e673d755df4765","datavalue":{"value":{"entity-type":"item","numeric-id":6485187,"id":"Q6485187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08fda6cc30c158443b3d46bd624bb61d03ff080","datavalue":{"value":{"amount":"+0.7568749189376831","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":"Q3505079$6F304749-82C6-48BC-A017-549DEE51C002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92b18d02c5ff0206517d31412522ffeb0b3134a9","datavalue":{"value":{"entity-type":"item","numeric-id":4963142,"id":"Q4963142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8094980d858b31bd5cca4ae3fe880c66e0a1071a","datavalue":{"value":{"amount":"+0.7410516142845154","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":"Q3505079$6E1089CC-313E-4BE4-A3C0-B022D423CBBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3505079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3505079"}}}}}