{"entities":{"Q622624":{"pageid":624400,"ns":120,"title":"Item:Q622624","lastrevid":78524033,"modified":"2026-05-06T11:47:54Z","type":"item","id":"Q622624","labels":{"en":{"language":"en","value":"A sequent calculus for a negative free logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5844660"}},"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":"Q622624$D3A1A298-9184-45E9-AF66-E277B7ACACE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b77a7364311a6c7046279fc35840dea3ac6e63","datavalue":{"value":{"text":"A sequent calculus for a negative free logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q622624$77B34D88-0209-4825-908E-BB04B23A7128","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4391f82eec837f34ec6c855595af4fd8b602b7fa","datavalue":{"value":"1218.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622624$FBB3B97B-CD7C-4346-98F4-BD190C584925","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"919c61ad1744ea5a8d2415f4f917b715c26a4371","datavalue":{"value":{"entity-type":"item","numeric-id":253122,"id":"Q253122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$8725C5B0-73BC-4B04-A4B2-0F717F5F04A8","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":"Q622624$5DAF5CB4-1567-4B76-AC15-322A541951E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00e3a9eccfe5d0e74245ac3c66cd13d7e27c78b","datavalue":{"value":{"time":"+2011-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q622624$5F1F4328-CDAE-4D17-8A10-E779AFB32288","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8fefb0a157855c4de84bf6b29b327f1b8d98f65","datavalue":{"value":"https://epub.ub.uni-muenchen.de/18416/1/Preprint_SequentCalculusNegativeFreeLogic.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q622624$BDC233E4-8BC1-45EE-92AC-99DD67C3F0E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7cddf1e576ecbe686de5658da7a89c3ff569cc37","datavalue":{"value":"By the term ``free logic'', K. Lambert characterized those logics which, roughly, do not necessarily enjoy existential presupposition. They are interesting not only philosophically but also in relation to a formal approach in computer science. In considering the validity of an expression containing a ``non-existing'' term, there are some different standpoints, among which that of ``negative free logic'' thinks it is always false. In this paper, the author provides a sequent calculus, called N, for a negative free logic with identity, and proves the admissibility of the cut-rule. In the latter half, soundness, compactness, and completeness of N are shown with respect to a standard semantics for negative free logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q622624$1A58622D-EEAD-43F2-8A1E-7E980C0400D3","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":"Q622624$825A7754-83D2-4B41-A8D0-612285DF8712","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622624$D7308FF1-8A14-4C96-A7CB-8B1CA1129CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d43a72a96c3e2899dba5bbed021743c1db5b0cd","datavalue":{"value":"03A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622624$5824BF7A-BAF0-49C2-994F-F85A86F19C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622624$A0A90E2C-3181-44BF-97B8-9F086B4F5122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622624$57C6656E-2BBF-4A29-ABE8-019451170B30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a27d1f9b39afd776040ab8c846c330cae715c762","datavalue":{"value":"5844660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622624$D042278F-4231-4B65-9271-BBF17D3B9B84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6d645c45f0a8bf710d638ba22831599423f9c0","datavalue":{"value":"free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q622624$F1B129F4-F545-4798-A9C8-407067C51E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q622624$25EB2F26-FE0E-4BF1-97B9-D67D753B892A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q622624$FC1CB842-D49E-4743-BA33-DCB6708141F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q622624$53CA9A3D-3632-42C5-B25F-8575DA00B81E","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":"Q622624$720DF56E-496F-44E7-97DE-DED22F55CF24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea228d6ecb43ca2a9427645526a935e7056cbbee","datavalue":{"value":"W2149122857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622624$B4A3C8AA-D5BB-485B-9A89-BDB429C37092","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"125627fa706e79bb7c93c61e9eb6edd00e979a0c","datavalue":{"value":{"entity-type":"item","numeric-id":4237392,"id":"Q4237392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$5293CCB9-C181-4668-9272-EEF0F8925F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$520AF427-E565-423C-A199-F18741683DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$F5CC50DE-E91E-4D5F-A940-5CDC5A574889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa322e7d7de9b0a9d3f7814305bb71400e4fa162","datavalue":{"value":{"entity-type":"item","numeric-id":2721201,"id":"Q2721201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$BBEEC90F-30DA-4535-803F-2E7FAD5DA3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320cb5dd93c53309305af20028f069a1035ae5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5955617,"id":"Q5955617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$5211A980-D2DC-4272-9B1A-95AFC4BBE9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7269cd9bc05187e009753605b200de69742b570","datavalue":{"value":{"entity-type":"item","numeric-id":5607955,"id":"Q5607955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$E9C63D82-1ED4-484C-B215-649FE939FFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$C31982D4-587B-49B1-A2E4-4EF269DC0CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c5f075e7881c95543526317bfa1acad70682b1","datavalue":{"value":{"entity-type":"item","numeric-id":4532198,"id":"Q4532198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$AE4A3E63-D354-4658-9E16-8F0E1CC55CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdfdb88ab29d25307d4a58258a4543906565364","datavalue":{"value":{"entity-type":"item","numeric-id":4021575,"id":"Q4021575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$40C85A4B-EC5B-44EE-B66F-CB0E12467D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e39de7b113a2d1ba4dae6210cd1651af8d23b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5956947,"id":"Q5956947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$2F6528D8-032D-4EA5-A3B8-B2CDAB8217E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df79cc02c2e2d414ddb832e8390e7d8c8ec96f98","datavalue":{"value":{"entity-type":"item","numeric-id":4793386,"id":"Q4793386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$9BAAFEFD-4DBE-406A-A577-99E840EFA4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f320038fbfc629546499fe7dc02e4ff3438f01","datavalue":{"value":{"entity-type":"item","numeric-id":5556399,"id":"Q5556399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$2386ACBB-3B68-4F88-80E4-475595A9B835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$1E6F753D-F55A-4AC7-B457-DAF747FF304E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622624$DE7FC202-5F9E-414E-B15E-1C7477E6EDA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a8d4ad2ee29fb1169b72c0262fe065139302a2e","datavalue":{"value":"10.1007/S11225-010-9293-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622624$FBB95720-D5A5-4A2C-B710-D6395C2FEBB9","rank":"normal"}],"P1643":[{"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":"cc3e2d965fb2b440e797972caf60a6e8b98459e4","datavalue":{"value":{"amount":"+0.9164637","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":"Q622624$3A931719-598C-4138-8B51-CB81F3377BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8e73130c3caf1b700389e1f186a8856cfb2402","datavalue":{"value":{"entity-type":"item","numeric-id":4796512,"id":"Q4796512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1725694c01082680807efaa1098eb41454cba584","datavalue":{"value":{"amount":"+0.91575086","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":"Q622624$09D0913F-784E-4C41-B42C-22E699147882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a16dac385b0a6553c09397546dcdb39839e6c21","datavalue":{"value":{"entity-type":"item","numeric-id":4609358,"id":"Q4609358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac65167389cf98aee157069ea58f0065d849e665","datavalue":{"value":{"amount":"+0.9073524","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":"Q622624$6B6A7C0A-CBA1-448D-8F60-24D15DB54513","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":"1582aac4f5292c045c954e6391d7344d495a970c","datavalue":{"value":{"amount":"+0.89974606","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":"Q622624$438042DE-A1BA-40E2-998B-04550122F311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d80d94ed735106e1a260cd5dc8781185709f6c2","datavalue":{"value":{"entity-type":"item","numeric-id":3988147,"id":"Q3988147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a05a95b35de62e488c3854031bc1b544d23c4e7","datavalue":{"value":{"amount":"+0.89762604","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":"Q622624$7AE64ED3-3091-4415-9BEB-BB4548D8165C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e357a708b153c3d2d7a09294cbc021afe29e90","datavalue":{"value":{"entity-type":"item","numeric-id":5738955,"id":"Q5738955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e488bb9ced8d0f7a831d7be28f18814c8db713c","datavalue":{"value":{"amount":"+0.89703864","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":"Q622624$BFB47BD2-D852-4220-A6E9-DBDFA2D59AE7","rank":"normal"},{"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":"041a23bf124f4538e4c4cf31ffd6c576ddbed843","datavalue":{"value":{"amount":"+0.8880546","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":"Q622624$99BC7210-5888-4EFF-8DC5-61FD921E14D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ca567f76c24a34e994763bae8bca1893723a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5739979,"id":"Q5739979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278dc22ea8e873c6c55d4dc9dac19b1dcc928a66","datavalue":{"value":{"amount":"+0.88765687","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":"Q622624$49D70D8D-A092-4982-B1AC-0DAA0EF1B218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344337c4e6bd5e3f5d3f93b4aa6eb86d835d4e59","datavalue":{"value":{"entity-type":"item","numeric-id":4306544,"id":"Q4306544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889efd06a5aefd732869572c99f56e3fe17fa31c","datavalue":{"value":{"amount":"+0.88602185","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":"Q622624$0F87DD06-2444-4ABE-86BB-C0AA48D681E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5855e44423a5c9fe0685cc96a6814fddb95c7466","datavalue":{"value":{"entity-type":"item","numeric-id":4455512,"id":"Q4455512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fc74d770d8b1d653cec7e4240aa5afc22b7118","datavalue":{"value":{"amount":"+0.8853004","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":"Q622624$C241E480-7197-457B-B604-8F7FE1005E93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sequent calculus for a negative free logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sequent_calculus_for_a_negative_free_logic"}}}}}