{"entities":{"Q6865989":{"pageid":20692534,"ns":120,"title":"Item:Q6865989","lastrevid":84241589,"modified":"2026-05-14T02:35:01Z","type":"item","id":"Q6865989","labels":{"en":{"language":"en","value":"Labeled Fitch-style natural deduction for basic intuitionistic conditional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8153026"}},"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":"Q6865989$78A9377A-9125-49B3-90E0-0ED2D501EC8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc581c6d55190a9571d9d2716d1fa0ca99ec9db8","datavalue":{"value":{"text":"Labeled Fitch-style natural deduction for basic intuitionistic conditional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6865989$C5DA0D6C-457B-4D9C-9F59-E4132879C91A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"202b7457ff32360af74b3dd9b62ff9c349ff083a","datavalue":{"value":"10.21146/2074-1472-2025-31-2-143-168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865989$5C5751C0-47C5-4C47-A034-DCF6125D57D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b5437321567d9a6ecdb5f2330b072cadfb2cfd","datavalue":{"value":{"entity-type":"item","numeric-id":6865988,"id":"Q6865988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$1AE2084B-54A2-4B68-A56D-1F109AE3C2F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"149112218bdb038213a4d05b46a1244a47d21344","datavalue":{"value":{"entity-type":"item","numeric-id":6581940,"id":"Q6581940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$7A6437E4-A9CF-48F5-B1CF-1790BE00ABE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59db53334aa774736a913683f0c2c8728a8f4267","datavalue":{"value":{"time":"+2026-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6865989$25537CFB-583B-4F3B-A487-BF6EE37AA319","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865989$B3DC6BE4-861D-4AF9-8468-0B0977C3F180","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8c4d018e4d7b7d204835e54502b629c1e7ab2f5","datavalue":{"value":"8153026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865989$C0BC7E03-EA09-4356-8D31-4AB0B9579CCD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$E5D14831-4CE5-4859-9E96-6068E6DE8A5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865989$A8DD35A3-43D6-4C6D-B20A-54FB7F633A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865989$B696F634-7798-461D-B202-206F02CBBEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be095b6bcf4c62bb17c0f6a1aaab298d367e1d65","datavalue":{"value":"counterfactuals","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865989$FC468720-676F-4041-A577-1BE6D3DAE4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865989$D8C87BA8-97A6-411E-85E3-8AFF24854C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865989$DF7C3F3B-790D-4AFE-A2FA-0F7143810D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7680ae9346bf7be9bf2087d0fbd5cbb5596fde","datavalue":{"value":"labels","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865989$D705BE89-DCDF-4089-8FDD-88EB50BE632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1957add07a8088966098ce30c57956c7e0b44e0f","datavalue":{"value":"labeled formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865989$BF7FD646-C6C2-44A3-9CFF-8032CBE0967C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd19724e19cc2bce4851991963ddb7724b66863c","datavalue":{"value":"relational atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865989$F99164E6-2898-4CC9-ADEF-7AC3D58C5A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf173eda7f8615030ed915d0c812fdb6330d85c0","datavalue":{"value":"birelational Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865989$DE48B1E6-73B3-4200-9292-037325453C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865989$8FF77A05-3326-45AC-8A8B-3ABE3295E0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c045561107a6a516b90ca8a89e4754fcfd8a5fc","datavalue":{"value":"deductive equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865989$734200B8-B6B1-4121-A981-20A7538A22AC","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":"Q6865989$14C76D6C-655D-43D4-A4CF-070F7C3B916C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$6DA7DC2D-B9DB-415E-B588-9DAF3D38F953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b960fac1f7ded72ced10a44be2b8b95ee26d7b06","datavalue":{"value":{"entity-type":"item","numeric-id":1221745,"id":"Q1221745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$FBC4D4E2-8DA8-42F7-9C3C-D0B7E53E6635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03314aac9f408757da7261b5fecca931bc54ad0f","datavalue":{"value":{"entity-type":"item","numeric-id":2194118,"id":"Q2194118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$5AE66FC0-0F04-4163-828D-608E64900CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d28fe3f7b4bac8131483eef0867e5d48819c2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2291225,"id":"Q2291225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$A4A5A6F4-F3B0-43AC-9E01-E2BFD08A4601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df3ad1f8454cf565a906b63e6d46fe85aea2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1119625,"id":"Q1119625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$87E4C001-3544-4E0B-870D-F26EFB9DCF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$4AACF79C-4E67-4F87-97C1-505D1FF9E9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$CC5563A5-4FA0-496A-8146-FC55538AB9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8251ec398995dde5c44225b095079ea1fb780f4d","datavalue":{"value":{"entity-type":"item","numeric-id":5636853,"id":"Q5636853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$5C21BEA2-8BDE-41FF-A922-78DADC1CDA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093cfd75dc3edea02d51983e9c06e60238206134","datavalue":{"value":{"entity-type":"item","numeric-id":6483853,"id":"Q6483853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$DED21A72-B4C3-493B-9144-7BA2D1C08B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9d5097b0f06aafa4894f75a108b41f2c6f91ba","datavalue":{"value":{"entity-type":"item","numeric-id":3900019,"id":"Q3900019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$C7E2A14A-A8EE-45BB-AC1B-687CEAA3C9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e34dfa94c0bdaec010b4e4e608683784df612e","datavalue":{"value":{"entity-type":"item","numeric-id":6623812,"id":"Q6623812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$BD0C5683-2847-47B1-9185-E5E10E5D5B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"757013505b8764381721414c7940083793288613","datavalue":{"value":{"entity-type":"item","numeric-id":5296762,"id":"Q5296762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$BB7645EC-1561-4C60-9BEA-EE683435A53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f0cc1fc4a943fa1bb36e64f25bdc78d76156b2","datavalue":{"value":{"entity-type":"item","numeric-id":582275,"id":"Q582275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$BED36ACF-ED0A-4267-A250-98283EC0AD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa01ca4de18cdb24c4e2b85b11559278e50d058","datavalue":{"value":{"entity-type":"item","numeric-id":5612456,"id":"Q5612456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$C13A1BE4-7075-4EE0-BD3A-426A4FB14B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$FC47A580-AB01-4291-A03A-C7107E11C43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b364519c59a0fab47d2f80de511d01e3b117502","datavalue":{"value":{"entity-type":"item","numeric-id":4291036,"id":"Q4291036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$41979C5D-D85B-43FF-886E-567A38684320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2aca20f1f9a1976bf7c6d39c4e70eda83eda7a","datavalue":{"value":{"entity-type":"item","numeric-id":2000668,"id":"Q2000668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865989$DCE24488-BFB1-4C52-BB06-8A1AE105EF65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labeled Fitch-style natural deduction for basic intuitionistic conditional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labeled_Fitch-style_natural_deduction_for_basic_intuitionistic_conditional_logic"}}}}}