{"entities":{"Q2106873":{"pageid":2117616,"ns":120,"title":"Item:Q2106873","lastrevid":57533910,"modified":"2026-03-31T07:32:03Z","type":"item","id":"Q2106873","labels":{"en":{"language":"en","value":"On the proof theory of infinitary modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7625358"}},"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":"Q2106873$8F7EE9C5-792B-4AAB-8582-7CCB472F53F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68944e76f6653a0d6786fde958ed43fe6aa13d36","datavalue":{"value":{"text":"On the proof theory of infinitary modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2106873$CCE45239-450B-49D9-B06F-1487B61F5E54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7eb22a3904380777df510def911bb4e3eb3352","datavalue":{"value":{"entity-type":"item","numeric-id":2106872,"id":"Q2106872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$FB8F1FBC-BB0D-43CA-8C98-F7C7A95F5936","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":"Q2106873$19E41A92-03A4-4FAE-A897-3571E5E591E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff554c38a929f96d81bcf5843c23acf6139d71e1","datavalue":{"value":{"time":"+2022-11-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":"Q2106873$9DBDBEE0-E6D6-4930-B638-5EA7C76DC515","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106873$EECC48AA-C03D-4884-A898-11F7C9D1ADC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64791518d77f3eea211185a2f34ea6ffcc17bb35","datavalue":{"value":"7625358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106873$938201D5-BF71-4CE6-9447-F060300A105C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106873$7A270FBE-7A0F-4581-A850-6EAE4E3A0424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106873$300099F2-3516-480A-B378-49B34ADC2BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106873$4C0F72FB-352F-4F53-B7B4-4105C3AA39A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6eaceb3c3d9dd3c15bb339405c9c9aed38e70a","datavalue":{"value":"common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106873$948EF715-12E2-4B85-A668-F405D746834F","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":"Q2106873$3B932EFD-FB74-4E4C-8428-60C1FA90AED7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4571afa676646e2ea373d6af1d9244b157920380","datavalue":{"value":"https://doi.org/10.1007/s11225-022-09998-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2106873$C9C510AD-C966-4310-9281-7238D3A096DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb9548c79ce5bbf13c5f3fb89fbb8e11fde01ea7","datavalue":{"value":"W4281696559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106873$945DCB9C-642F-4B60-8172-568B7D33F341","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3074cfbcd8cdd52c5b2772b2a8bd277ee6390c0e","datavalue":{"value":"Q113900495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106873$F53EB8E7-07A8-4C9E-B5F4-67750A32ED90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$B874C922-61C2-433C-A55A-7A4916ABDDDB","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":"Q2106873$03B09BE2-9A47-4DA3-9A26-DEB5706CBE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8c566f2b6cb83f15f6eabe2b8d19b7b1d0849d","datavalue":{"value":{"entity-type":"item","numeric-id":1024553,"id":"Q1024553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$B6BA7038-EA23-458D-823D-B1D85B3293AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$99B45728-E74F-4923-9903-D16577319BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$8446AD89-F60A-49FD-8BF3-B42CADD5AB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$8B03EE6C-F316-4F63-9099-2D81D45FD8E7","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":"Q2106873$DB15F862-03BE-4605-8084-4F2AEC2FDDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$516EAFE3-928C-4404-8593-F6B0A9C2B006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd0d9143bc6830da1b08fbc5d1e9c1b297dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":5224584,"id":"Q5224584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$554C8C71-BD90-4F73-8449-5E2F10F3DA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a64bf456ad1948fdc9d07726fbca9c098187a1","datavalue":{"value":{"entity-type":"item","numeric-id":3305558,"id":"Q3305558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$08FC1551-CCAC-4809-8540-70BF08791CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$157D24BC-0A0C-481F-AE6A-0785AFD1DFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$B24A8F3E-AC43-4CE3-8857-63D16C6B4123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$0D6E53A5-1062-4E22-B44D-F7C885B16336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a325b995e299efe001d07ca3235a06c3f8898f","datavalue":{"value":{"entity-type":"item","numeric-id":5020172,"id":"Q5020172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$BE356AB4-C65C-4D45-9CB6-D39557A488D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$883DD19B-0CF2-479A-A66D-6E8A0BCECD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$49E00EE3-8B53-4CEF-A6F9-7BD3C7C6BA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e221fb6ed46f2a9b37a51c8db37bfc0da2b6e6","datavalue":{"value":{"entity-type":"item","numeric-id":4531092,"id":"Q4531092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$049A220A-EFC5-48E3-882A-E4EF9AD3DE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad2df63ac76dd61c0201cd452c5901852447d98","datavalue":{"value":{"entity-type":"item","numeric-id":1102267,"id":"Q1102267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$B7357B01-9E9E-46D4-B67F-6452AF4DA7A8","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":"Q2106873$E5F73808-38C7-4C62-B66F-8961041681EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad4905c3ba5f825b1c47112f2dfdb7b9a3bd4a5","datavalue":{"value":{"entity-type":"item","numeric-id":793721,"id":"Q793721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$D6AB9630-30D0-4B0D-932D-0E4F85AE8DD0","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":"Q2106873$EF310BA7-640A-4361-84E3-44900C9B456B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3e71c633403913bc22e19f434fa22ad549f763","datavalue":{"value":{"entity-type":"item","numeric-id":701294,"id":"Q701294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$B49B5BA4-736D-4290-B802-74147B88C0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0307b49f10a108c30ed139b15513e36193fd747e","datavalue":{"value":{"entity-type":"item","numeric-id":2743647,"id":"Q2743647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$54EC3C7F-E912-4ECD-B65F-5917DFC02A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df112f62a43a9d44047fd2e019422f51de9dc089","datavalue":{"value":{"entity-type":"item","numeric-id":4465172,"id":"Q4465172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$243512BA-FE9F-46AA-BF5A-7264802925BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12efa2706b28fbf4a199dcddaf1c5aa0a7e308fa","datavalue":{"value":{"entity-type":"item","numeric-id":829760,"id":"Q829760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$81F85520-2A59-4DCB-B583-57458F804F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68cc09804f121295a28b362fb5ddfa4e78aab0f","datavalue":{"value":{"entity-type":"item","numeric-id":5163982,"id":"Q5163982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106873$E50C1B03-FBEF-414B-8196-FC5059C5A0FC","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":"Q2106873$FB819948-14EA-4492-8020-196433B35E27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3dd118c4b7e8318e26d6e6b0bffe9fc659125d2","datavalue":{"value":"10.1007/S11225-022-09998-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106873$B968D752-E661-49F6-BF8C-186E383777A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c546402ab1214da4df5dd86fdaa1acfb2325b0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3305558,"id":"Q3305558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4577578b617332159c9f1f33de9568ab772ef449","datavalue":{"value":{"amount":"+0.8465292453765869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2106873$77FD341B-6DFA-4A31-AD27-66FD80D212B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8cc3ba85a7bfbc723b79ca15f082559c7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6175d8c29dafdf9a3bdff830024fe50c3f6dbf91","datavalue":{"value":{"amount":"+0.7902906537055969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2106873$9EEC3FE4-0A4E-4F51-BAFE-C0700AAE1B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a5208f7b785c36635b36163c42f1897fb97de7","datavalue":{"value":{"entity-type":"item","numeric-id":2743647,"id":"Q2743647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8464094786df4c49fa9720901112a3f96ea081b6","datavalue":{"value":{"amount":"+0.788175106048584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2106873$6A9A5598-A627-412D-98EB-4C8058178ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5ec32bb26c0533c9e4e2724b0026441189ad14","datavalue":{"value":{"entity-type":"item","numeric-id":2303578,"id":"Q2303578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdff2c2e43bbb97c3aeeea5606c53dec78cc689","datavalue":{"value":{"amount":"+0.7689431309700012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2106873$62BBFE20-CDD1-4245-9D28-3AB304CDC7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef8e17c2b955cbf96459b47edcbbdf1745596c3","datavalue":{"value":{"entity-type":"item","numeric-id":4857866,"id":"Q4857866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfc1671e5c72dfa557b37b75dbe31762b9abc43","datavalue":{"value":{"amount":"+0.7682593464851379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2106873$708B4FA1-43B3-45FB-868A-29A4A3686183","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":"Q2106873$726C6B19-07E3-42E3-BAA8-C8ABF5273138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2106873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2106873"}}}}}