{"entities":{"Q6845918":{"pageid":20572183,"ns":120,"title":"Item:Q6845918","lastrevid":84279191,"modified":"2026-05-14T14:09:31Z","type":"item","id":"Q6845918","labels":{"en":{"language":"en","value":"A hypersequent calculus for classical contingencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8171301"}},"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":"Q6845918$EA983BA3-1921-42AE-B40E-B2C9DE1C9B84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1251d0bcb0eae2d3948f61b9e54e0e1299435c4","datavalue":{"value":{"text":"A hypersequent calculus for classical contingencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6845918$B961A0E4-EED8-4BB5-8B60-DBFCD3E7FB35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13c1265d56e9f20ff529dd29be83ff476ff5da66","datavalue":{"value":"10.1007/S10992-026-09832-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6845918$345A224B-1865-4877-A5D3-934204413D6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bdba2590022c90a202dc79d5f2fc1152466ada","datavalue":{"value":{"entity-type":"item","numeric-id":472803,"id":"Q472803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$E1A21257-12FD-4678-A6FD-836193D224A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6a7c10e0ba1345e2b98c19fb3491434a55c3f49","datavalue":{"value":{"entity-type":"item","numeric-id":185579,"id":"Q185579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$D78A4A7E-30CD-4434-A67A-B9A74C0DFF73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$ABDDD2B4-60B2-4538-A5D7-CB28F92733B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0e78489bbe47ef60a61d243e2d28e513b4676ba","datavalue":{"value":{"time":"+2026-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6845918$08ADCB3F-B18A-44A4-B444-B4C270143106","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6845918$35E1EB74-5203-438C-9344-C16AC39856E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42fa3da3e3db460625abd9fadd5d093215131fbe","datavalue":{"value":"8171301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6845918$2EFE767D-7C0C-4B4C-BBC7-E15DF61D6336","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$5D0A2481-5538-47E0-9888-DB91FFBDE1D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6845918$B033A82D-E788-4C06-B7A7-1909050DCDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da22f0a2aa4e372cddf35d638f9870cd1109e6c6","datavalue":{"value":"antisequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q6845918$6D89880C-C27A-4A9F-9237-1177E8B7D5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3b78f3149db7c0dcc97ef2bd019728dfc4b35a","datavalue":{"value":"hypersequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q6845918$B4C7CCA2-0539-4B53-BAAA-1C0B2E5550FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9c172220d9f234e6e7acd82a759b25bfea6d19","datavalue":{"value":"contingency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6845918$664FF848-3545-477F-9F54-96282302B0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6845918$FC9AD829-EB27-4D9D-BEE6-66A690836C54","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":"Q6845918$6BF61CD2-4964-40BA-9161-9A899B53A11E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a40ec4985a9da9bbe9c2e7f75fdde13fbae5ea","datavalue":{"value":{"entity-type":"item","numeric-id":3469089,"id":"Q3469089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$C192DC9E-1146-4049-9372-29256F47A0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$A4785AB1-4E8F-4392-BB40-8F8418E898E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a8a36327ea86df5522203c0e0180d9b3bcc5cb","datavalue":{"value":{"entity-type":"item","numeric-id":1311413,"id":"Q1311413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$48702E3F-D1B0-47F8-9341-C3F3C7AC49D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$09431606-7A0C-4082-A9D1-D80B5F1C2EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880d41332430dd5e6574ad173ae1b0cee5f623fd","datavalue":{"value":{"entity-type":"item","numeric-id":5738955,"id":"Q5738955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$4A54EBF8-4AD3-48F3-8FEC-83C851A7D1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f30ce8783bc34ee48f63222fd6e512cc0f2941","datavalue":{"value":{"entity-type":"item","numeric-id":3629239,"id":"Q3629239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$1A22F89D-6CDF-49AE-B4E8-918EB4A4A014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1d64bc73ed17437a58d1ca273d4c7387dfc6ba","datavalue":{"value":{"entity-type":"item","numeric-id":3537540,"id":"Q3537540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$DCB61920-2C9E-4F1F-A9ED-15417687F8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0766a7492cd5748706edf0fecd8cb2e432ebb13f","datavalue":{"value":{"entity-type":"item","numeric-id":4644486,"id":"Q4644486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$EAC69287-F5D0-4AFE-8D7F-C5C82D06CBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19885ad82a60ee654cadddc05043842b1983e8d0","datavalue":{"value":{"entity-type":"item","numeric-id":6146287,"id":"Q6146287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$6971AD2D-8ABB-4B1C-980D-260378AA9621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296bf5ae7c5c1f4ce919b1813197ac569c30f6a8","datavalue":{"value":{"entity-type":"item","numeric-id":750414,"id":"Q750414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$69CD1D1B-69FC-4BB1-AAEC-310BDCB33831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$E8841FF1-87BA-4589-BC29-CD866FECF46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b545a3b78940c4eaf91abdb8f66855858430c8a9","datavalue":{"value":{"entity-type":"item","numeric-id":1327486,"id":"Q1327486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$5B343533-8745-415C-80E4-E9AA8463B734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8282ae76075de46eda753bf93260923ef326c373","datavalue":{"value":{"entity-type":"item","numeric-id":6601769,"id":"Q6601769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$222A7FA4-F44A-4A81-A4AC-05399DCBEA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$414E1062-419F-42BE-8CA3-4821A54ADB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72a6c13bf9e4f2fa76a8dd0fc6b874ebdebb308","datavalue":{"value":{"entity-type":"item","numeric-id":2540260,"id":"Q2540260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$F2ABF05C-E919-4314-91B8-714A8E8ED649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9153e7c022357b8637fc68489b3bedffafee6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2562170,"id":"Q2562170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$FB9882B3-59D4-4697-8B0C-5B5D71A4C7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e960397100e2d646f82bc51dc81753f18d21cb9e","datavalue":{"value":{"entity-type":"item","numeric-id":2425353,"id":"Q2425353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$0E94A12B-6BA6-4A97-A611-6D133EF7CCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b557ba22f033313fc1b288821f5dd881be2de00","datavalue":{"value":{"entity-type":"item","numeric-id":3389493,"id":"Q3389493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$4EDA831D-2BC6-49C0-9E3E-F1DCC2ECED85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ed30a052fd205d7275a78c3f635a9df973bb30","datavalue":{"value":{"entity-type":"item","numeric-id":7004097,"id":"Q7004097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$00605F6E-31FE-4AA8-A113-2D85E7CE01C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516aee525c695086801d4e3bfd13a954945acab7","datavalue":{"value":{"entity-type":"item","numeric-id":6913382,"id":"Q6913382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$3BB8E89E-8E8D-4976-A310-22BD7DEF43AC","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":"Q6845918$CC7FC577-BF0A-47A8-AE5A-0DEFA299F4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd8eb0d1fd23258713d1836bc92d22cc3e430cc","datavalue":{"value":{"entity-type":"item","numeric-id":2144620,"id":"Q2144620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$C6B8578E-3B29-443D-875E-7A12CA6534F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ba0ed5e5245c95553b1f1982383f26888724d5","datavalue":{"value":{"entity-type":"item","numeric-id":2219139,"id":"Q2219139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$3503A854-B244-44F5-94C0-768A7597494A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727533a3d0d816797bcc34128bff8fa0002535b8","datavalue":{"value":{"entity-type":"item","numeric-id":5883190,"id":"Q5883190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$88ACDFDD-7CE0-4CDA-9571-BB603A0B6CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40bcb37037eac81bc8ae1afd582b32c19d4ac12","datavalue":{"value":{"entity-type":"item","numeric-id":6146288,"id":"Q6146288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$C5C5CB75-15DF-418C-84F3-645A1C5F1602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d83dd170cede31bff4ad71beb34f902f595b2e2","datavalue":{"value":{"entity-type":"item","numeric-id":3486541,"id":"Q3486541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$684B30E3-800C-4227-A35D-142CE7DFB685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$E74FEBF0-463B-49ED-821B-CA3CF8D28435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$7408D33C-87CA-428F-9697-F63EFC866D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf1268c0bdc295d59cb5fa9a1cedf1ced88d8db","datavalue":{"value":{"entity-type":"item","numeric-id":2735691,"id":"Q2735691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$B838A56C-DF0E-4C25-8DA7-8569AF35E330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e776a8424007b7fa5e45eaf6b86db6d5025cc6fe","datavalue":{"value":{"entity-type":"item","numeric-id":2446684,"id":"Q2446684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$80C402FD-C32A-4A61-B48A-4952CCAFA792","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":"Q6845918$881D76DE-82F5-4F7F-9935-16E165B8D59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d026c9a1e39e4a40e139b4d29b1a36b03e3846a","datavalue":{"value":{"entity-type":"item","numeric-id":3358704,"id":"Q3358704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$1545BAF3-A8FC-4D2D-8AAD-9D1CD62975F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83bc38abdf1294a31fe7d1465a18b989773582ab","datavalue":{"value":{"entity-type":"item","numeric-id":4662883,"id":"Q4662883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845918$9F33D4F0-4BA9-4905-9855-DDE906A254D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A hypersequent calculus for classical contingencies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_hypersequent_calculus_for_classical_contingencies"}}}}}