{"entities":{"Q3583096":{"pageid":5613000,"ns":120,"title":"Item:Q3583096","lastrevid":51063272,"modified":"2026-01-16T11:20:57Z","type":"item","id":"Q3583096","labels":{"en":{"language":"en","value":"Constructive logic with strong negation as a substructural logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774905"}},"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":"Q3583096$9A662BBC-5C5F-4AE9-8E07-7A0A95C2E44B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b8850147a6c7585404e242e975c8b9b2db6a76d","datavalue":{"value":{"text":"Constructive Logic with Strong Negation as a Substructural Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3583096$437817D1-506B-4E3F-B1C8-841FEAC88979","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf7aaa26d21e50e602c2f9cb1fb9f7c5dbfbc43","datavalue":{"value":"1205.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583096$88B4C0CA-EA19-4DDB-A029-17AD56D4AF70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bdea319675a05894926e1891f30a7626f6753a4","datavalue":{"value":{"entity-type":"item","numeric-id":934890,"id":"Q934890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583096$3A597A53-B5B0-40C9-A711-12604EDA1EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2641d8dcc65ab72e23b1ed55ea64094d58873e5a","datavalue":{"value":{"entity-type":"item","numeric-id":1817693,"id":"Q1817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583096$A27CAF18-F0EC-49FF-BF0B-2517D166D476","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a52a4b791660afbc47d46818319067bdcb5a1cd9","datavalue":{"value":{"time":"+2010-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3583096$149F640A-EBC7-465A-8DC2-7359C1F5E5B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583096$D7DF0D60-F0C4-4046-9C92-10AA51972A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583096$03E266AC-67A0-439C-AEA6-9E92E2EB54AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583096$6C95D782-B983-49E4-B2B4-BABFD67DE157","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acff74c696f9e8d4ac79af3ce3425062b1cb519e","datavalue":{"value":"5774905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583096$870599A4-79D6-450A-B9FE-FDED946C6660","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583096$C549BF20-F3E2-4181-8FDF-393ED7F12B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583096$7918FD53-28D3-4FCF-98FE-4C6AA7075AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a765ca48b812213b9e0e4a1be4d30074dd0da6d2","datavalue":{"value":"nilpotent minimum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583096$66E6E3AD-9539-43C9-8D45-154C7C3B498E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"725a2b8bd893c7a12d48d859c67fe63328392e9f","datavalue":{"value":"Nelson algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583096$84F21B4D-8B25-4C09-9E66-D2257E36266B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583096$CBB64321-969E-4A91-8408-4D20447FA202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583096$9CE15A30-2BE6-457B-9C33-3D4AA179B6C8","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":"Q3583096$19B0BF3E-A9D8-44AB-8B4B-19D56CD63F50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08b7f7d8e6d8cc53da10ad57404e2da7beef89ac","datavalue":{"value":"https://doi.org/10.1093/logcom/exn081","type":"string"},"datatype":"url"},"type":"statement","id":"Q3583096$D2DAAD9E-CE21-40B8-900E-68F8ABF55F9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64a9a95b089ace06a4ddbe51a3d9edc1a11a1712","datavalue":{"value":"W2027816834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583096$7B173440-2E03-4361-9EF8-1446BDC93D32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6d6c8a4bd75e885c904f7d77885f516cc94fa78","datavalue":{"value":"10.1093/LOGCOM/EXN081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583096$1C486235-94AD-41E0-A4AC-18E96DC93A09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583096$67335E32-89C9-4034-85C0-DD6B2BC20F4B","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":"c779b5f1eb0276dd8604ee0d48a86dde2a04c82a","datavalue":{"value":{"amount":"+0.8544982671737671","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":"Q3583096$C7E223C9-309D-41A6-9802-8325ED6C78A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a128be0259282115b94cbf3b453a26ed5ce64958","datavalue":{"value":{"entity-type":"item","numeric-id":4586423,"id":"Q4586423"},"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":"Q3583096$92BFD393-9A95-4900-8199-3C8344451921","rank":"normal"},{"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":"927552754be16178a7e48300ad4a1834ac958967","datavalue":{"value":{"amount":"+0.847353458404541","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":"Q3583096$AA09291C-7BD7-4F42-88C8-490FE7EAD3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed974c8cee2b204e56d027b784cb5372e86e51b","datavalue":{"value":{"entity-type":"item","numeric-id":1104309,"id":"Q1104309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d358b8b91d1be6b22a39f3ad8a9aba32e79c4a3c","datavalue":{"value":{"amount":"+0.8406097292900085","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":"Q3583096$31184B3D-658B-4364-B0B5-EFE1A79C86D4","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":"5ba0330fcab914f47e68fef4625873a0a3e940f7","datavalue":{"value":{"amount":"+0.8132019639015198","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":"Q3583096$148531B0-B9C5-4247-8EB4-1C89C245E830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3583096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3583096"}}}}}