{"entities":{"Q2873670":{"pageid":2884390,"ns":120,"title":"Item:Q2873670","lastrevid":83621411,"modified":"2026-05-07T09:21:16Z","type":"item","id":"Q2873670","labels":{"en":{"language":"en","value":"Admissibility of cut in coalgebraic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250406"}},"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":"Q2873670$F784950D-8F1B-4062-BC6D-35AC01E828B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48c656c64e8f5a46c0df8676beb490829fee3fdf","datavalue":{"value":"1279.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873670$9BF05B0D-51D2-4BA3-8DA8-6BFF0492AD0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$C36B8683-BE27-496E-8CE9-B784109B4E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$555074E4-61C0-4393-8FE1-AA1482277712","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$2D35F068-134B-48E8-95C9-9BC82B24E131","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873670$EE7F7D1F-1837-43D1-A126-7415CF7952FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873670$69950263-B02D-4E51-832B-32B4583DFEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873670$5BB148EE-93EA-4644-974C-AE4A81EC6DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873670$52292920-935D-4FF1-BEA8-ABF10E0E8436","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"606740681457be547a7b72c8b42bdf8504b5dca6","datavalue":{"value":"6250406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873670$A5DB6C07-85FA-4280-BD8A-05CB42962A85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873670$45687451-F14F-4A92-A1FC-B4FC2253AD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523eb4dee4e0de4d796d9cbea25be1afad3f8a00","datavalue":{"value":"coalgebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873670$C346F2DF-F4F0-4D34-AE4A-7999CE9E4CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873670$4607B309-E764-4030-9E21-F05F6C99D19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873670$029A9DFC-A2BA-488D-B3FE-630767034700","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":"Q2873670$FF62E948-F1B0-4606-9694-ACE057CE8C65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f80dab1757fc009306a0733401f7ecf7d6a13bf","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.05.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873670$D34CBA2F-F726-4E20-A62F-86AC7DA364E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b409a53a5d9a3aad2f7b52b5df23731ae84c53d2","datavalue":{"value":"W2104166006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873670$0A0FCCAA-F35B-459B-A66B-88CE3C0D0F4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee242edfc0ce2685f2a03ec3be9ee5cb8a12c1d","datavalue":{"value":{"entity-type":"item","numeric-id":2563456,"id":"Q2563456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$0D4A4346-92C6-4BDE-9277-2156BE7E8CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1dabc3caf0d6caed15aa8ccf537c1dbb970267c","datavalue":{"value":{"entity-type":"item","numeric-id":4364506,"id":"Q4364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$62CDB67B-0F32-4734-AAF8-6CC9365DC06F","rank":"normal"},{"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":"Q2873670$A1DFFF7F-AFC3-4D63-BD6A-86EE73CC0D74","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":"Q2873670$45BD241B-57EF-4E57-A670-FE6EFD19AE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f1a60c6e3806b7702203145e0970dcda3051ea","datavalue":{"value":{"entity-type":"item","numeric-id":1337606,"id":"Q1337606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$025C18AF-103F-4886-886B-DAF35D2D48E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9de50a3c0bf50298cfefbe6e7d19e04715a61d","datavalue":{"value":{"entity-type":"item","numeric-id":4518916,"id":"Q4518916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$8CB920EA-9888-4E6B-99AE-ACADDFAAA38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3ecd05b920043cd848328093971a170ec0a499","datavalue":{"value":{"entity-type":"item","numeric-id":2847811,"id":"Q2847811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$7E268CDA-DEF5-470A-801E-293AEA5F33DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26da5ba51d3fda529c78c9f4483730fc2d471baa","datavalue":{"value":{"entity-type":"item","numeric-id":1189894,"id":"Q1189894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$EE2C64BF-6538-404C-AA9D-830895761BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$B1F2872B-402A-41AB-A930-A3C7299C7B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b80a374b3c6924c7ff54b10bc049ba49c7c861","datavalue":{"value":{"entity-type":"item","numeric-id":5277787,"id":"Q5277787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$E47E866B-8AA8-4119-9818-ED47EEE46F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$09E1957F-B39D-4ADD-BC44-5ABC8A449AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$AFCD7543-60BF-41CE-BA11-5144E6F49683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$7F684C16-98F5-4655-9FCB-1FE7DCB71184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad91b505d29d2341aaa30620698cbaf19696832","datavalue":{"value":{"entity-type":"item","numeric-id":5899086,"id":"Q5899086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$4A030E1F-D73A-45DC-A385-A65E5E28655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f57cd5952b6bdf2070db56a859fb9698500bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3590964,"id":"Q3590964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$CF1CDD1A-ADBB-4E84-89AA-D557DE9E61C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5602a712555e3999df12c4260f8589c5a167f0ac","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873670$11BC0660-82C3-4207-B7CF-3E9D406E4784","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":"Q2873670$194E580A-3254-4725-AA2F-3A462609B1CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41a290207d11145a81e599fb59ef7b4bff7c2e80","datavalue":{"value":"10.1016/J.ENTCS.2008.05.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873670$494322B2-96C9-42BE-B6F8-1E87003B3AB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fe4ec3d79d076cf4819737a47e0d703cac3a376","datavalue":{"value":{"text":"Admissibility of cut in coalgebraic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873670$7C562FB7-E4F4-4E1E-BE1D-36ADBE93B2DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6088c4f363c63f265622ba73d04c6fb45abe4988","datavalue":{"value":{"entity-type":"item","numeric-id":618171,"id":"Q618171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aaf1c4396646e37681d362f8a5da843fe35cd81","datavalue":{"value":{"amount":"+0.923066258430481","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":"Q2873670$6A0DA3AE-EA9E-44C5-A7E7-65D46407F9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e03bfd53fad234531b01b064e3844de080abfa","datavalue":{"value":{"entity-type":"item","numeric-id":3105688,"id":"Q3105688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b91ebd4dddbbfcbbbd42621f4833e323413e096","datavalue":{"value":{"amount":"+0.7773284316062927","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":"Q2873670$7606A166-4C8A-4868-B364-929E57B4F271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5ccf9167a3b69b4b9c7bc56a8345a9d325cfad","datavalue":{"value":{"entity-type":"item","numeric-id":4580217,"id":"Q4580217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3260033b409e40c293576c58609133e73ea0b5","datavalue":{"value":{"amount":"+0.7701252698898315","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":"Q2873670$49D0A52B-A24B-4EB7-ACE1-B47B1AB2D2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5d84f9f10fe366e1ad2f2e537eef4ae556dc06","datavalue":{"value":{"entity-type":"item","numeric-id":402120,"id":"Q402120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d163e05830b951def610c506319e2f9e221a75","datavalue":{"value":{"amount":"+0.7618873119354248","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":"Q2873670$09EF5443-733A-4915-BE9D-CBA22080B0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b112eee35eabfd306112c4a3f285b9abddd0a824","datavalue":{"value":{"entity-type":"item","numeric-id":3086937,"id":"Q3086937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb68d23795e593b24384fc4e7d78f0a1f12d551","datavalue":{"value":{"amount":"+0.7572146058082581","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":"Q2873670$3BC1740F-C8AA-4E3C-9C72-A293BA13C2BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Admissibility of cut in coalgebraic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Admissibility_of_cut_in_coalgebraic_logics"}}}}}