{"entities":{"Q420832":{"pageid":422599,"ns":120,"title":"Item:Q420832","lastrevid":61712205,"modified":"2026-04-11T01:08:34Z","type":"item","id":"Q420832","labels":{"en":{"language":"en","value":"Proof theory and mathematical meaning of paraconsistent C-systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037798"}},"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":"Q420832$D4686CEC-B86D-4C14-AA7C-C4579E7459AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd488078d2be08c9f2a8d610e76125f867987065","datavalue":{"value":{"text":"Proof theory and mathematical meaning of paraconsistent C-systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q420832$DCCC1477-AA30-4DE4-8D81-B9F7510AD4AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"162301b28cea4f91b3b7610901527fa5bfb9b49f","datavalue":{"value":"1242.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420832$6242E149-30E0-4D8F-91C0-D4BBF3D93D13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef13ff3bc8f9deab469e35f13dbb7fff50b2616","datavalue":{"value":{"entity-type":"item","numeric-id":420831,"id":"Q420831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$0AA77925-809E-40B5-87A7-140F71F9D223","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$4BC57CB5-A2FF-4CC3-853A-D7FD3D003666","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a791962b7bf8be6759d99d8d914e7c75a4b20fc2","datavalue":{"value":{"time":"+2012-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q420832$55C38623-38E8-4164-810A-6538C519F45A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420832$E6ABED6D-6EE0-4E6C-B7BC-10D3AB144ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420832$44524876-735D-450B-99F2-1032D82A47A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420832$58B37C77-4104-46E3-8A71-A026DFA480D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"feca1904ba13014a53f7d8be2a8fd0f333a80710","datavalue":{"value":"6037798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420832$26AB9305-A44E-49A9-842C-DF16ABD7AE5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q420832$663EB9BC-FC17-4368-9E56-E4E998F9A116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q420832$F516279B-C3D6-41BF-8B82-EB343811D7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd81d7e7cdf8d872d2e4a0742cd9908adf0f2e6e","datavalue":{"value":"foundations of constructive paraconsistent mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q420832$C17CCA8C-3B53-4D28-91FA-C4ED0C45BB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4444b2f487f3ba13f5a39c11041b22742c584937","datavalue":{"value":"classical provability logic of PA as a model of paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q420832$985A2912-506C-4BFB-AEC7-95145178F5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8fa98d7a781223e26ad91513309e0676ad5848","datavalue":{"value":"arithmetical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q420832$6E8E5662-F754-49D7-9394-D5D8C7233284","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":"Q420832$E4C3B40C-DFAD-4B10-BB12-658DC2ECD383","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"738c3bcac0b20b50ecc1faa0bf9050ce998c7527","datavalue":{"value":"https://doi.org/10.1016/j.jal.2011.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q420832$86B9C2B7-65E8-4926-9E39-839F321EF42F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fb4f42f55bacbf05ae41886a004351fed315ad3","datavalue":{"value":"W2092068361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420832$B66D2C90-B12F-4491-B975-B398ACD6E12F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"925e42ad67ae36eae62085365571716a6706b0e4","datavalue":{"value":{"entity-type":"item","numeric-id":558432,"id":"Q558432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$F16524E3-85A0-456C-A789-58ABFF10DE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de98d16e4a2c454c5ccbe9727a9823fa94ccd256","datavalue":{"value":{"entity-type":"item","numeric-id":5425994,"id":"Q5425994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$3486400D-4D87-436C-BC6F-A046CBA59D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e174bdaa8536d66028830e190ce8ffdf7513f9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3112287,"id":"Q3112287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$4545C3E2-C311-4CF6-9E68-8D780842D5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e3347753b0fc1a15905544eddbfdf2a1c01a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1775870,"id":"Q1775870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$1E6ED9EC-4D23-463E-A379-AFCD6BE06592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$15AF4961-7D57-4FA6-8B87-5444F5D8556C","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":"Q420832$B25011EE-1387-4F4D-8584-320750B75718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$FA60A554-3D6A-4D3E-B642-003C791ED43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3a92781638289e36926c03c49a66a56204cf18","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$F378D31E-147F-4750-8C84-AADCD952D31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"968595f8b8911805e37211157da870cd8e5354b6","datavalue":{"value":{"entity-type":"item","numeric-id":701299,"id":"Q701299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$3F8F86C9-D4F2-4C40-8C5B-81FEF6D9E66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$9325A58D-1835-4B51-A80D-6DEFC8377E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9bf83ad953a8b731f11995bf320326e3e5cd0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3647231,"id":"Q3647231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$F01F5A96-9CBB-4D32-AD19-C80C9905B0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba993aca0f1ce9c211f67f15536b1596439008c","datavalue":{"value":{"entity-type":"item","numeric-id":2863910,"id":"Q2863910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$74F66185-D6E9-4B03-B81A-458A8E3B91EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d26ab3fad06a922ea109304ab8fc8a1e853d17a","datavalue":{"value":{"entity-type":"item","numeric-id":1970598,"id":"Q1970598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$5CFB255D-1C3A-4255-B240-B4A7EE2728B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8151fdcd5aa29dc2de2e06773ed70c1badaa69eb","datavalue":{"value":{"entity-type":"item","numeric-id":1970646,"id":"Q1970646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$0FBB62D0-E047-4389-B419-45D10F152D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311c63a9682ae32b3a7bf05132e99ef7ef821e1b","datavalue":{"value":{"entity-type":"item","numeric-id":1970916,"id":"Q1970916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$7BCAD4C0-357F-4FB7-BBAB-30F697AAAF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad1fa14448dd44c44c156cf25c3963628a9de66","datavalue":{"value":{"entity-type":"item","numeric-id":4295253,"id":"Q4295253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$02770DAF-55D4-48A5-99B6-1E563DD9F7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$C695F6C7-F875-469B-9914-EB5848E2CD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7054088f261bec1b43e83dde5033148470f0cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3734361,"id":"Q3734361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$4DAE4C94-A5E8-4390-A04D-97288766DE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b143c55fccb50bc52c8564eda293bb84d3b14627","datavalue":{"value":{"entity-type":"item","numeric-id":4841568,"id":"Q4841568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$4035D579-0658-4DEB-8429-D9AFAAEC6570","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":"Q420832$63ED4A81-4FB2-4AC3-A15D-7E2B55C16ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$315F6E10-FAA6-40D9-9DCD-D52860FA974D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fc645ef6b13fa26298136aa38f0f9b6d1bbd7a","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420832$1E9A5815-3DC2-4B94-B87C-5F2FF6084BF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5aa5e644bfc17dc00dbf6416224385e11e5d743b","datavalue":{"value":"10.1016/J.JAL.2011.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420832$BE0905D7-7BD6-4757-BCC6-DDDE0072458D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd1364ad12e3d028e90fa9031a99398eb2582b2","datavalue":{"value":{"entity-type":"item","numeric-id":1264139,"id":"Q1264139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6803e28ee2d629ef40325855f3f41993f60e1ce5","datavalue":{"value":{"amount":"+0.8016288876533508","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":"Q420832$306471B3-3A3E-48AE-AF4B-DA77D7DE4C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b5623b7fe27b59871a009bf4fa80587a00f71ac","datavalue":{"value":{"entity-type":"item","numeric-id":2863910,"id":"Q2863910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc993763752d3d39e5f18d4dbd5b52560a6a0ea","datavalue":{"value":{"amount":"+0.7997545003890991","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":"Q420832$3EF7813D-4289-4B9F-B151-441EF83750B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ce9c7d9cc46d3c9b58d6db1ea277385a317336","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e128a0aa5006f41b9d0b3158308ae97923b01c","datavalue":{"value":{"amount":"+0.7828848958015442","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":"Q420832$6A8917F9-959B-4C7F-A8BD-FC5C6D20BBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83c11876cf5430ee3cb054d14a9ac8faa63f8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5473745,"id":"Q5473745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d0dd243f42706a1339459be1730b335105638a","datavalue":{"value":{"amount":"+0.7738551497459412","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":"Q420832$A91125B0-97BC-45B5-9EC7-1EFF8DD651E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d42ca2abff624a53ee906c0eb02f92eb37d5f1","datavalue":{"value":{"entity-type":"item","numeric-id":788710,"id":"Q788710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36eaef66292ab703ace8f363c84b01705f634ff4","datavalue":{"value":{"amount":"+0.7581837773323059","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":"Q420832$8A752D40-90EA-44A9-B15E-E6C977CEBD63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory and mathematical meaning of paraconsistent C-systems","badges":[]}}}}}