{"entities":{"Q6541152":{"pageid":14152295,"ns":120,"title":"Item:Q6541152","lastrevid":57344691,"modified":"2026-03-30T14:10:01Z","type":"item","id":"Q6541152","labels":{"en":{"language":"en","value":"A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850746"}},"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":"Q6541152$0719FE98-CEBA-4162-988F-DDF270D85BA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0eef250eda560f5666e76c39c5dfaeb78f9b5b04","datavalue":{"value":{"text":"A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541152$A141DA84-814F-4079-BAB2-8B6C72E3228F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1570d4d7a786cb488aa7798c79ddcba75d623905","datavalue":{"value":"10.1007/978-3-031-43513-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541152$E7F8C869-B7FD-4E3E-A384-BE005ABD9916","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$44EDA811-6528-4327-AFE2-2FAF105E90F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-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":"Q6541152$AB2E4C79-66AA-4B2B-A4A5-E8E5AB999493","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541152$6202D1B5-0CD2-43BD-8993-A063C58006DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acaf51dfe5d08268132199f50bc7e5b0e32d94d6","datavalue":{"value":"7850746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541152$96D4B42D-415E-4183-B103-8B9FB03FD04C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722c5113758ebf1f4db62354b113f1fec2c1c876","datavalue":{"value":"\\textsf{LL}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541152$B8BE22BF-B378-4948-B6F6-50C34DCAB11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d447f9768601bd14dd8860f60bde13615efdf522","datavalue":{"value":"\\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541152$54ABDD42-E680-49BB-9C8E-F4EC86F77274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"babb9e7247d75757dbe42d2501975e79c8db80cf","datavalue":{"value":"non-wellfounded proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541152$5F4B19B0-8FF0-4975-96B9-DC34080E63CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541152$1414573C-9CE5-4CFF-A7EF-7CAFCD5E0E4D","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":"Q6541152$6AD3E749-BF0E-4EC6-8468-E3291B3FF1CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d767e1a731657117bc3ae3a5f1ea13a2977880","datavalue":{"value":{"entity-type":"item","numeric-id":2958510,"id":"Q2958510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$271C7346-FB53-4EFB-872A-AABB420B4B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacb44a942285d9baaf5031e5170ae5058e91948","datavalue":{"value":{"entity-type":"item","numeric-id":5278431,"id":"Q5278431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$C372C146-E3CE-4FE7-B7A4-D9256AE5ABE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329632390571b70c858fb813a0e714410ba89992","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$46CB6985-C342-42DC-9411-16F2CA419954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$CA7D025D-9C36-4AFD-ABBA-385FCF63072C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35c893da5423a10bda1b1b53dd6f1dff6f3366","datavalue":{"value":{"entity-type":"item","numeric-id":714717,"id":"Q714717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$F6A66594-5D39-41B6-9CE1-BC7A34E74313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$8F1C42BE-953C-47ED-B4D5-C3EA7298331E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f361bfc77f34b4d1069fcf2c9336d696522aa","datavalue":{"value":{"entity-type":"item","numeric-id":5079743,"id":"Q5079743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$F103717B-6C71-4162-8C39-E73FD1056AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbb75377fe28d9c4d5cb2672ca813a70b1a4094","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$462AC1EA-7FC4-4049-A004-EB917C54090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb4c44053722d7d89141d98a75a5ec1bd92c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$DF6F99E7-86AB-4767-A50E-FBBD959BAFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"392efad539cb4b89a41cefed151a8bc744e9d7ff","datavalue":{"value":{"entity-type":"item","numeric-id":4600775,"id":"Q4600775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$86B98047-900E-47E5-B3E3-E6B161A4D248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$05E99BE6-8FFA-42D6-A277-8AFA9241C846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$E4FEDD5F-B1B1-4F98-AD1A-AB156294DD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$9CC60DC0-8A78-417A-9140-13743A80D7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$4BC02561-2F8B-4B5A-A342-6338927503E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$2FD223B1-A133-4760-855F-BC994AB9FAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e265a0aa8cb92d21367d8a7ed6101f17d6553fc3","datavalue":{"value":{"entity-type":"item","numeric-id":3075441,"id":"Q3075441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$EC406D96-9B9A-4100-A794-69490E04234F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$324B8E34-5170-4905-BBFF-703C92888D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541152$B1E057E6-D6CE-4625-AE05-74D8212EEC61","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":"Q6541152$67648B2E-96F1-45A9-BE3D-AAB8E799F28D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541152"}}}}}