{"entities":{"Q2193970":{"pageid":2204713,"ns":120,"title":"Item:Q2193970","lastrevid":71519937,"modified":"2026-04-13T22:48:12Z","type":"item","id":"Q2193970","labels":{"en":{"language":"en","value":"Proof theory for positive logic with weak negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239279"}},"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":"Q2193970$ED5960FA-13F3-4701-86C1-EE5B88D8466C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"059cd0b948d4f426f40034f50f61fc43f75c1d3a","datavalue":{"value":{"text":"Proof theory for positive logic with weak negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2193970$FAFC654F-21AD-409E-ABFC-41123AB886B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27156ab3994bc0cc210d7d91b2cc526fca7cde88","datavalue":{"value":"1484.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193970$5F36587F-C5A6-450E-96B6-C5AE42B1EAD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac19c6003a814839a3f511f3b429af9fdef7758","datavalue":{"value":{"entity-type":"item","numeric-id":402118,"id":"Q402118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$89A4DD34-58F4-4909-974E-2E2C0465CD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ac90cbf3e3e7e2e257b1cadce6831cac3c0d57","datavalue":{"value":{"entity-type":"item","numeric-id":1685912,"id":"Q1685912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$1E04F431-0DD2-44F4-AE76-63CE1EC0F781","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":"Q2193970$575B83C3-89F0-46E2-BCC2-0C20548C70F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40d6298d979cc5fe8f26a1cea0e2ec254982529e","datavalue":{"value":{"time":"+2020-08-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":"Q2193970$A6F3204D-E40B-4FC2-A705-0EE6F70E4808","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb967f12e806f240cf9876bfe390096240491975","datavalue":{"value":"https://arxiv.org/abs/1907.05411","type":"string"},"datatype":"url"},"type":"statement","id":"Q2193970$34902CF5-1B8A-416F-96E4-F0040D09F299","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193970$4138ECD7-D676-49BC-95CA-E3C42D4436FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193970$6AA396FE-6107-4DD5-9830-7F3A488E5062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193970$B3B8813C-116D-457E-AB22-EC85C7957879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193970$F006226F-9CBC-4855-86E9-A53E674D8F4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2620659009ff41b533dec282d0066961d37e2c9","datavalue":{"value":"7239279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193970$951FCBDE-D368-48C2-A6E2-848BE7E59C93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d1a9c720687da2f969edafece185038f2d887d4","datavalue":{"value":"minimal propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193970$5EEAF9EC-2CF2-44E4-B3F1-9A1D13726B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3b056a4aa06d81cd0ef1bd274867a8635484c31","datavalue":{"value":"weak negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193970$69A77A73-3EEA-4CAB-8272-7D6A89EC9284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193970$FE5EAA3E-8E02-444D-AF21-1B9E8A150F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193970$0AA26027-40DF-4DBF-B7CB-F3DE024FFFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c86a62162a0dec20455abebbd1b01aaea61ea","datavalue":{"value":"terminating sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193970$A6B2C7BB-8BEB-4A1D-B6D7-CFB69494B2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193970$71D5D6BE-9D3F-4690-B424-A19A4273FCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193970$A346DE9E-6FA0-42FC-AC99-C3EE29E97CFA","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":"Q2193970$AF706703-8AEA-43EB-8F69-136B2B60AAB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2622a1c9439e18dfaeab26f4de6cb5239b92c7f5","datavalue":{"value":"W2963852730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193970$5AE27A11-EC7C-4DEF-86B6-56A18047937C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00597f1037a916fe90bbb9f8b2789c58e5a7ff45","datavalue":{"value":{"entity-type":"item","numeric-id":2411405,"id":"Q2411405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$E4D2EE7F-A0A0-4DB1-9F33-AF5E26725AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$FFA51E35-3295-4C9C-8B07-7C9C04AE3FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cb8cb927478b7bcf307eb544a22df4115a278e","datavalue":{"value":{"entity-type":"item","numeric-id":4328824,"id":"Q4328824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$161ED574-1924-4E1B-A6FB-C0AE9B346671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d610a175e1d5ec7434da154b57f1401dd6850e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4684343,"id":"Q4684343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$4AF75020-331B-430E-976D-CA67B632971D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389ecf4fd560ef72fd0217b09ee04765d70bace","datavalue":{"value":{"entity-type":"item","numeric-id":1699743,"id":"Q1699743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$3A792FA5-F563-43F2-B949-FA77A1D6B14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b69ae82ce4b50f7614ea509b47229dc4677e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":3455187,"id":"Q3455187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$43DC1059-57E1-4361-924D-7018D4CF6797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5576c2d5a149adbc0e4cb23018e73ca7b2ba13","datavalue":{"value":{"entity-type":"item","numeric-id":3442404,"id":"Q3442404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$389E5E2D-79FB-4FBF-B0C6-9224B82136CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cedace1c0b7592cfde8cac81a831dfadac5b15","datavalue":{"value":{"entity-type":"item","numeric-id":3632251,"id":"Q3632251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$72081AFD-915B-49F2-8307-2D57020069DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80b80db2d6a53877e68028854b8edfebf102083","datavalue":{"value":{"entity-type":"item","numeric-id":3455185,"id":"Q3455185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$C04DEF8F-BAFA-4F8D-8501-33435DFF7CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f736763f9b8cfd359627a27ea17992bb6a6a0e2","datavalue":{"value":{"entity-type":"item","numeric-id":2946626,"id":"Q2946626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$2A3848AC-B44E-4192-BC19-46CEA4D7CADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de01c9c16c3ab54fa1471085f52467b0e466d2a","datavalue":{"value":{"entity-type":"item","numeric-id":4497600,"id":"Q4497600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$47A37A2A-38EA-4CB5-AD3D-28F8AD45CFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df88df617383e402732a7ccdf3a5a43ea499743","datavalue":{"value":{"entity-type":"item","numeric-id":4645239,"id":"Q4645239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$959425B2-7623-4E16-9252-0DDED6050DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d17349598573d1b33d3b679ef12812a7b83165","datavalue":{"value":{"entity-type":"item","numeric-id":4610326,"id":"Q4610326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$F4B8C848-C1CC-4F73-9B1B-9BA8F5364FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503fac1a5c522f05539c4665bfc22d344b2ac891","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$16230FE6-78AF-4A09-B6E6-9CF9C24CF7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$05373498-C863-4920-A953-C25C63AE3FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$C5455C19-DE46-44FA-A651-006647A96AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$04B8EF02-CCFE-4B66-9D9C-0D29592A639F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc521e9340a03c727a856f99c846b26709a4c55","datavalue":{"value":{"entity-type":"item","numeric-id":302218,"id":"Q302218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$2167B401-3E82-44BD-8D9B-2C58713AE423","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":"Q2193970$17F316EF-AC11-400F-BB2E-C74A040A4044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da6864bcd716ff4a895efbc198790c78921636d","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$EF1C5AFA-7F60-4647-B760-1FB2F4EFC278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f992f3801d3cae773733c4d91154660a944ed992","datavalue":{"value":{"entity-type":"item","numeric-id":1130509,"id":"Q1130509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$41ADCE82-D68F-48D1-B870-48B1B4D6FDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193970$17B9E18B-240D-478C-A47D-8E7B42330D98","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab473829b32340658c43eb8d55a3e722240aa7f0","datavalue":{"value":"Q127439327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193970$53984AF9-7192-4343-ABFC-97A8FBBE71BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f0aa0f601dc4943a9f54734584daec0d96ff5f1","datavalue":{"value":"10.1007/S11225-019-09869-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193970$F83625F4-C34D-45FB-B447-87F85EB42684","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2301c01e5e9f3d307e1b6269fd84d28f55e4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2804319,"id":"Q2804319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7664434619083c235571fbcd6ce7a91969b48feb","datavalue":{"value":{"amount":"+0.7556046843528748","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":"Q2193970$4284A69A-2F23-4F28-BCB3-AD48DD6C82CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9247282ed51be4be8b8b65457ac4ec13b51bb632","datavalue":{"value":{"entity-type":"item","numeric-id":1100191,"id":"Q1100191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73597446364f1c96b79629b35c7a017c0c31a4c8","datavalue":{"value":{"amount":"+0.752577006816864","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":"Q2193970$4F58C5F5-5C74-41C3-83CD-53E234B95199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96b24529064868309ef70909e88547cc2d47a9b","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72c9f8a909df36906eae442cd95f00703bf57bc","datavalue":{"value":{"amount":"+0.7509695887565613","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":"Q2193970$3210C385-81F5-4D6A-B7E6-ADFC77D941D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9317687ef1fbfc1fe8daf5cd74f951c7c33350b4","datavalue":{"value":{"entity-type":"item","numeric-id":5039129,"id":"Q5039129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc887242e35ccd9df4873c7dcf4ee5718643f67","datavalue":{"value":{"amount":"+0.7471136450767517","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":"Q2193970$A21505F7-C871-4C8A-A3D2-CDFD970D9040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0194c981196218ac8eaecf19d7b9a148909eaec0","datavalue":{"value":{"entity-type":"item","numeric-id":1071753,"id":"Q1071753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff1d63c838190dadb7ac6f0eecb192c46ec87d4","datavalue":{"value":{"amount":"+0.7462408542633057","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":"Q2193970$F9AF230B-99D2-4AD0-8530-38CC0A55C48F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory for positive logic with weak negation","badges":[]}}}}}