{"entities":{"Q4796512":{"pageid":6826092,"ns":120,"title":"Item:Q4796512","lastrevid":74654010,"modified":"2026-04-14T23:46:33Z","type":"item","id":"Q4796512","labels":{"en":{"language":"en","value":"Sequent Calculi for Intuitionistic Linear Logic with Strong Negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1876810"}},"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":"Q4796512$EC597440-2A02-4D74-9FAD-C04525708432","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cda5131d294e3b5918fde2a217fa394fe68fb6a","datavalue":{"value":{"text":"Sequent Calculi for Intuitionistic Linear Logic with Strong Negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4796512$C8E4086A-2049-4FF3-A663-85E264E6A771","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18511dd14c5fcddc5d9bbd28e2440195814be9ea","datavalue":{"value":"1014.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796512$5E66A4A3-FD42-4853-A2C2-8AC03D087D6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796512$257BFFB6-FD13-4682-883D-498D8A1473FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d2f8cbe005a04e821413a0288576f8cac58a27a","datavalue":{"value":{"time":"+2003-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4796512$893810C4-5DC8-45A1-A0C7-33E53667C432","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796512$28EBECC4-AF7A-4CE6-BB43-10000C9B34EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796512$4095BC7B-4682-4A30-8EC4-6BE613F2DD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796512$307893FB-1330-49E6-9C68-69023B200FD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cdcaf72970c165cb674101cc00e225cbf15812e","datavalue":{"value":"1876810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796512$DB086A65-3A68-4066-BAC8-12133C8F1724","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796512$74F72E55-080B-42FB-A364-D46D1BC298EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796512$8D8EB401-5C81-4484-A46B-51C6040B8EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13e88933e44b0e063f0b39ef61636412484f325e","datavalue":{"value":"extended intuitionistic linear logic with strong negation and modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796512$A5F4E9C7-62BD-45E2-B15B-422A3AEDC342","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":"Q4796512$4E10FA2A-8CD4-4F85-A7C6-033ACB8013B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cba3081c506944c38c1a9eee65433655fe311dc5","datavalue":{"value":"https://doi.org/10.1093/jigpal/10.6.653","type":"string"},"datatype":"url"},"type":"statement","id":"Q4796512$49EF95D5-FBFF-4E8B-A707-ABD9787C45EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad45a3f769da929e01c1feadc3bf0670842d87a3","datavalue":{"value":"W1969369051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796512$CFAF50DA-323B-4825-9864-6EDA50826F6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5556beed9fb2fc55683c473ee286f5f083838ef4","datavalue":{"value":"10.1093/JIGPAL/10.6.653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796512$A3271908-5059-41B1-82B0-D512E1651DAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796512$67DEB860-6021-4D27-BAA4-1FD2A790C614","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4970884275d896cd8560a79218560e2ef67849c","datavalue":{"value":{"amount":"+0.9596422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796512$A76A1959-81EB-43D8-AC02-D1038F3729D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3f05429549b9d951331c9213ed29711f5b19a5","datavalue":{"value":{"entity-type":"item","numeric-id":5411445,"id":"Q5411445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f407b0e1f7fef4a76df8a97dd97a3dcd92964490","datavalue":{"value":{"amount":"+0.9354256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796512$C3DE95DC-0281-4280-90DB-E736ED3A17A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417a19b7baa6698aca67a8686b9243372101b1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5460206,"id":"Q5460206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39dd826266a8fc4a737a805588d2f37e93611248","datavalue":{"value":{"amount":"+0.9228147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796512$E3DCE684-9F71-4393-B669-DD2293430C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc025492c3f688012f1576558ed7c64211309902","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b609cc13e4219dee0ed7ce9377f6d8e11bd727bf","datavalue":{"value":{"amount":"+0.92191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796512$A56746C4-BDE7-4629-9E76-7AEA301C7AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a124ae8ad9d50424fd89daf3e4d02de3971bdc34","datavalue":{"value":{"entity-type":"item","numeric-id":2922496,"id":"Q2922496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6e85304af15ed68754fc9b459d0df49336963b","datavalue":{"value":{"amount":"+0.9216726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796512$F312C2F5-44A4-4028-A4C6-C1DFF0DE7CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff8654bb5f5f6a9c1c11906a9dfc15e2bb44f60","datavalue":{"value":{"entity-type":"item","numeric-id":2958523,"id":"Q2958523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc03119e2be8a5d5c829449c0d273e80377810e2","datavalue":{"value":{"amount":"+0.92112124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796512$698A8289-5921-4557-8948-62CB59B85912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6059d4684c2cae342107a04e61262ceec26fa","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a597f4e9e8e30480caad1785303d2b5843edc1d","datavalue":{"value":{"amount":"+0.92073727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796512$F4DA14D4-D948-406D-B9EF-EE370D18B6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d28c86a920167957a04c40173fd3d56eea7a49","datavalue":{"value":{"entity-type":"item","numeric-id":1982008,"id":"Q1982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e7e7751a9d1c797340077a4dde09404bcffda1","datavalue":{"value":{"amount":"+0.9187965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796512$614A3C6E-36FD-4FFA-826E-69D45115F8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b44a08bec48344b2562fc1b487c788db7bd5fd","datavalue":{"value":{"entity-type":"item","numeric-id":2424887,"id":"Q2424887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffc2d27fc56757f5e2c55058fbe1b60ea1ad4aa","datavalue":{"value":{"amount":"+0.9174784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796512$13D78411-2C2D-4250-8384-4F100B70A340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3720fb551bf8c8dd2bf3f28b889da5130af7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854076f51da9c1fc5f5a58e485a165286c0ede8a","datavalue":{"value":{"amount":"+0.91625035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796512$38E21F8D-2568-4DD7-969F-3CBBFB17590D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent Calculi for Intuitionistic Linear Logic with Strong Negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_Calculi_for_Intuitionistic_Linear_Logic_with_Strong_Negation"}}}}}