{"entities":{"Q2142087":{"pageid":2152830,"ns":120,"title":"Item:Q2142087","lastrevid":43592629,"modified":"2025-10-28T01:34:49Z","type":"item","id":"Q2142087","labels":{"en":{"language":"en","value":"Uniform interpolation from cyclic proofs: the case of modal mu-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7532525"}},"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":"Q2142087$BDC5DBC9-593F-442D-8FB2-E0C3B6108E44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e741dcff1627b02ce1a306b4cf09d6ddb1e72c34","datavalue":{"value":{"text":"Uniform interpolation from cyclic proofs: the case of modal mu-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2142087$B8FD4C9F-811D-4A83-A996-8A1F0B71E691","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"515000abb96381a294100ceb411c40763f126e87","datavalue":{"value":"10.1007/978-3-030-86059-2_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142087$73BE83D1-12B8-4D33-A5E6-862E45CF3BAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f5b97643c937daca3f616369c991f46ae54674","datavalue":{"value":{"entity-type":"item","numeric-id":1032625,"id":"Q1032625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$7F734DDF-7308-42CD-81B1-4414737C7D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$B780DFF6-9889-4368-B90A-4E842C0850A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d9ec332bd49fd8380b2a35260a644818ebebab","datavalue":{"value":{"entity-type":"item","numeric-id":2142086,"id":"Q2142086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$8A1E8994-77E6-437D-8C49-57325B182D9C","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":"Q2142087$87EAAA3B-D7B8-4469-AE9E-BEEF76E0ADF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142087$D160405E-D851-4A2F-97EA-CC4571A878AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bb60fc0b1b2d88010bb927d9747abd89ccb4556","datavalue":{"value":"7532525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142087$FFFAAA23-576E-437D-82E5-40EBCB00F493","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142087$563BEFAD-2C4A-4E7C-8634-EF8E97F6167B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142087$35D85B0B-939B-4BC3-8547-40AC6773C35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142087$7FE5C399-7592-462C-B4FB-B58E9D5DE4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142087$0C908F24-A043-42FD-BF86-80A765DD2766","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$420D8942-AA19-42A1-94E8-6AC8B1FF4FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7cbd45ecb73cef1c098eba204d848b9a2d6639","datavalue":{"value":{"entity-type":"item","numeric-id":30358,"id":"Q30358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$81E08398-3212-45AA-A611-66887BFEFBBF","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":"Q2142087$783B96B4-2B56-4F9D-8ADF-2022A346C69E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50574e44a0183426bed54db551e9925fdd519845","datavalue":{"value":"https://doi.org/10.1007/978-3-030-86059-2_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2142087$54E61EA2-C09B-4CE0-A77B-CA4A55D86921","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b842cdc9abc5edb5829abb5f352b99064392cc1","datavalue":{"value":"W3197483185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142087$B5223272-8C70-4898-B4CF-B2603308F21B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$F117A05E-39AD-4056-B7CA-D326DD1947A2","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":"Q2142087$FFD17491-4DA7-4721-9684-D6C85589F4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e2f37da67acb126acb6749c2d098c70e580d35","datavalue":{"value":{"entity-type":"item","numeric-id":4635819,"id":"Q4635819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$D5B44579-6BB6-44C1-8638-4774A6ECA985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a4af602b522c2682b2c35cb1b488e8e6a412b3","datavalue":{"value":{"entity-type":"item","numeric-id":5144661,"id":"Q5144661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$54C09377-3104-4219-85DE-130278EA3ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad338cbe03072f079f6f32c6dcb9b4f74e45afd8","datavalue":{"value":{"entity-type":"item","numeric-id":5227521,"id":"Q5227521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$847D5D3F-255E-495B-B486-1ED8F8D17BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$248AED17-7A67-4390-A38D-826F65D03B6C","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":"Q2142087$26ECF2B6-9FEE-4024-A431-FC497F8E4B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33692c390b1f19aeb0569ead211f73029e6a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":2865008,"id":"Q2865008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$4BB4F651-E724-4D31-8031-EEC9C893E032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397419662126ccd88ae51119636bcd58ebe8f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":1024121,"id":"Q1024121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$DF51ADB3-7A50-4288-B829-AABD9D2220A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$907A73B2-9A1D-46EA-B0DF-90E2CD0D4C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be6d068a1e3ed6103188c56fe0c9a8000057e37","datavalue":{"value":{"entity-type":"item","numeric-id":557788,"id":"Q557788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$0B7B404C-27B3-4935-B917-123FEEAF580A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b7a6c2101768ac13792ee596f863fe936fc9fd","datavalue":{"value":{"entity-type":"item","numeric-id":481100,"id":"Q481100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$21317A7C-13BA-454B-B8AF-F13AB6A1872C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de429e87d0fc5113640df9de6a0b6403c9ec0505","datavalue":{"value":{"entity-type":"item","numeric-id":5208872,"id":"Q5208872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$FC9A194C-779E-4E38-A796-5D826330ED5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba3cf41f46f0763793828a02b8681c747ac449a","datavalue":{"value":{"entity-type":"item","numeric-id":1694471,"id":"Q1694471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$E8965758-23E7-48D8-B88F-D717561C7578","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":"Q2142087$AD5CAA1F-751E-4E94-8D50-8B83AA79F974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9e92783e5802351743ba6acfa6aa40e0fc9cc8","datavalue":{"value":{"entity-type":"item","numeric-id":2180524,"id":"Q2180524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$DB2CB536-2221-4EA0-BECF-8C511EEA171A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$2AACEC33-001F-4857-9805-CF3660A2C336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1711a731b85d2f5076f846979dde55051a928613","datavalue":{"value":{"entity-type":"item","numeric-id":2180527,"id":"Q2180527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$AA36B603-6F03-408F-95EF-62E05C6E83A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$89ADD483-E054-4800-BF98-45D4E7DF7874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb93535332a50764f81a3ddaee046dbfde1d1975","datavalue":{"value":{"entity-type":"item","numeric-id":1712936,"id":"Q1712936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$A7167EAE-D6DC-4C66-B6FA-A679EFDCB7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c23f143e374a6b10f9e74124e08c026bf67303","datavalue":{"value":{"entity-type":"item","numeric-id":2326416,"id":"Q2326416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$CD0A5B38-D46B-4852-ADAA-B0FB962CE4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$9EE75B78-D40F-45BF-A75E-D76A782BE00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7668f3f051470e944eec849a456581c40bdf3f","datavalue":{"value":{"entity-type":"item","numeric-id":3648734,"id":"Q3648734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$0C8F795C-3CD6-49E6-84A8-0F12C1905612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70813035aa185769f33e98f1023764183e39c20","datavalue":{"value":{"entity-type":"item","numeric-id":5221853,"id":"Q5221853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$987F3DDA-D24F-4437-8143-7805D7BCA4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$5F020BFA-A1C7-40C9-9F1F-17C98CBD833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$C4E23D9C-7F6D-4F8C-B78D-6327A7B0BE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e368ff5d15897e0f850f0554d5b844437aaccf46","datavalue":{"value":{"entity-type":"item","numeric-id":1694474,"id":"Q1694474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$48FAB0EF-2578-4780-81FE-2EE706E5403E","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":"Q2142087$BDA35114-BC64-482E-9930-9C02A323B84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4122b64f2a48133554d036ec47e473d3341746","datavalue":{"value":{"entity-type":"item","numeric-id":2343897,"id":"Q2343897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$D802D335-CD09-4D3C-BA47-F28DE24978C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae3640b114c508cb6127b07d35c2876cd21a98c","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$BE5D92EB-AA2F-4CF7-B08E-93CEC0960D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79af7c6c26413e6cf62b9d55caa06072ad927ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$FB7FD682-BFF7-401F-91C0-B6C49202A72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28566e3b31c7c737a1b4320dae5d40d29b36f36","datavalue":{"value":{"entity-type":"item","numeric-id":5919481,"id":"Q5919481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142087$28C50463-02DA-4966-ADEE-BD50FAFA5BAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2142087","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2142087"}}}}}