{"entities":{"Q2142085":{"pageid":2152828,"ns":120,"title":"Item:Q2142085","lastrevid":55971283,"modified":"2026-02-21T15:34:25Z","type":"item","id":"Q2142085","labels":{"en":{"language":"en","value":"Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7532524"}},"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":"Q2142085$67169E80-72A4-4AAC-8151-2BF4358EB022","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53494e4aa4214a671256a350d7fee97cdb07c980","datavalue":{"value":{"text":"Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2142085$4B01BAA3-26D4-424C-B398-865F0670C572","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3041d935539c5435a21bfb24efbf4b4446bff740","datavalue":{"value":"10.1007/978-3-030-86059-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142085$45EA2149-8026-4B36-B883-ED24999D286C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5d368681ff8e32a8d60dd595e043e935c9e45a","datavalue":{"value":{"entity-type":"item","numeric-id":1679986,"id":"Q1679986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$42284325-5D53-4036-B8D7-99DB78C16D4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ef1e2e38c147b52c379a6993b1283d5267f8ef","datavalue":{"value":{"time":"+2022-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2142085$A002F7DB-C47B-41F6-AEA0-780D50435733","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142085$8D127347-AE11-482B-AF57-5A499B3787D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b7d7165174a3f2cf6d11a6c7863cccbabfef686","datavalue":{"value":"7532524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142085$15FA64E5-7831-4EF5-A144-955B55D835BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfcabcf0527991d065940d2f79dd618a008e7edd","datavalue":{"value":"infinitary action logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142085$4485BF61-F1AC-4C11-8BFD-C03D0D46DE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cac25e8125515de986affa37a988a74b2ad69f27","datavalue":{"value":"exponential modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142085$E750B443-6FDB-446C-8C94-9CF52EAADFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24d14bd0e7f89a2e34311c00f42033983e8d95","datavalue":{"value":"non-well-founded proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142085$881A06A2-EEEC-42C8-96E0-C8E149FE093D","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":"Q2142085$D88F1503-1D6B-4E79-82F2-48FFA53B3679","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c50d7f1afe6d5f7467f3da1571b4f02df13f5e36","datavalue":{"value":"https://doi.org/10.1007/978-3-030-86059-2_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2142085$3E8FCE7B-653D-49A4-A2F1-094EB6FA5B0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5be4b2f85ec555dd3c864608854e691875fcf9c","datavalue":{"value":"W3198002352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142085$9F499183-AA3F-4D42-976E-EEE780D7F218","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9291780fa49d906483f3b2217ba1558a6098769","datavalue":{"value":{"entity-type":"item","numeric-id":3437263,"id":"Q3437263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$291A12F4-8F32-4919-A4E2-B08B34162327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7206280cc7b39fbf130793a6fbda4e7425d0280e","datavalue":{"value":{"entity-type":"item","numeric-id":935019,"id":"Q935019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$601BF6BA-17C2-4178-BBA2-07CDF1FE3400","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":"Q2142085$5A364177-1095-439F-BA6B-62B3912902A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$D81355CC-3BB0-43D6-A52F-1487A1A0CCCB","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":"Q2142085$D20D9422-A2B4-4FA3-897B-3EAF8898429A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9751ba466f3c37a70fb9a480d3b6b8e9c6fbe394","datavalue":{"value":{"entity-type":"item","numeric-id":5431598,"id":"Q5431598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$3C2C1789-581B-46EA-AEB6-8BBF3E814AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c95f2e0e218da93197f9014ab37384534c37e7","datavalue":{"value":{"entity-type":"item","numeric-id":5236554,"id":"Q5236554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$BEE18691-9763-4ED1-AF0E-7055F2B43875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e270b6f12265fbd9e71af4a3d7cf71871a12b3b5","datavalue":{"value":{"entity-type":"item","numeric-id":2096472,"id":"Q2096472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$42B27E6B-CCC0-4272-86E9-B2CF01D3164A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e54a01d8a977ffbf68bd945a598c7f0f888b33","datavalue":{"value":{"entity-type":"item","numeric-id":2506487,"id":"Q2506487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$12ED3CD3-10CC-4DAA-8345-D677D71A624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4232cd3751d3120efd8c1cc75c0c7353ecbe2b","datavalue":{"value":{"entity-type":"item","numeric-id":2037977,"id":"Q2037977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$3B3D775A-0913-4A06-B92E-A05CC2D75232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a9befaa74d9d6b94f0b1b26d45626432a2e020","datavalue":{"value":{"entity-type":"item","numeric-id":2067638,"id":"Q2067638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$1AC3AF37-ED30-4CE4-863A-068EA577BB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$9C9AE113-335E-4A63-9739-70D4D5D8ABB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$AC5DAAEE-C2EA-4067-99A5-551BE3874113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476ec162b1325ee688bc547d2e9b6993d2ba1361","datavalue":{"value":{"entity-type":"item","numeric-id":3590769,"id":"Q3590769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$B2FD9046-4086-4191-A68B-0D1310D4B737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$9AC09280-CCD0-414F-AFEA-B491D0EB564C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"082e588b9b85784a4b5da11592bf729748b996ce","datavalue":{"value":{"entity-type":"item","numeric-id":2398205,"id":"Q2398205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142085$3F961102-7464-447B-B3B2-931B1D0D06F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2142085","badges":[]}}}}}