{"entities":{"Q931408":{"pageid":933256,"ns":120,"title":"Item:Q931408","lastrevid":65435826,"modified":"2026-04-12T02:34:38Z","type":"item","id":"Q931408","labels":{"en":{"language":"en","value":"Constructive logic with strong negation is a substructural logic. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292853"}},"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":"Q931408$1D1932DF-1475-4725-A9DD-DAEC28F3A614","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fe694b5bc6b7a485c56a85732f51dae0b1bd492","datavalue":{"value":{"text":"Constructive logic with strong negation is a substructural logic. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q931408$3B2390F7-EDC2-417B-9DED-F98916734E8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"def6cabc4568a90ba4e94b5fe15d6845f3b65b24","datavalue":{"value":"1145.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931408$5AD71E51-8782-4BAA-9016-2BCACDD2E692","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":"Q931408$C9F70D27-6F71-4A26-9BB2-14AD347AF67F","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":"Q931408$A7064C3A-9F1A-43D7-8B71-7AC938214139","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":"Q931408$C78ADFEB-5BF3-4005-9C7A-4A91BC158605","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d22e5aa1312e25f0a07a398d2f087c7d9d7a788","datavalue":{"value":{"time":"+2008-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q931408$E56B3DF7-2DEE-47AD-971B-04F9BC22A623","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b711e144bc57e2ed52018ab973fc875d5ba49993","datavalue":{"value":"This is the first half of two papers in which the authors show that the constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension of the substructural logic FLew, namely the full Lambek calculus with exchange and weakening. In this paper it is shown by an extensive use of the automated theorem prover PROVER9 that the variety of Nelson algebras and a certain variety of FLew-algebras are term-equivalent, which answers to a long-standing question of Nelson's asking whether the Nelson algebras form a variety of certain residuated lattices. The result establishes the above-mentioned definitional equivalence of the two deductive systems in the sequel to conclude that the logic N is a substructural logic over FLew.","type":"string"},"datatype":"string"},"type":"statement","id":"Q931408$8C7752E6-E87B-4928-9618-3CFC17A8FDE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931408$5C0FCF8C-8BEC-4314-9B0A-865D0A7BB060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931408$2D9A7B11-2E27-4063-984D-913CED8F1AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931408$B269140E-B0EE-4035-AB70-5EED4027A5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931408$0E278E60-9A97-4DC7-A183-8BF91CAAE63F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f842d7e0ccd25921f820f3fbd788ba7bd812da8","datavalue":{"value":"5292853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931408$A93F3C83-3984-4BFF-8CAE-C8B133C37EFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q931408$F9F9A816-CFDF-417A-BB9B-3E86BD7EC918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q931408$49AFC91C-BFC4-47CE-8D4E-069E2569CD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q931408$593531DF-527E-4D88-8AB1-BC86DCFA9FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bd4f85f4e283642cb714ae9a2636ade95231e24","datavalue":{"value":"Nelson algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q931408$C0640D68-38EE-4D58-8A71-FF9DF69587FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q931408$365CED6E-DC3B-46EA-8B0A-5F0D690B5FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q931408$073F6311-B2B4-4AC9-8248-AF5FF801E7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dfb524d9b1edbd30e133f322db9f8b14eece823","datavalue":{"value":"full Lambek calculus with exchange and weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q931408$58E2AB19-B576-40B9-9D25-C079E288D398","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":"Q931408$193C5F6A-179E-46F8-9B01-3A54ED7EC42B","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":"Q931408$B8DC50B2-68DB-46AD-8DF5-6ACCA87E472A","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":"Q931408$75C4D526-13D2-4415-A4FD-1BC2395DF1A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb2b045d3168a2345ddfbc37dcf480cfea5bd6e4","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9113-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q931408$BE4BD350-8A97-41C8-98B2-264FF40E796B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7885f444e21e27261d72a6d94065c7e3c64e084","datavalue":{"value":"W2000140686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931408$866AB40A-CF8A-4965-9D20-4B6EF6E18E13","rank":"normal"}],"P223":[{"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":"Q931408$91A8B913-3FC5-432E-B614-9E599ECBA726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4506bd8ac227aa007e400a17d6bc779ba65059be","datavalue":{"value":{"entity-type":"item","numeric-id":5453728,"id":"Q5453728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$2815FFAA-09F6-4D22-87F2-F7A7A36CD37E","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":"Q931408$B225A444-3A1C-467E-9BEE-A837709033EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c25674006f8fabdcc2cf3f4e8012aefb27f226e","datavalue":{"value":{"entity-type":"item","numeric-id":1344842,"id":"Q1344842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$9ADD96C2-C1CA-47D0-B4D8-CE79A5543C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f3830183be386e8ec478d8357e11deae4a551c","datavalue":{"value":{"entity-type":"item","numeric-id":1355602,"id":"Q1355602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$3120424B-FBF5-47E2-89FA-CBC029F9BAF1","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":"Q931408$35B3BA43-F3A9-4AF2-98D0-D3FC9528D35E","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":"Q931408$ABFE60E8-2B46-4585-B06F-AF102B44A528","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":"Q931408$C1B84B3E-6843-4493-AE6B-CA86C9C951CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$C7A5EBD2-1120-4736-BCFB-8AF29B9C67BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43685c7fba9735440bb6ceaa2e16a78de9205098","datavalue":{"value":{"entity-type":"item","numeric-id":1005951,"id":"Q1005951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$68DC034C-2114-43A6-BEF6-21C3FD0FD4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"872d0bd93c83772bfcc41fe9cd810b4183ada49d","datavalue":{"value":{"entity-type":"item","numeric-id":4792081,"id":"Q4792081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$D78CCF74-0160-4805-80E7-9AB31BE63B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72839f47a68d0c464a8050edbc6afdcd2e62d720","datavalue":{"value":{"entity-type":"item","numeric-id":5950769,"id":"Q5950769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$9BC4121E-F7DC-48ED-AB33-7D714C7E2353","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":"Q931408$4DB0E97C-F447-4C06-B229-DF8333EF72E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6549209c1f5a042b4c125adeecd08f9705a6efe","datavalue":{"value":{"entity-type":"item","numeric-id":3880895,"id":"Q3880895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$5F8F64FD-1575-437A-B697-1BE46061A32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85fe469443b54a88fea2a46bec5dc956cbbb55c","datavalue":{"value":{"entity-type":"item","numeric-id":3946165,"id":"Q3946165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$34E5BD40-BF74-49F4-9C66-4E4B087DBDD8","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":"Q931408$28FF0437-561A-46C1-B008-5FFB41EE127B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67cecc5fae0d6939baa9f89cc4b499b52e3b0b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4327715,"id":"Q4327715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$7B79AEC1-2E38-4817-8908-7876EDD4FE33","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":"Q931408$1986A5A4-3838-4664-9A75-2647868FCD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f377cd1f758bb7a1b2206d4153fe35903f24fd","datavalue":{"value":{"entity-type":"item","numeric-id":4786332,"id":"Q4786332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$6D0E247A-8E98-4E49-9E3D-564084113DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c9042a071d6fd6bedde69a3a2959e384507db7","datavalue":{"value":{"entity-type":"item","numeric-id":3342629,"id":"Q3342629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$D705C6A0-36B8-4A19-88E9-688C3D733DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c05bfa8f815357d393d06446c58adb77660d389","datavalue":{"value":{"entity-type":"item","numeric-id":4657793,"id":"Q4657793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$3ECD359C-EC6F-4B53-85D5-0773D633F330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f9a14346e292c0fb29f522323e044136987bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3218120,"id":"Q3218120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$3F3272EE-25CE-468D-A8F7-C4EC57046077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1d79132a7ff6bd4c9f7ecdd27343ffd9a0068f","datavalue":{"value":{"entity-type":"item","numeric-id":4165379,"id":"Q4165379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$458D4007-F320-4C29-BF01-ADFF84158EEA","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":"Q931408$267699E8-8B0C-41C3-BD0C-1F11A25BD461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bf9a67374b43108e736411cfd2323fef9d3704","datavalue":{"value":{"entity-type":"item","numeric-id":3256323,"id":"Q3256323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$428539B0-8404-43DD-98B9-047BFAAE786A","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":"Q931408$E1A1AADE-4F95-44CD-99AD-7239261CB97A","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":"Q931408$DDE9989D-5E9C-4013-99CF-CAF0EEDFF222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a81c0fc55e696512d983791ca27ca0ed354fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4296741,"id":"Q4296741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$29DF1346-FFA0-4287-8C6B-FB35BF257D9B","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":"Q931408$8153ED03-766D-41F5-B039-FCCBF6862A03","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":"Q931408$978AF3E9-2ACD-4EC0-81A7-0157D048279F","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":"Q931408$6E58A354-F233-49A0-A2C9-18FD4440D70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac3575edae5c2440d181b4e1c03fb2874e4e52f","datavalue":{"value":{"entity-type":"item","numeric-id":5505773,"id":"Q5505773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$77B176DC-1919-42D1-A505-E9788D7B9F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$1583CDE8-CE79-4E69-8E74-A2F79B145CEC","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":"Q931408$D2537455-2F2E-4F6A-A224-329ED4046749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da3904873572634f8ed6000b5ded60473ade0e4","datavalue":{"value":{"entity-type":"item","numeric-id":5932484,"id":"Q5932484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$96CEDABD-BDF0-49DE-90DC-E151986A6E29","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":"Q931408$8094F40D-19E8-48D3-93A2-6D5819086EED","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":"Q931408$5C99B3AB-9FD2-4514-8971-1CAAE18CD2AE","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":"Q931408$8FA55B7E-7B1D-4A32-9B7E-077D8C87B6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9435dcbbce4ddeaf4f4d7db1cf97394d4736bce","datavalue":{"value":{"entity-type":"item","numeric-id":3666901,"id":"Q3666901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931408$E37245F0-41F0-4E4C-A4E3-B95FB242745B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71155d453ca81a26a6d9dcbb26231aae4568b16a","datavalue":{"value":"10.1007/S11225-008-9113-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931408$8E99DE67-F966-4DC7-90E9-4FC80DF4201D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"378af788c7c8a535513b651cd71e030aec254b41","datavalue":{"value":{"entity-type":"item","numeric-id":1005940,"id":"Q1005940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75efdc43cf3ed58e8c7f09c19ce3b760955d9981","datavalue":{"value":{"amount":"+0.9485440254211426","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":"Q931408$42FF4D08-5973-48C0-A1E7-6434B5E0B3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e207362b735e124f570b06d957df27818d268c","datavalue":{"value":{"entity-type":"item","numeric-id":813089,"id":"Q813089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29890dbaa734af92a62ccb54e045af52e7effb5d","datavalue":{"value":{"amount":"+0.9451950192451476","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":"Q931408$19E74727-4D3F-4A8A-9046-094DE7A23631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9406b9216e52fcc446e0bcc201c0a34599820a","datavalue":{"value":{"entity-type":"item","numeric-id":3583096,"id":"Q3583096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"927d91b7dcde3156f3d1a5751ea61dc891f190fd","datavalue":{"value":{"amount":"+0.8525531888008118","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":"Q931408$9E7ED9CA-30E1-478E-BD33-4CA1FDE5CEA7","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":"c99789f5d9acfc43201343ba2d62614db8781696","datavalue":{"value":{"amount":"+0.8478527069091797","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":"Q931408$02E16458-B07C-4DE9-A382-7F2BB5857671","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":"b58d544c7696896da0043a5d10762659fe4b661e","datavalue":{"value":{"amount":"+0.8153820037841797","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":"Q931408$CC48CDB8-37C2-4F7D-A335-187D26F05794","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive logic with strong negation is a substructural logic. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_logic_with_strong_negation_is_a_substructural_logic._I"}}}}}