{"entities":{"Q6172068":{"pageid":13306956,"ns":120,"title":"Item:Q6172068","lastrevid":57216081,"modified":"2026-03-27T12:16:39Z","type":"item","id":"Q6172068","labels":{"en":{"language":"en","value":"Natural deduction calculi for classical and intuitionistic S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7727658"}},"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":"Q6172068$7A55A632-4DAB-4BAC-9954-62A6950A98AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e23ffdcedcae038388dfecf15a80b8a6d630c878","datavalue":{"value":{"text":"Natural deduction calculi for classical and intuitionistic S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6172068$093CA952-790C-44E2-9C82-81BB1A69E955","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74ea1339eae6cd63717b0c526bee26c20235fa02","datavalue":{"value":"10.1080/11663081.2023.2233750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6172068$9CF7A783-6B14-4481-9669-8B607486D437","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54493f09366d013460fab20d41ad3e9ee49fb384","datavalue":{"value":{"entity-type":"item","numeric-id":534704,"id":"Q534704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$0CDE3F86-CEC9-463E-A7CC-F66111E306A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$23A2F97A-E32F-485E-8D0D-6B28651715BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55d8636ba2cedfe85f5f46b2ba4af59bec25927","datavalue":{"value":{"entity-type":"item","numeric-id":265001,"id":"Q265001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$AB33D11B-7DE1-44E9-9695-E9BFD1C43A63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$EC4F3DC7-A7C1-49D1-888A-6C4F66309606","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec3fdc4707afeadfab464a2e4a8e3d58168b3dff","datavalue":{"value":{"time":"+2023-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6172068$AFDEB224-0CA3-4828-8119-1BB3840C4C3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6172068$94522953-1344-48BF-9F95-1FDDFBEC8FDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12df41b3a690f2c82e1fddd8521b995e58693f74","datavalue":{"value":"7727658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6172068$AD869203-FC98-4740-98B4-708C2C44C581","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6172068$13080B8B-2F1E-4EC5-84CA-3B2C8653214E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6172068$68F21DAD-8F9A-4908-BA10-5EE0700FB1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6172068$9184F603-5257-4876-81C0-4CE3D3219EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6172068$ADA173BA-51FB-4E2F-8090-076D550CC223","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":"Q6172068$65860E5B-F828-422E-835F-5C508A07A693","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be45f96fad88f98f61563b4fc04819195e80ad3e","datavalue":{"value":"https://doi.org/10.1080/11663081.2023.2233750","type":"string"},"datatype":"url"},"type":"statement","id":"Q6172068$C6D7D83D-7A1B-44E6-9ABA-43D7616EF5A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e9c08b73717747ac523fd913950e73e8a8ce3d9","datavalue":{"value":"W4385233696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6172068$C6B20471-DC1D-46A9-A739-2098B43614AA","rank":"normal"}],"P223":[{"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":"Q6172068$CB19AD7F-0510-4085-B2D4-949FD43567FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8325beea8130b47d267a7f2f8cea1b793f81443c","datavalue":{"value":{"entity-type":"item","numeric-id":1408856,"id":"Q1408856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$9560A12F-34D3-4564-B47A-2C77E3EA5981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9333e8d97419a7b68ed316b64a12caea821c0f7","datavalue":{"value":{"entity-type":"item","numeric-id":5112385,"id":"Q5112385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$D4D8F3D4-5AAB-42B9-8155-B9B0B3E5734D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$27780E40-C365-4EF1-909D-7A674B573D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$BD668ED7-579C-400D-B069-352EE695CE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e9b4d2b73c4238f89e2674297b6becf284b2a42","datavalue":{"value":{"entity-type":"item","numeric-id":2259013,"id":"Q2259013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$3DC6D039-E740-47E7-82FF-1A464D694349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15969da430dd79b9be0499621aa8cddedb6a17a1","datavalue":{"value":{"entity-type":"item","numeric-id":4935259,"id":"Q4935259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$D4DDA6ED-1BFA-46DD-B7DC-09EBC837B917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6196b21646cd0b7afc41684d31c13b8afef512","datavalue":{"value":{"entity-type":"item","numeric-id":1220492,"id":"Q1220492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$70C836A4-103A-47F6-9013-12CDE745E10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94aee6c724e89e9c64a972b4533afcd66e8b9d24","datavalue":{"value":{"entity-type":"item","numeric-id":2901201,"id":"Q2901201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$00DB93EF-05E7-43F8-BC05-375A2261B62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"325f52190b9f0f52c72c946fa62a288fdaffd2d0","datavalue":{"value":{"entity-type":"item","numeric-id":3066103,"id":"Q3066103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$D5B11C21-0E5A-4708-A416-2825648EF4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$6C931DA8-26D8-491D-B366-596415EE5694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$297973DD-016E-46F7-8E4D-A64E5ADA0255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d86df45fbc971c98e4ef4a3803e6eeef4f4d43","datavalue":{"value":{"entity-type":"item","numeric-id":4221772,"id":"Q4221772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$F4C49C9A-D7BC-4B39-BB1D-91564657A694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456dd75d0348a44324b760e22a7a1194d6b673c6","datavalue":{"value":{"entity-type":"item","numeric-id":3455766,"id":"Q3455766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$2A044CBE-3F59-4EB0-AE10-54A0BAABFE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef20f1499e864edf971853a1470c5e22ec295366","datavalue":{"value":{"entity-type":"item","numeric-id":344801,"id":"Q344801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$442E038E-1D62-43D1-BB87-345A1F249802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744280890ddf64d6046b1413aebd46cba1d83b47","datavalue":{"value":{"entity-type":"item","numeric-id":4633639,"id":"Q4633639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$35DB9C11-B226-4DA9-A352-98AABB1C3208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10a9b90c63accaf857efa119193411b3ba7440b","datavalue":{"value":{"entity-type":"item","numeric-id":2082257,"id":"Q2082257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$3FFBCDAD-1400-4296-AB96-FA039E9C4F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$17995D6D-8027-4EBD-972A-DA8B7F79E50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"022ce4fd4962a7f5933c422fcc225c3e796bf27f","datavalue":{"value":{"entity-type":"item","numeric-id":5034227,"id":"Q5034227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$8F5206AE-9005-4821-AA74-492900066B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc24ac6fcaeed52f0688444672bf488ccd875cc6","datavalue":{"value":{"entity-type":"item","numeric-id":2478553,"id":"Q2478553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$3AFD335F-24AF-41C3-9555-B6DA19006813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e788202b4da67662f58f920f8e400fe73756e51","datavalue":{"value":{"entity-type":"item","numeric-id":1207545,"id":"Q1207545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$832B93B3-74BE-4A88-BD35-D0C891ADE230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2935c4b500510e6236922988f2719b77d5497a","datavalue":{"value":{"entity-type":"item","numeric-id":4286223,"id":"Q4286223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$0989E30E-E551-4538-9A71-7FE70A69BF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a248c1558ea18b257dceeabf8ac8b65cd67ee2ac","datavalue":{"value":{"entity-type":"item","numeric-id":2901197,"id":"Q2901197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$B868A4BC-C573-4CE6-97FD-05AF3E1E6A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd73508ffcec7f56306ff6352176692932272ad7","datavalue":{"value":{"entity-type":"item","numeric-id":3103980,"id":"Q3103980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$0313DF21-E8F9-488A-B546-A5EE1CB30163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bbc1ac5f04aa832026dc6fbd6dde75bfad7660a","datavalue":{"value":{"entity-type":"item","numeric-id":5389322,"id":"Q5389322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$2D425FA5-4613-4D9C-919C-27AE45AB48F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a859f7e941858c199e0c28aa358d69b1b1269302","datavalue":{"value":{"entity-type":"item","numeric-id":5394569,"id":"Q5394569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$D6F15297-DA7C-42D9-9A4D-40959D6BD793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce41d60cfb93a7d9f318710e34ad3627406dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$B3A693B7-2BCE-43D6-9CA3-CE5DCADA8220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$A986B954-3F69-46C9-B233-6004326978B0","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":"Q6172068$8A16369B-A43F-4392-8783-98E8A8B9B85B","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":"Q6172068$44D377E3-7AB1-4DB7-A8F4-EDE59119EF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1bf82999819cf4b96ab775b70078b417517dbf","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$D587A59E-59E3-4400-95C7-61009F7C8D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$5783BA3E-9633-47E4-B793-C7F204A4C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$E77B6EC9-C037-4CF7-9BB8-B84AE7B7DDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a31196a28728de7de500ddb75068ac398d6c3cb","datavalue":{"value":{"entity-type":"item","numeric-id":2401638,"id":"Q2401638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$725DF309-0A4F-49EE-81FC-58862F27D6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca589eec01eae6a2d8cd0aa3293cc14bce9fb69","datavalue":{"value":{"entity-type":"item","numeric-id":4860654,"id":"Q4860654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$89DD3BCE-9F3E-4952-AF65-F0EA67307FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"837a5a2d37dcf3b9196d8d2cd800244f6a771ac7","datavalue":{"value":{"entity-type":"item","numeric-id":1283134,"id":"Q1283134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6172068$234199F3-FDD7-4687-B7FD-EA84D40BBC05","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":"Q6172068$1A52F62C-ED68-4DF7-9686-6C25BAF227AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6172068","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6172068"}}}}}