{"entities":{"Q1005940":{"pageid":1007788,"ns":120,"title":"Item:Q1005940","lastrevid":66565977,"modified":"2026-04-12T10:59:01Z","type":"item","id":"Q1005940","labels":{"en":{"language":"en","value":"Constructive logic with strong negation is a substructural logic. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529389"}},"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":"Q1005940$E4DCD92B-2584-47A2-9CB3-44615381E027","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79ac73533e031dd8c6f07af0fd440e644c704675","datavalue":{"value":{"text":"Constructive logic with strong negation is a substructural logic. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005940$D44896A0-F9E2-423D-88B7-EC42521D0587","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"875adababb0477aca8bb3a5b85be35624d721607","datavalue":{"value":"1166.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005940$9685BE4A-BBAD-47F6-B0AA-619B7CABB274","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55419e6e8249787c22b9254994ee5263bfb77540","datavalue":{"value":{"entity-type":"item","numeric-id":429937,"id":"Q429937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$7A22A311-26B7-4717-9420-1394D853D101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e67c284200a94e888860be6089d9b97aa022aa","datavalue":{"value":{"entity-type":"item","numeric-id":220721,"id":"Q220721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$8D394CFC-9E90-4F58-A733-E1592A4750B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$5BEC9AE3-8EA0-4860-BD4A-B13BE7921433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005940$843AB583-7536-4AA1-BB10-49949C1663D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8811288143583ae2efc470b1cdb25e107c2acf2","datavalue":{"value":"https://boris.unibe.ch/117792/1/11225_2008_Article_9138.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005940$74BB533C-074E-4AB7-9ECF-1C3F0D7A9AE7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d7b90edeecd5f8b3ac73d1cace3cc4869adc147","datavalue":{"value":"This is the latter half of two papers in which the authors show that the constructive logic with strong negation is definitionally equivalent to a certain axiomatic extension of the substructural logic FLew, namely, the full Lambek calculus with exchange and weakening. In the first half [\\textit{M. Spinks} and \\textit{R. Veroff}, Stud. Log. 88, No. 3, 325--348 (2008; Zbl 1145.03013)], it was shown that the variety of Nelson algebras and a certain variety of FLew-algebras are term equivalent, which is lifted in this paper to the above-mentioned equivalence to get the result stated in the title. As a matter of fact, the equivalence is obtained by an application of a theorem to give a sufficient condition for the definitional equivalence of regularly algebraisable logics in a general setting. For the theorem, therefore, the authors survey briefly some fundamental notions in abstract algebraic logics, such as deductive system, definitional equivalence for deductive systems, regularly algebraisable logics, and so on, where a refinement of the definition of substructural logics is also proposed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005940$F334C2D3-D0AC-4B0E-8637-D9973A058730","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$24944EAF-99D0-40BA-8F3E-3BC9131C950C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005940$779E6C7D-F715-434B-9ED9-BDEE79CA61D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005940$1ED95A72-8AC9-4BE7-AB79-1CB53129C568","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff063c4495d83b78eb740e6f616fdd53aa6c0086","datavalue":{"value":"5529389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005940$27E33C3C-22A6-4E87-AC2E-771FDC250FB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005940$C6581640-DB9E-4779-BD0F-DF689B29976A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005940$A426AB59-5156-406B-B9B9-C9DFF46B8473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005940$97A9573B-6AB5-4900-B20E-86399428D8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bd4f85f4e283642cb714ae9a2636ade95231e24","datavalue":{"value":"Nelson algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005940$611D5327-986F-4CDC-B894-14D331F02FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005940$8359BF2A-2840-493F-BFF7-CD7E7FC5416E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005940$AC6075F4-092C-49C9-B40E-5253EB1F1973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb69f783e85fbc42e5d9316045b6ef66d0845934","datavalue":{"value":"definitional equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005940$D0E46109-8900-4D16-8399-C9F1E3AFA2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d13ede23396184bbc2b595ad7f3156823a4881c","datavalue":{"value":"regularly algebraisable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005940$654B8472-DF78-4FE1-AE3F-CD223A39D0F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$58C7B989-94A9-4D18-8CCF-7D3AEA2F6461","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":"Q1005940$1103CBD8-A281-4519-80BE-A13E6B155AC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a191619435103970e939df7fff81dc45bad2ac80","datavalue":{"value":"W4232798335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005940$162EEFD4-6AD3-4AA4-A518-725123E61712","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31de8da3f1bb7ed539d635065469ac7f05f505b9","datavalue":{"value":{"entity-type":"item","numeric-id":4531552,"id":"Q4531552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$C5C1E9DB-C92E-4774-A959-D56B988BF9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$EB286A92-FF26-4570-B441-64DE3EE2B3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$3127D946-0A96-4FCF-8615-49C094C63D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f38cc3486862f4f727ec2639f902b53015e009","datavalue":{"value":{"entity-type":"item","numeric-id":4029628,"id":"Q4029628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$9E144F88-135B-434A-8A0E-CB12D1C59381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b20004731eb077d1c8cedefc247638148aff988","datavalue":{"value":{"entity-type":"item","numeric-id":1342132,"id":"Q1342132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$B79F04A9-64FD-434A-A723-EB6AC3228EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca1c8fab4dca3e1dee520e4c208d86e1c508abf","datavalue":{"value":{"entity-type":"item","numeric-id":3519801,"id":"Q3519801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$4C7AEE5B-B303-4B08-889A-6E755E61C20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$9CC5A6F9-6ED3-488F-9A30-5972D65EA36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409cdebdbe0ec2e2259255ffd8ef6c248e18143f","datavalue":{"value":{"entity-type":"item","numeric-id":3656765,"id":"Q3656765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$97F2FC2E-332B-4D95-8922-05F456F7E8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05da4a86a99e85913b5164edb485b22e0676a98f","datavalue":{"value":{"entity-type":"item","numeric-id":2544609,"id":"Q2544609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$B9B0EF9B-38DA-4479-A11B-BEA833B6F1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bb7dbf8abdef8d4f87c20cbbfb5e95fc2d02f5","datavalue":{"value":{"entity-type":"item","numeric-id":3583096,"id":"Q3583096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$DCDC94D5-4A0D-490C-964A-F528EC8C4FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba49eb4355f5c2cd74dfa9ae6aa3ed6736dd2b4","datavalue":{"value":{"entity-type":"item","numeric-id":1090350,"id":"Q1090350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$21A35929-2753-4423-891A-08530A0B60EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06972d636303dd3c6aac817f327a41a57236b48c","datavalue":{"value":{"entity-type":"item","numeric-id":598302,"id":"Q598302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$990A9A1F-21D4-40FF-A1D4-710F01BB935A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc4260a42a5bada30538760047aca5f3ec4b4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273420,"id":"Q4273420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$8B2C4C14-D62F-413C-8650-2B704BD0244E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$5F41BC89-57C4-40B9-B23F-20C6C6A26C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe042fd73b0f564590539742ad031432d6096563","datavalue":{"value":{"entity-type":"item","numeric-id":2433102,"id":"Q2433102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$3C4BEEFC-A55C-4AB1-AB0B-49556543E03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$3E50A459-329D-4597-BBC3-3EE5D930A76B","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":"Q1005940$0E33CEA5-E820-46FB-BADB-9120517E8F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28466c4a3ee6ce0042114f971ef065f380db27e6","datavalue":{"value":{"entity-type":"item","numeric-id":1974479,"id":"Q1974479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$04CE4DEB-21A1-463C-9F95-7FE3FCC7CFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c889261324602a243f12016bb548fa29e315d0","datavalue":{"value":{"entity-type":"item","numeric-id":1919221,"id":"Q1919221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$3B252CFC-7E0F-42FF-9801-A80E4DC6EE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$B51A64C6-1C17-402B-B824-968E82EBA820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0effd301bc9740561be89cd2f0dd6430b0df3860","datavalue":{"value":{"entity-type":"item","numeric-id":4463933,"id":"Q4463933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$0C3C1D90-0D56-4009-95C3-19538E7B3C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd34601840b25f3add9b4ede2d065eb708e8e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4011728,"id":"Q4011728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$5484AD6D-E904-4FD5-B865-CAE73B62BACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf353a2523f11425ffb25e836f9f766a59af5a87","datavalue":{"value":{"entity-type":"item","numeric-id":1302288,"id":"Q1302288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$C4BF287D-9A22-4D1A-896C-F97FE6D93F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625f1a85170ee7ea65bbcb53bf59d8585421009c","datavalue":{"value":{"entity-type":"item","numeric-id":4359793,"id":"Q4359793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$B3420742-EA72-4035-BEB1-A7E6E4B3BA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$499592B4-2AA7-4CCF-A1F5-EB3B8ADE8C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$B838B5F9-E5A8-42D5-B75C-B37996650E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ee89b1d248ab0a9ffca8afbb023ffa30b73aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1071022,"id":"Q1071022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$0B45062B-14CE-4D68-BF52-C06EFB7FA059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c409fbcf526ba9176f6b5ac6799db81af593738","datavalue":{"value":{"entity-type":"item","numeric-id":2583591,"id":"Q2583591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$6071C2F9-A9DD-4FC2-AE01-56A5D5A3406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5898b6cd6c8cfbc422bf04a93a0ea53c804f6711","datavalue":{"value":{"entity-type":"item","numeric-id":1005940,"id":"Q1005940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$E1B68844-54B0-4697-9B7F-42BEE9FA3C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ea391b40383a90b131a418ce786a45da6ee431","datavalue":{"value":{"entity-type":"item","numeric-id":931408,"id":"Q931408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$1585A3D0-67DF-4127-8623-BAAFAEE0D2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311ce45b1595e141bd1b534a00e6fbe184eae21","datavalue":{"value":{"entity-type":"item","numeric-id":1249170,"id":"Q1249170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$8C646C57-AF47-45B9-81AE-61B893975643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e152162a8b2c2df898a5b1b75e807791e3cefe","datavalue":{"value":{"entity-type":"item","numeric-id":813089,"id":"Q813089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$142EED6D-E9D9-4B93-917D-253E3909B8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13768b34375dc68714bd0d6e8aa436172a3738b","datavalue":{"value":{"entity-type":"item","numeric-id":1826930,"id":"Q1826930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$BE2CED1F-50D7-47AA-BD61-C20400E38B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d369cdefe0a9566736c1e54a3297e9cc957d72e","datavalue":{"value":{"entity-type":"item","numeric-id":5951528,"id":"Q5951528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005940$8301A50E-0596-4D36-AE63-5491A18AEFF2","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":"Q1005940$389EB455-6616-43B8-8A91-E619EDC1FAFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19016b2ed06cb365697f279004ea81fff31bcde2","datavalue":{"value":"10.1007/S11225-008-9138-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005940$7D002EEC-E2E5-46BE-AF7C-4030FDFE047C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90566aea06a1b716bce699d0ee939fc2193daa1f","datavalue":{"value":{"entity-type":"item","numeric-id":931408,"id":"Q931408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab48eccae82da33fb783c3f57ad49c26a616f03","datavalue":{"value":{"amount":"+0.90454423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005940$F36F74D3-5137-4EBA-A9F5-FFCEA9F43DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d1bc88487043dda5636d1a8562719649045efd","datavalue":{"value":{"entity-type":"item","numeric-id":5505773,"id":"Q5505773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2106e5adfa6b7b6db59e3ab9f07216e54e9ee04","datavalue":{"value":{"amount":"+0.80930173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005940$AC2EEFA7-BFE2-4B8F-AA66-BCFBD8A1D117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5272440eae3a6f63633e6e09a3cfeb3ea43fe6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1743996,"id":"Q1743996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29216ddb2d1b1e3f0554ce6ab4a87f205a2f1d91","datavalue":{"value":{"amount":"+0.758121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005940$4F77ED91-E7D9-4305-9B19-7FC370C7D43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5db3b3e4c3326614ccfa658a3038ef5321c7f8","datavalue":{"value":{"entity-type":"item","numeric-id":2933737,"id":"Q2933737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aca9a9e3e057043093629cfe7b28467858d011a","datavalue":{"value":{"amount":"+0.74957484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005940$411DA7A0-3B75-484E-A7A5-4E8EB41A06C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee52e7b39b0af45e79a6501a29c44c2eb4d916cd","datavalue":{"value":{"entity-type":"item","numeric-id":5869701,"id":"Q5869701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ce94ce3237e480f84074f36aec6ec5d9d09724","datavalue":{"value":{"amount":"+0.74492043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005940$14D3B3B7-763E-4FB0-ABBE-4B1B5CE74AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fc2ef13ce2473c1652831aff9957a9c2737216","datavalue":{"value":{"entity-type":"item","numeric-id":5046720,"id":"Q5046720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa74d7997d2eb69943bdf0ed1234a12749f6ee32","datavalue":{"value":{"amount":"+0.74143136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005940$BD7EA8C5-0558-4C87-801D-D9D110A30CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c95f53a094f60eec71a6214667056ba73c44a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5022928,"id":"Q5022928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf60e7d4a29a2749809d70ae90c35ae41abbdce","datavalue":{"value":{"amount":"+0.7414235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005940$DF8B3CB3-9D60-4022-A4FB-2F35BE3258A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e56889084caef4ab878bfb77ff1a57900c34cf","datavalue":{"value":{"entity-type":"item","numeric-id":757363,"id":"Q757363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26d77aed2ff3a442d0c26443435db2e6dd99a37","datavalue":{"value":{"amount":"+0.7390834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005940$3B067D97-BDF6-4CDC-B69D-3AFF9ADD80A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d11d59cf3720b579ee026428933b14e93bbed1eb","datavalue":{"value":{"entity-type":"item","numeric-id":4250070,"id":"Q4250070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72532e657ef9ad93068c59a60d4c4740a1e5b3e","datavalue":{"value":{"amount":"+0.73745346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005940$EC9F49D2-178F-4D8D-A282-6A11C68B6389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b687e543e3501d881a6a75fe38d84fda37e24d","datavalue":{"value":{"entity-type":"item","numeric-id":1908857,"id":"Q1908857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"380c63718d486329c0c4554a941eeff453eaf7cf","datavalue":{"value":{"amount":"+0.7371274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005940$55B8F979-257B-4C62-B327-0E6FDD342E13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive logic with strong negation is a substructural logic. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_logic_with_strong_negation_is_a_substructural_logic._II"}}}}}