{"entities":{"Q6200461":{"pageid":13335349,"ns":120,"title":"Item:Q6200461","lastrevid":56881365,"modified":"2026-03-24T10:22:01Z","type":"item","id":"Q6200461","labels":{"en":{"language":"en","value":"Structural Rules in Natural Deduction with Alternatives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7811411"}},"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":"Q6200461$25B5A74A-0C00-4BB3-AD68-B60FC8B5AF69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da7e900be46a19c257cae9afc72b6a568ef6a058","datavalue":{"value":{"text":"Structural Rules in Natural Deduction with Alternatives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6200461$74405D18-4967-4F78-A387-DF4E22F519A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b413500df1ed11b6c86485fe4c1f70e52bca5a03","datavalue":{"value":"10.18778/0138-0680.2023.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200461$D36A454F-F381-4EAA-A9A8-A6043320B3BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc74f53862f4f290e2401f492556ea9e0dad7b1","datavalue":{"value":{"entity-type":"item","numeric-id":450955,"id":"Q450955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$09B26F56-E9B8-4E6D-83B5-4A6072FDA191","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$B84C611C-AEC1-43FF-8B6D-B5B2915E321F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b970591b68566c443b1d8071359abaf71557caa3","datavalue":{"value":{"time":"+2024-02-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6200461$C7A232C5-717F-45B9-A722-71314E3D051F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200461$E04146AD-6D1B-44D2-945E-471C9896C38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200461$5A8FB4A4-4BDF-4305-8432-51AA26D94B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200461$601379F9-3F56-446A-949F-964E2B0EC746","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8de1189613de090cec97eb28235f26c1e4e65adf","datavalue":{"value":"7811411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200461$A2713E5E-27DE-4A14-B66B-4B53EE248625","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200461$9FDE291B-2EBC-4D92-B584-1C75711CF5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200461$021A8DC2-80ED-4677-B40D-B397A4BA8992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200461$E12041B6-6964-4A96-A225-BE81042CEEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01c3df91d7a5948a1de1cb6f672819437bbfa85","datavalue":{"value":"Bilateralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200461$84FF805C-ADD1-4719-9A86-2AFAA43E23B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200461$F64BC1F3-9CD9-49CA-9FE2-B24784903A64","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":"Q6200461$47C71648-CD3A-4B07-B3C8-05CEA65392ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b04368a5f445dd7b5814dcdb5ee2ee1078361f27","datavalue":{"value":"https://doi.org/10.18778/0138-0680.2023.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6200461$943D445A-9B78-45FA-A9E8-734451525DA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"678fb46fd049a5935ac0c76707f85bb16c01414c","datavalue":{"value":"W4384696885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200461$4C9AF22A-7D4C-4210-AC40-8AA2B899E010","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$75C9828E-C483-480F-AFB0-B49A6D9143E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b01a532bd7d14159e85d582a42f222a30c85273","datavalue":{"value":{"entity-type":"item","numeric-id":3007265,"id":"Q3007265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$F4EAFC0C-24AE-4526-A759-DF65AFBECDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$E88815FE-44F5-4DBF-9C27-35E07A9B1E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3983333a858649adc034fcf21b530eb2ef17dbd3","datavalue":{"value":{"entity-type":"item","numeric-id":4648460,"id":"Q4648460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$9DAF1450-A240-456F-84BC-FE318E950E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66101d7c220497845264a62fc655d0a0090b58b","datavalue":{"value":{"entity-type":"item","numeric-id":4194954,"id":"Q4194954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$FDFDB33F-942F-4A52-B776-92B748FDDC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cecbbae9a22bacdf260e9386571dce3ff51e34","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$38CEBD32-2B29-4E91-993F-38FF193BB965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc99757941282064ba0a5d5a2730a185cd94c27","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$2729FC60-1B92-4CFB-8C81-282244C87494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$E2EAB27D-7618-438C-AE7F-C88F33197777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa835630938477c822be55302e9ff7c75f348e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$1CC9D259-BE8D-4480-BCD5-DE492D14190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$461EBC80-8006-45A2-92CA-B7256FFA2FAD","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":"Q6200461$8984DEDC-1ACE-44D8-9CBF-F676193087A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd4fe078402ae4d23269474c9171faf3a7ed586","datavalue":{"value":{"entity-type":"item","numeric-id":5483305,"id":"Q5483305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$54CD2ADB-D119-43C2-8DF0-55683B5EEC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d33dca22b26d8ad3a16d3e39a17e8d044720515","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$2E7C7C58-2CB7-42FF-A605-49B91AA48C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5170845ad4d274290ddb99e4bb6d6d6f27905124","datavalue":{"value":{"entity-type":"item","numeric-id":4444939,"id":"Q4444939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$FB2CC67D-1969-4FE5-9514-E85ED05D31E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$D4CFCE47-5EE3-4B76-B1F4-3E55F9C6040A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127201fbf302215c7fd11497f456c9a22fe7a41f","datavalue":{"value":{"entity-type":"item","numeric-id":4497444,"id":"Q4497444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$922C16A9-72A5-48DC-AC81-5134D00AD983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$4D7EF009-CD17-4030-B397-7DECB20756E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$022F532C-D669-441D-AF79-F497EEFF163A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$31BF955C-5FF3-45D6-882B-9C97E6749D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82dcde898a9023fa531b48d50cba4aee84e53250","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$7DBC0756-C256-4686-BF0C-C7FE1CC2D904","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200461$095C00CA-6257-44CC-B69F-12D5431F82D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6200461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6200461"}}}}}