{"entities":{"Q764309":{"pageid":766158,"ns":120,"title":"Item:Q764309","lastrevid":64161216,"modified":"2026-04-11T18:03:08Z","type":"item","id":"Q764309","labels":{"en":{"language":"en","value":"Proof theory of Nelson's paraconsistent logic: a uniform perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014302"}},"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":"Q764309$3904DDCF-7DE7-4D0F-B5A4-274030B32F0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa042c3863f0975b528a555cbcf112ce918dec3f","datavalue":{"value":{"text":"Proof theory of Nelson's paraconsistent logic: a uniform perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764309$1DE24F07-69F2-4F24-9CF0-6E9CF523DC2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb20c8fd380167d8d540d39e93ddd6647d21cbac","datavalue":{"value":"1382.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764309$770AF577-E462-4814-AB92-BF7088A52803","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":"Q764309$83AB20D5-68C8-4889-9289-225253DA6F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$0352EE22-7839-4748-9D6B-4862D5A73D22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$770232F3-677D-43EA-8C64-A3C866DF22CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764309$F2DE96C2-A6A5-41C4-A3F7-EA185DC82700","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764309$FB1FF8E4-1C3D-4997-8377-62E38B368586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764309$133AFBC3-4FFE-458E-A26A-6BF5D04C6C19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8178cf89afccea1d7437503701a2fffcad09f7b9","datavalue":{"value":"6014302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764309$B90AE30C-FB0E-4E59-91F1-9D268AD01AF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764309$B5FDD850-D053-4994-8ED5-5B784B302451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b12a1c4321358a6fb81457f611de1a5363f0b379","datavalue":{"value":"inconsistency-tolerant reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q764309$0FC8B5BF-528F-464A-8684-A4EA7E6F58A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f891a11045511eaebd8de5e3f7ad647850262d7","datavalue":{"value":"Nelson's paraconsistent logic N4","type":"string"},"datatype":"string"},"type":"statement","id":"Q764309$FE3F5C0D-2736-4219-80B8-A44399D22830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q764309$63029693-8D9D-4329-BF9B-8897FB405602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c3de2f79aa44b98e74bebfd1943a49545e800f","datavalue":{"value":"natural deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q764309$B3EAB643-97E3-4C1B-9675-8D2B833B73BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q764309$F44A84F6-FF7B-4E94-AB17-68F11461B1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q764309$804C3B66-8F9C-404F-AC0A-76420039706B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$C10A2A8C-E57C-43C0-951C-F49FEFCAC167","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":"Q764309$32E5A24A-98F9-4913-8704-9BFF60ECBFCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4914f47e2fa6ad85b6f91dbf81b230c74a8436a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q764309$3B443C5E-E48A-4EAC-8B32-F57F58B63E78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6dc49d6e2e2010e7502395b742e586c371d1b7e4","datavalue":{"value":"W2054776590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764309$BE1C6130-21B0-4BD0-B87F-44253DA285BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$335EEF5B-7526-4F18-A966-3C888C1DB3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$30304BC2-9981-4CC9-BADD-2B9E264E8D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$3984018F-B02C-4C27-9E9E-E9B90EDFD53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$4E064A67-8951-4E90-B39E-87F1599FBB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$B3C5B5BF-9E5A-4641-9E84-D6B1831F25DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce3671c1e58c5f8f5eb1f61752eb867b0a63344","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$D90A4D8C-C9F3-4483-A71F-72FB6737441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e5017ec8233723a369580a3daad0d68178c329d","datavalue":{"value":{"entity-type":"item","numeric-id":1610490,"id":"Q1610490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$0EC95785-F1A9-48AD-8305-DA73911C9B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf92dfbbcfacba489881178d89ab3b4aa072827","datavalue":{"value":{"entity-type":"item","numeric-id":813081,"id":"Q813081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$EC87C0D9-3926-4E52-BF58-5147CD6D3BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$1F126FDC-AEB6-4B57-8836-15E1B7C30A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$DB27F2C9-1954-45B6-A576-0D73C5D63742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcf020d6a1333d5159033f6bb5c1eedf35fb3e9","datavalue":{"value":{"entity-type":"item","numeric-id":1262746,"id":"Q1262746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$874A2857-99D2-461F-A1A0-ACD2D069795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0d8826fc13a12335b777ccb97023881f20b67b","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$7BFEBD6B-900D-49E8-9422-C33CE3C7D888","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":"Q764309$739D4181-7CD3-40CC-AC2A-DD71F45FCD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e6baa3f2d1b108638e63f44444eb15fffd0961","datavalue":{"value":{"entity-type":"item","numeric-id":5940919,"id":"Q5940919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$FE3B39F8-A957-415A-90AF-141E2023713B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2dfc188569540d0bb56e9b9daac826d6a18b37","datavalue":{"value":{"entity-type":"item","numeric-id":1220483,"id":"Q1220483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$5374D88F-62F7-44F8-B5B6-0E103DC297D3","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":"Q764309$293994FB-6806-4653-9F90-73E6D0042422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba59f545f64e54457ca5d34dab41b749e79a5438","datavalue":{"value":{"entity-type":"item","numeric-id":4236380,"id":"Q4236380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$62D8246B-CEC2-4DDD-B5C1-B4D85C10EF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4d17c35cbefb6a8aa866435f2f3edb60233e13","datavalue":{"value":{"entity-type":"item","numeric-id":2710593,"id":"Q2710593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$216FEE37-9438-4C49-958F-8554B7D54C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$EB3A8952-1A0F-4557-A14D-AB401648354D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a55025adbc0829a6ef916a864eb62a5459c973f","datavalue":{"value":{"entity-type":"item","numeric-id":1840645,"id":"Q1840645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$4B306245-6708-46E5-A934-7A66C751695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903f9f52eef04d94cfa524ca594f47f356bcbc56","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$14436133-BB1B-4BEB-8682-247B5297AE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd620d0008ba1f194a2223cc251ad2d22349c39","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$413CD98F-54DC-459E-A9B0-E0DE5A7918AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d2c3cb496a4864585aa954615a702ee99d8adc","datavalue":{"value":{"entity-type":"item","numeric-id":4531578,"id":"Q4531578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$9FB7B787-0152-48BC-A533-BBAB53C0CB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f0a2cf77b174e42853c03d75a923ff685e9de7","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$11AE416F-D8D3-499D-8ED5-9D8CAE760BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011fd0dc657f95a5f080525666aa54d66a669d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3086939,"id":"Q3086939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$2517B6F6-3B35-4F1B-87DD-648BA11A8538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ac3680f722b3c4628bd0a6474880604d12b94","datavalue":{"value":{"entity-type":"item","numeric-id":3919679,"id":"Q3919679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$1A3E5B79-59B5-4B06-8995-CBBD6CABE3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$CABF00C1-8D63-4611-AA87-507AB6974023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479960e0019e831d800b55b00ce6347a5e2a767f","datavalue":{"value":{"entity-type":"item","numeric-id":4434506,"id":"Q4434506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$C08788AE-C4BD-44A6-A021-77B88AE81A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b2521228d7077448c0e0fa1cafa87fe47147ee5","datavalue":{"value":{"entity-type":"item","numeric-id":3647236,"id":"Q3647236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$042A72EC-A6C2-4BB4-8022-DAB9A3EEECA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf487fbbe749499cad6f9e55d76b78791641015","datavalue":{"value":{"entity-type":"item","numeric-id":5411482,"id":"Q5411482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$A0D59AA0-2E7E-49E9-B1A8-DDAB0ECD6B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d065ec9ea7faedc41733a20f97ed704a34b0689","datavalue":{"value":{"entity-type":"item","numeric-id":3086526,"id":"Q3086526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$CF902F98-FC6F-4D1A-A8F0-8852367C39A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebfa143dd891ecc7bb1b2e0e5192eb92b798b2b","datavalue":{"value":{"entity-type":"item","numeric-id":3012506,"id":"Q3012506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$E78D3B56-37BF-49F7-8922-1F2C2F5A05D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1700b011cde391b30057f37073cefb9c040efb3","datavalue":{"value":{"entity-type":"item","numeric-id":3395332,"id":"Q3395332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$E83DB1D9-4429-4EE2-8E55-A68B9DAA7194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6c0c3cfe49a3d2843a935328bdbf41639c6491","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$21120F76-6E2F-4B3D-8E6E-B9EE6535AEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0580a8f02cc735ab177ad8422ed0b85e5f02b040","datavalue":{"value":{"entity-type":"item","numeric-id":3084992,"id":"Q3084992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$C948194A-B6A9-4888-AA12-61A13208C883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5632db167ef6c092078898c844446230d593bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5677463,"id":"Q5677463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$3B5D866D-A469-437C-8AAA-EBFA523ED130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a4cd2fc83e6b4ef6396e504692133c0f15fbee","datavalue":{"value":{"entity-type":"item","numeric-id":4803959,"id":"Q4803959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$F6CAB784-A7FD-406F-A7D4-7A81DA7DC98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$AE1F489F-EDEB-42B7-AE00-FB380C6818B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e2b13f94cfcbd2779246485d014cc60d2ea10","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$63240F8A-8888-434C-A03B-81BD6B03E8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$602D0188-CC35-4EBB-9343-878FB72A34FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$F856E51D-4BE4-400E-BED2-2E82ACE8D126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e06928af1f41b8c1efc27988b1ee0372a433546","datavalue":{"value":{"entity-type":"item","numeric-id":4438105,"id":"Q4438105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$DB6B40F1-6A0F-4BFC-8439-D86363BCA733","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":"Q764309$48F69634-1FD2-43FC-B95A-4456361A84BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91008a0f6911f9bf2f953bb0f9bacec6f7c6a225","datavalue":{"value":{"entity-type":"item","numeric-id":4463936,"id":"Q4463936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$4F44416F-F972-48BF-B7D5-AA157B687FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87135399135ab61a988f7bb2677c6a432e0d257","datavalue":{"value":{"entity-type":"item","numeric-id":946573,"id":"Q946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$1F098F38-0E1E-409B-B74C-71DB6BD585CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c32e67d8d1da9f5c34222193b5af12b3787557","datavalue":{"value":{"entity-type":"item","numeric-id":5504645,"id":"Q5504645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$34C7C3E4-B912-4C78-BB03-8DB8A382CC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$BA31DBB8-6987-4BA2-8F9C-7CB7AC17A109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$13B760C9-A2E0-4F4F-9F4A-238341450291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658fbffaf2ae85f06a398287b1897cc70567d3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4857857,"id":"Q4857857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$1DF56761-0622-4093-B595-20C95634E1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26e09a94e186943fda91299555322e5bce08277","datavalue":{"value":{"entity-type":"item","numeric-id":2535669,"id":"Q2535669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$4B41A00C-7D2D-4ECA-A9E2-274E75E7BEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5a4c3f78ecaf0fc1e0b609bbd10716aa4a222d","datavalue":{"value":{"entity-type":"item","numeric-id":1846858,"id":"Q1846858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$44B42AE2-01CA-4939-AB04-5AD714EB8D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37959abe365ef80037a753de9cc6df3d3f8fa2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3884093,"id":"Q3884093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$925CA8B6-A53B-4161-944B-5161B66F082A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$74D3E6AD-4A5F-4318-8F25-604D33E3ABF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fae066ab52947e678be762a4f273865d1c4958d","datavalue":{"value":{"entity-type":"item","numeric-id":1237778,"id":"Q1237778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$9FE4B3D7-08A1-4AD5-BC70-B6382A18B727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd9f24447d0c28e275331f7b7b84d57dc2a1c78","datavalue":{"value":{"entity-type":"item","numeric-id":813087,"id":"Q813087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$D77D87C4-37E6-4064-9791-70279C84143A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d2c48ffbe228657ef568ac2d7e18e0775b81ad","datavalue":{"value":{"entity-type":"item","numeric-id":4529486,"id":"Q4529486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$FE2E4E4E-8ACA-4A30-81A9-6B7FEB57514A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e8217d7d1c10a832aed186030e5ce80766c08","datavalue":{"value":{"entity-type":"item","numeric-id":815018,"id":"Q815018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$E17A2814-51C7-4071-9C65-E9DF4A16E146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4385bceea38a1d58397e6860f6e6b34883372145","datavalue":{"value":{"entity-type":"item","numeric-id":1006448,"id":"Q1006448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$23D2AF1B-F636-4725-A607-D68B243BD8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b1f391ade18000c591542d01f32e71d8da152d","datavalue":{"value":{"entity-type":"item","numeric-id":5937857,"id":"Q5937857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$348784EA-F4B9-4D68-9260-1FAD5870ABFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$29E8DC97-3C05-453F-847A-CFE587B8BFFA","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":"Q764309$3D3C506E-DA21-4F70-98C0-E1D15D1110B0","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":"Q764309$374C6B70-230E-402B-9E58-83FA8D4A3B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d83d5414c4b398d1e707c31aba87dc6f4fe424","datavalue":{"value":{"entity-type":"item","numeric-id":5813184,"id":"Q5813184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$19F66B9A-EADB-49FC-8365-FEB080E017BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c048ba9eda1ea036e5a67e736564f9a88964bf","datavalue":{"value":{"entity-type":"item","numeric-id":3988060,"id":"Q3988060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$EA3677FF-1026-4014-A11E-414EB63A8138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$C74BA622-CA15-440A-9ACC-D8845835A501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d8155aa74e24e3d6dc8efa37444225b2367a4b","datavalue":{"value":{"entity-type":"item","numeric-id":1322438,"id":"Q1322438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$AC894CF0-5400-46B9-8583-30DE43CEBFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90b14006522509129d31f0cd522d98218fa2222","datavalue":{"value":{"entity-type":"item","numeric-id":3643320,"id":"Q3643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$1C49597A-62DB-4178-BB58-C14781BE7583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2196600f9e4876637f79a8ee3d4bda3fb1be24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1959329,"id":"Q1959329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$9B2AAD9A-BAA6-435F-991F-095F00960839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b0ea74f18787e2aeaea16b6ef5d539d3edf10e","datavalue":{"value":{"entity-type":"item","numeric-id":3069727,"id":"Q3069727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$CDB0938F-7EB0-4FCB-AD3C-69D33B8D6FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afa30a9b8eac202ab30f84481370f60ff4f5fac","datavalue":{"value":{"entity-type":"item","numeric-id":1272827,"id":"Q1272827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764309$46811F3B-5477-4F1C-A449-FA4B598B8842","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7e6836ea35f2af8b540c92fd3071485ec0cbef6","datavalue":{"value":"10.1016/J.TCS.2011.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764309$8C33EB48-E1E4-49FE-9937-F63B4126C7EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64408bfea1cd18dcf9bb9f5a0e7291d7d4c801a7","datavalue":{"value":{"entity-type":"item","numeric-id":3149172,"id":"Q3149172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faaed9e754d41f204eb2df6f5ce4945a27447a25","datavalue":{"value":{"amount":"+0.9360632","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":"Q764309$1729D3A1-FD7D-4812-B22F-2EBB019600C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f516c9d12d33137f341c89a5a2dcb26c2d91e6","datavalue":{"value":{"entity-type":"item","numeric-id":5411482,"id":"Q5411482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6009bf8588b545ac9b1d2dbff1d6a481e3491ec3","datavalue":{"value":{"amount":"+0.9228809","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":"Q764309$2DA7EE68-2722-4A5F-9FDC-E0F5564A19E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3764d7972d2fc4e54048d978da574e9d4ae5b02","datavalue":{"value":{"entity-type":"item","numeric-id":813085,"id":"Q813085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10df8b6fa2526989cfc4cbb137e9a0aada97cdcb","datavalue":{"value":{"amount":"+0.9170303","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":"Q764309$D8D918FE-AA08-4DD7-A54D-F7ED186295F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c16bc98d10521f1891cab4288d7fa65252522b","datavalue":{"value":{"entity-type":"item","numeric-id":5175691,"id":"Q5175691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6147034880af9811779c32846397ec7910223b","datavalue":{"value":{"amount":"+0.90857553","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":"Q764309$419430B2-F634-42EF-BC47-A62F1056167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771fd7d6692d02018d8a865af99e63159bdaae2d","datavalue":{"value":{"entity-type":"item","numeric-id":3647236,"id":"Q3647236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea86af7c23739c4af0479a2187a5bb2efe95113","datavalue":{"value":{"amount":"+0.90603095","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":"Q764309$D2BA7363-FEE1-4DB1-80AD-172A60C5BB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862b8cf76fb2ee46bbf77e117bf2fa9e9746b9aa","datavalue":{"value":{"entity-type":"item","numeric-id":4982352,"id":"Q4982352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a1caf3bd3db82d76ffc6cf96ff9a8651e22d19","datavalue":{"value":{"amount":"+0.90453994","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":"Q764309$039C29A1-768C-49C6-A940-034E294824D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99dad61b15af0c168ae0096f59d86c705459fbc9","datavalue":{"value":{"entity-type":"item","numeric-id":4434609,"id":"Q4434609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6f28ee753f059b26cb7ace091aa5ad6fcae8d0","datavalue":{"value":{"amount":"+0.90396357","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":"Q764309$10B5D1B0-69F5-46E6-B9AD-9253E8F7BF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307563e0a7480b53ee3012150a97a1d8f514f4da","datavalue":{"value":{"entity-type":"item","numeric-id":3558858,"id":"Q3558858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10af89bc167d927bc9c1bace7c8bca50f1b77932","datavalue":{"value":{"amount":"+0.9020813","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":"Q764309$DC80F7AF-C791-4DD1-A1CD-36DA15EFC905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da8cb4c00a1e988d38363f5162bb80b39392b72","datavalue":{"value":{"entity-type":"item","numeric-id":708928,"id":"Q708928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f81c4bfbe8f140ff73174887dc15bf5e265de78","datavalue":{"value":{"amount":"+0.90190357","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":"Q764309$EC1B5936-FDC0-48C4-929C-4F4F2A0489DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f250de6889b753555890cad5a4448a757ff8b284","datavalue":{"value":{"entity-type":"item","numeric-id":5692275,"id":"Q5692275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7bc3b883bf8ba8006258f56e3a517ba0938910","datavalue":{"value":{"amount":"+0.9008947","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":"Q764309$4D4F2EDC-3D10-4B64-9F54-51949D4763B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory of Nelson's paraconsistent logic: a uniform perspective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_of_Nelson%27s_paraconsistent_logic:_a_uniform_perspective"}}}}}