{"entities":{"Q6642820":{"pageid":14253975,"ns":120,"title":"Item:Q6642820","lastrevid":100235096,"modified":"2026-06-05T21:40:04Z","type":"item","id":"Q6642820","labels":{"en":{"language":"en","value":"Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7948940"}},"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":"Q6642820$E3EF31E9-5D93-49FC-AF6E-07480C6AD2B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1154e3970c7ca9a31a7451a036489fd2dd22b389","datavalue":{"value":{"text":"Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6642820$4E7B4E2A-194F-4481-AE09-F4BADAC85472","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8764bcf28786e61813ff776bc1d51725cdde9786","datavalue":{"value":{"entity-type":"item","numeric-id":1670487,"id":"Q1670487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$A4674358-6315-4D52-ABB6-ABC94F3D9AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47b697e55f1d25c9454e9e0ff4b2fa4d35030c8f","datavalue":{"value":{"entity-type":"item","numeric-id":1679764,"id":"Q1679764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$B3489AC5-D3D4-4711-BBD1-4864D572B950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1a8774ebf724d3d48ecdf24de732d5ac6c3c34","datavalue":{"value":{"entity-type":"item","numeric-id":1744953,"id":"Q1744953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$B4F6563B-E7F7-43D4-A302-840FB6BB8658","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":"Q6642820$425B307B-D538-44A5-B006-5CBA0D80F4ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"272cd05120c15d974d63530fc5e992c05f38b5cc","datavalue":{"value":{"time":"+2024-11-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":"Q6642820$B15C1E84-E053-47A9-BE84-8ED4CCE6C482","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6642820$1D2D4B18-5AD9-417C-A0C9-0834C1AE3036","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7dfd59ade588241f2c504639242725b06199c5d","datavalue":{"value":"7948940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6642820$1576F150-9549-4604-8B7B-38939A43D932","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9032c931b4f399c6a4377c9b1bc6f6484edf9577","datavalue":{"value":"logics of nonsense","type":"string"},"datatype":"string"},"type":"statement","id":"Q6642820$3C8D88E1-AF37-4252-A276-C00D2417F9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6642820$964F5F98-91B6-4F2C-A940-3827682C5A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6642820$1908097A-A64E-4F47-A2E2-68428A54A866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f52d792eb870380e8a186c46224555fcedd2fa0e","datavalue":{"value":"non-reflexive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6642820$B580C9BD-4EB8-481B-AC56-FB3A1EF646FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09af919acc2838f406da521dd64a3a017428c28f","datavalue":{"value":"elimination rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6642820$E119E435-9930-4A50-87B6-487470914157","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":"Q6642820$2B803004-61AC-49DA-A40D-6E5BC9743691","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$19B19885-13C0-46AD-A67E-77A1404318AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca78335e7d64e072ca542079ca2fa130778e237","datavalue":{"value":{"entity-type":"item","numeric-id":4750621,"id":"Q4750621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$6300746C-53FE-4A1F-9060-9D470E21397B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdb02a8cbc0c6812de30af50942e4a7fe81b51d","datavalue":{"value":{"entity-type":"item","numeric-id":526733,"id":"Q526733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$C8AFA72D-21A4-419F-8B8C-C79FF906B820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd3dff7e24d0223e2329d2dde0a22f2406c8b2a","datavalue":{"value":{"entity-type":"item","numeric-id":5742697,"id":"Q5742697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$4DDB8BCE-9A3F-4879-85BF-0AE075E9F92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bbe5e43a337a5d2274078bba92c0066fdf540c","datavalue":{"value":{"entity-type":"item","numeric-id":5213389,"id":"Q5213389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$4CE8AF0E-1D36-4ABE-B687-D20D8FA215C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b609f1444c9358ed3e8d9f6cc1e187b1b2f37c3","datavalue":{"value":{"entity-type":"item","numeric-id":427233,"id":"Q427233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$1C37AAF5-70DF-45E6-8019-C449EE6934F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360b4354e5666aa2a68d5d79fb4846c4917af615","datavalue":{"value":{"entity-type":"item","numeric-id":4992398,"id":"Q4992398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$B817C034-00D4-4D2F-A14F-746F4E1238FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8aa0f90f8c83c3480dfcd14a0183a73391255b9","datavalue":{"value":{"entity-type":"item","numeric-id":4994022,"id":"Q4994022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$3584D8AF-BB83-402A-9A6A-4F985C1B40F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fcb5174ae9cc61fd3cdfbdf5cb0bdbc76374617","datavalue":{"value":{"entity-type":"item","numeric-id":2679587,"id":"Q2679587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$E1099166-0A29-4254-8E71-CB4D1979D7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064de5a3f742d4be011bf0e27991af03cc5c2a96","datavalue":{"value":{"entity-type":"item","numeric-id":1683263,"id":"Q1683263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$D85D936F-60B0-4966-AA0F-599E8C5C8CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09054b0491227122ce1e8c606077728d2b34864f","datavalue":{"value":{"entity-type":"item","numeric-id":519853,"id":"Q519853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$B330B979-7C79-474F-8269-6E2BB829FEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e4aa9fefd25f1f34eeb6bfa44170e419f3416f","datavalue":{"value":{"entity-type":"item","numeric-id":5800353,"id":"Q5800353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$4A6696FC-9766-4199-A82A-03FE29A68E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea2b734ad4a385574e3e00b27c1f36b71e7307c","datavalue":{"value":{"entity-type":"item","numeric-id":4302346,"id":"Q4302346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$FC043E42-E62A-49C7-A1BB-3476B2DE8D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a108a7db3700c84a6e11384b3cde8700a1878c85","datavalue":{"value":{"entity-type":"item","numeric-id":1815405,"id":"Q1815405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$3B7FA2D0-6A77-4A99-BED7-FE67961ABCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f916507c008fb5003a7ecd169c2aecb255a280","datavalue":{"value":{"entity-type":"item","numeric-id":3112283,"id":"Q3112283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$F64D0E5E-829C-4285-80E0-28BEFFC7FCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85aefdfd9e1df9c867be89c6abf40cbbbefcabd","datavalue":{"value":{"entity-type":"item","numeric-id":2193974,"id":"Q2193974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$714EAEEA-84E7-47EA-9F8C-1C4FA68F4236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d67536e4aab30e1e281e7fec64117bb28829ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3305619,"id":"Q3305619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$B8569EA6-5BCB-4659-8734-CA8F18B24274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6642820$8DD92C99-31FF-4D08-BF8C-F35349C61B8B","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":"Q6642820$0C284297-717C-4953-B8EC-9EE7352AD1E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eab5d854e1d3ca20408416a0266628c117b5e25","datavalue":{"value":"10.1007/S11225-023-10086-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6642820$6A410A96-B8B0-4A22-B140-2C041188DE59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic","badges":[]}}}}}