{"entities":{"Q5891665":{"pageid":7927460,"ns":120,"title":"Item:Q5891665","lastrevid":51515081,"modified":"2026-01-18T14:26:19Z","type":"item","id":"Q5891665","labels":{"en":{"language":"en","value":"DEL-sequents for progression"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6058070"}},"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":"Q5891665$9E3EAD77-B550-4534-91E5-6FABABF77317","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf0229168e2de8d343a797b54e834c7efac5ce1a","datavalue":{"value":{"text":"DEL-sequents for progression","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891665$E311B9E7-1796-4C68-ACD3-4CCC43FC54E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b4a762ec78e8e4ffe7e453ec93f654876de9bf9","datavalue":{"value":"1242.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891665$4AA4490A-CF61-4B4B-8D23-6D97BE3E7058","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389e6ea4076c71ded9da78395df572fa791aeee0","datavalue":{"value":{"entity-type":"item","numeric-id":497426,"id":"Q497426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$2716F3E6-CF15-4FD2-8154-E444017623E6","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":"Q5891665$C2E9062F-A180-4E3E-8375-AC9FB562FBC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84ece3a61d19e8a79724038a31d8c2f410ad0a43","datavalue":{"value":{"time":"+2012-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891665$5B546CB4-AC96-40AA-BCA7-348D756DA088","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7cf73909ca98a96e9f8f8cd768c6c35e6920c50","datavalue":{"value":"https://hal.inria.fr/hal-00674150/file/JANCL11.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891665$ACC5D193-57FC-4CC5-8186-3298F47FEDAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891665$346F7CA3-64AC-4436-8E40-6AAAF6C09FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891665$1AC1184B-F90E-465F-BF95-EACB2436F560","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ead2c5e4d20797ee63995288453e0b756f3589f0","datavalue":{"value":"6058070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891665$340DED3D-4554-4BE4-A35E-34481A7F2547","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891665$5BA204A0-E069-4D79-9FC6-CB222DDBC60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedeaeac111061df471ac114d83c77ac38d00603","datavalue":{"value":"belief change","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891665$C81C2E0A-47BE-4B47-B1B9-1BD14CDD13FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891665$9C2FBD0A-49EE-4A33-A4A0-722C93D9BD35","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":"Q5891665$B3906CB8-7CFC-4675-915F-530F7E3BABB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6dbcdfd3dbe98901f51cbbd89a3913caf651e1e0","datavalue":{"value":"W2046498902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891665$90CA4A18-6D6C-411E-857C-E2F8F3E994BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$B4E831C6-4ADD-4A66-9BC4-29B0BA16BAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99148291712b1d2a806301b5f888c393453fa03c","datavalue":{"value":{"entity-type":"item","numeric-id":3647262,"id":"Q3647262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$5E286B0B-2EB0-42C8-81B2-F0E0A9AC406D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1968320b181e369a7ebe1c0a5431b2c6015f0723","datavalue":{"value":{"entity-type":"item","numeric-id":2825404,"id":"Q2825404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$0875EEC1-359D-4383-ABAD-A0E3EDB417EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62777a2da8f74b59bd65a59b0a7873d6300032f7","datavalue":{"value":{"entity-type":"item","numeric-id":5431612,"id":"Q5431612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$A799710D-0BF6-4811-BC09-EFD8F5B3464B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$18814801-1501-46C7-9098-C97B38DEA510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c5a57c9080de810108abf5efb42a501eb770e8","datavalue":{"value":{"entity-type":"item","numeric-id":4917986,"id":"Q4917986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$B1EF8078-48CF-4164-AC16-21980F3D32B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62010ffa69a7b2eb45ce539cf9eeb7e887dc0b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1024132,"id":"Q1024132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$C8F269DF-95DA-4376-AA8C-A67AAA13AEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd685a194efaee92b4d001dce54b38629015c163","datavalue":{"value":{"entity-type":"item","numeric-id":3647267,"id":"Q3647267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$8C5695BF-75B4-47AA-8771-0B69D726AB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823f0720e7122f5251590648961841e2e5fbcadf","datavalue":{"value":{"entity-type":"item","numeric-id":543607,"id":"Q543607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$1DA2CB1A-CCAF-4BA1-BCC6-8BFF8222AEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5323be5ec0ea7ed7d279c26a250277ff544aed73","datavalue":{"value":{"entity-type":"item","numeric-id":1037376,"id":"Q1037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$87E479F3-4BB0-4DC2-9390-9E56207793DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6827f508b8a787eb0961b9f4c9be3d300c26dd","datavalue":{"value":{"entity-type":"item","numeric-id":1035842,"id":"Q1035842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$B9D6906F-2E87-4FA8-8341-DF2B8223E596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$47E77628-CC27-4C24-A8E8-FC5770239602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683bec83ae060c05be0e89f306d6c0a523beab7a","datavalue":{"value":{"entity-type":"item","numeric-id":813422,"id":"Q813422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$5923DF48-0A38-4329-BFE3-7E2BBFC1EE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$D7DAE148-23D0-4FDD-A238-7A92007F4D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c54c33914b602868fbdd6c95158bd6014f902b6","datavalue":{"value":{"entity-type":"item","numeric-id":3006113,"id":"Q3006113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$2742F663-5687-41E9-9D9C-457FBD03FCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b9cf7e651a575d29d1d99f98795d4aba044aa4","datavalue":{"value":{"entity-type":"item","numeric-id":2555060,"id":"Q2555060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$A0D6A5F0-0EEC-4691-ACE6-16DE37EF24E8","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":"Q5891665$6B3C9415-5526-4E6E-B73B-08E5D221D382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$75B16A24-8AB8-4815-A3F4-0B6CF0C05909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7cd9573e04579ced6db98cef8870ef9c20170e","datavalue":{"value":{"entity-type":"item","numeric-id":1189876,"id":"Q1189876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$76F28786-5D33-478B-ADB0-E06DCE02DBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ec62fce4f4d33f9c543fc98da906a3f365b829","datavalue":{"value":{"entity-type":"item","numeric-id":3647272,"id":"Q3647272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$2EB3E062-22B2-4BF1-B149-BD0BEFDAC7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838707bf4de0869fefea7874f2733fcafb4365df","datavalue":{"value":{"entity-type":"item","numeric-id":4262605,"id":"Q4262605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$6B67138A-EEA5-4E1E-A700-C23C4BF5815B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3255f9e862363da7e78183694412963378f10cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2462682,"id":"Q2462682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$89001D5E-940D-419B-B9A7-248FE83A17F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891665$0F87241B-F90E-4400-9BA8-FD37D9297899","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"402ed1d16330df2475fca74bc1e66630372960a6","datavalue":{"value":"10.3166/JANCL.21.289-321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891665$63A13251-8D46-444B-A20C-957D523EFF33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202122ae804d407fb5d3511e74d7d4203069f192","datavalue":{"value":{"entity-type":"item","numeric-id":4583175,"id":"Q4583175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba15262efa280df771c4ed4785f18440f3b4bd14","datavalue":{"value":{"amount":"+0.9372371435165404","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":"Q5891665$BA0B6A8E-1371-4518-9AF5-E63CB4475CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0eabfeca225980e9bbca8ee251de7fced1add9d","datavalue":{"value":{"entity-type":"item","numeric-id":2915058,"id":"Q2915058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ae1fce45c437818c8d69db9d08dbf0f24727d2","datavalue":{"value":{"amount":"+0.8391940593719482","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":"Q5891665$43E70569-9E4C-434A-B8E2-1FFC6B69A1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5eecd8149555cd54a1fc777f99ee0e475ea0f95","datavalue":{"value":{"entity-type":"item","numeric-id":2825404,"id":"Q2825404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8acbce97a35385c0bc9af91936e1ad5c72ca7515","datavalue":{"value":{"amount":"+0.8192944526672363","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":"Q5891665$869E4902-CA1B-4ACF-A97B-EA5092165E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2efbbc36b9d91a820558fe330a8c1a16a8e53998","datavalue":{"value":{"entity-type":"item","numeric-id":2957972,"id":"Q2957972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e888f6cc6baef22e378fe2e7ba3e203c84235f1","datavalue":{"value":{"amount":"+0.8128207325935364","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":"Q5891665$6058B325-DC1D-45C4-A04C-1C90A9E684EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96001cc2a6171f9c36554272d41877ac0ea5f6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4518805,"id":"Q4518805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b31d9ba6488c79ec9fe9dc88c783161386e9653","datavalue":{"value":{"amount":"+0.8026336431503296","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":"Q5891665$1C0FD4AA-1EB4-46AA-92A3-589AAF454693","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5891665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5891665"}}}}}