{"entities":{"Q5028440":{"pageid":7058017,"ns":120,"title":"Item:Q5028440","lastrevid":98393198,"modified":"2026-06-05T17:24:26Z","type":"item","id":"Q5028440","labels":{"en":{"language":"en","value":"Expressive logics for coinductive predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471679"}},"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":"Q5028440$A78C37E3-6836-4098-BAC8-9638E6620AFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d8c9047b2bb72e50bbf56be800744851436c53","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$56621FCA-56A1-4DEF-B1A1-85ECAD74FF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$3A4E7617-5506-4280-B4C2-EFE06191ADD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016f5c9439ba374a39d268cbe8a17a8d3cb3913d","datavalue":{"value":{"time":"+2022-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028440$2619F06D-B0BB-41FA-80F8-8FABE825E4AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7735ef15cf63ad28d27809bca5246538cc76cac2","datavalue":{"value":"https://arxiv.org/abs/2006.12465","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028440$265949B6-FCDB-4085-B748-9E8D64A0883D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fcd39fb30fde9adeec83b088e4fa823580a76e7","datavalue":{"value":"https://lmcs.episciences.org/8854","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028440$D8BE57CC-7691-4225-82E9-00791C26371A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028440$C11DA5C4-25E6-4BD8-A0BA-B5F2A855EDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028440$5021DC82-7A3F-4F7B-8725-0F3DE149719B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"400d7ebbab07a687c3da87ba6c9a8ff07ef657a2","datavalue":{"value":"7471679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028440$B976A251-218E-433B-8B74-651B83FB5608","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028440$1DF95891-CB3F-4CFA-9F92-D5C091BCD753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751e37efbf8082f0fc895bdc4895d3880e1bb01f","datavalue":{"value":"fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028440$F90DBC35-8FAB-4031-9BA1-AFA877C80234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028440$5427D568-A3B0-41C3-A26E-473E9F1CDD42","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":"Q5028440$71CCC280-7D8B-42C4-825B-B88EB76B4017","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"078674df8daffb21caf6680646427875d9ba7189","datavalue":{"value":{"entity-type":"item","numeric-id":4683862,"id":"Q4683862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$BA1741D3-9C86-40B3-85CA-6666325B2EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebaee7c23bbdb4586c8c27830f2c0c8154d7b10","datavalue":{"value":{"entity-type":"item","numeric-id":2820688,"id":"Q2820688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$9012FDAE-8F75-4A8F-999C-C165E846A82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc00d2e6dc68d1a978a15a264bc33003641aec8","datavalue":{"value":{"entity-type":"item","numeric-id":4580199,"id":"Q4580199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$90C12C70-E141-423E-B748-A12AE37FD292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f07a5337aa99edf273489b307d42f143920052","datavalue":{"value":{"entity-type":"item","numeric-id":5705904,"id":"Q5705904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$30E6DFB0-F0F6-46AF-B7AF-0C3EFE1B0FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6963cdf23c5c6491e4f2f740f56bd737d6216da6","datavalue":{"value":{"entity-type":"item","numeric-id":5009431,"id":"Q5009431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$DEB449D1-96AC-4AAC-860A-BA676C0667CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2492274137c4b617350f8d9336d65412a34d4985","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$F19E449C-9C50-4D4F-B5AE-E5C79181D9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92eac3815df897132bfd4f51bda8273d868b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2417857,"id":"Q2417857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$A260B1DB-D184-4D3B-BC9E-4536A823EA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$A73BA5D2-AE28-4123-BBA0-3CA8548924D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd4fea53b7d739c7649130a0202bbf906aa47a","datavalue":{"value":{"entity-type":"item","numeric-id":4270063,"id":"Q4270063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$02953FA3-5C06-4E79-87EF-0EF5FC955631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c109c5e0799eee8383cd5151798405a4b4662e2","datavalue":{"value":{"entity-type":"item","numeric-id":5875398,"id":"Q5875398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$3AA7C3F5-FB7F-4D9F-A632-39051236FEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4a1e7af2a6cd76aa393cd8f3c15ad5761fff7f","datavalue":{"value":{"entity-type":"item","numeric-id":2848944,"id":"Q2848944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$92FCE0F7-C37E-4DEE-A165-45671C3C455F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fed011b6477d8a38f891520002eb83b89a25ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4776572,"id":"Q4776572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$29E27FF1-38FF-4EE5-AB65-05AA1A5BF8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$EFDD8ADB-5765-455A-9B3D-8668B9DCDA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcdf0893c74d343935ee762c06dec73b5d133cd","datavalue":{"value":{"entity-type":"item","numeric-id":703522,"id":"Q703522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$F34E6DB5-CF4B-4D1F-B331-1C5465685CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6953572d91399dae0d4ba9563d114aa9ccb99da9","datavalue":{"value":{"entity-type":"item","numeric-id":4606703,"id":"Q4606703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$76786C99-7B71-416D-8188-DD8082C30FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$AB5780AD-18BA-4FDD-A51C-C5489AF61FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$92E2CBB2-6EBA-4108-A6E2-935B38195B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$26F4C988-54F3-4612-BA5C-9E4DE9F923C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f212a06c5be4db5f867d04c1cea9f971a440","datavalue":{"value":{"entity-type":"item","numeric-id":3056297,"id":"Q3056297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$AB32FA26-7588-4CC1-9505-7EF5481025F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f55ce5b3ef6c0010cbbaf9e29337871803b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$686F807A-4CD0-43C8-9ED9-F141B701CA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8186fdee750524303424d9b05d92653bbb0f6f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5419889,"id":"Q5419889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$4C70E651-3A0E-44EA-A6BE-5995A1622ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d104a4841be68a1ad1e917eff0a8d09046a2ba1f","datavalue":{"value":{"entity-type":"item","numeric-id":5262938,"id":"Q5262938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$02E74734-3CF3-4F1D-9E9C-169640A36EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a805efbdbabeece7f6216b948e8298233d3220a","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$DCD91F98-1680-47AE-8B28-D87C84257257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf60c4ef674c23509d5d5c685799125162d6916","datavalue":{"value":{"entity-type":"item","numeric-id":5874213,"id":"Q5874213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$2A153E8C-D1A9-4F15-8866-5952A0DAFAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$709FD7A7-EB15-493D-AFA5-5A517C5B6BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f99c3767f220921bd5141aad82c56e84e6dd18","datavalue":{"value":{"entity-type":"item","numeric-id":2341702,"id":"Q2341702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$D1C727C3-216C-4A78-8EEF-B9CF11FEE8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$551B1545-391A-4939-B97F-8E4D2F6A5900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa85e1d4c083b675b923ad4615fb383be1f76c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3623942,"id":"Q3623942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$A992899A-48EF-482A-BD06-72CDBB42BF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fac51303894c8e23df30d0e3ae82d21365ad86","datavalue":{"value":{"entity-type":"item","numeric-id":3976466,"id":"Q3976466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$BFC3BA07-C9B3-46F4-91E3-EF6219D08DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$CA3A2432-E042-4864-98A6-4D0639418E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$B7E16564-3D22-48A3-A97F-C773D85803C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0c4cc508d02765ef12103f5a3aaa61b4f1d7664","datavalue":{"value":{"entity-type":"item","numeric-id":1798795,"id":"Q1798795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$CAAA5C10-BD66-47C9-99FA-15F300CB2BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$FEA021AC-259C-4198-8CE6-BE831110C504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f769751525180102f6c82505664f648df2032d85","datavalue":{"value":{"entity-type":"item","numeric-id":5145370,"id":"Q5145370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028440$A9E08576-7A9F-4C34-BF8B-15A6D0D33934","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e4489e3906c25f4ca7d317b3651e66bd52879f","datavalue":{"value":{"entity-type":"item","numeric-id":5874213,"id":"Q5874213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53282d50772776f5cfa0c33f3d9a1c178c7a03e","datavalue":{"value":{"amount":"+0.999999701976776","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":"Q5028440$A80D4F61-F6AC-4019-97E5-AA6B3D1D55BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db56bc1b3b56fa0420dbf4ce3c809e8bb0c4a01c","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d801af636b15990527867e7831649d62c0a6963","datavalue":{"value":{"amount":"+0.8217383027076721","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":"Q5028440$F10A4FC2-317F-4C1E-9AC1-4C74890D7C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7b8496f9ca73c6ac516cf1a9390057873dd72e","datavalue":{"value":{"entity-type":"item","numeric-id":5249665,"id":"Q5249665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58d89ade99a0ed631d9376c56dacb20bee75e10","datavalue":{"value":{"amount":"+0.78983473777771","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":"Q5028440$A248B744-AF52-4246-8A59-D7557FC2CBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea510080ed72da3949ed4dbcc0b26697f915954a","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4f9cfa75c81dd257fae19a6328bbc83ee06ea6","datavalue":{"value":{"amount":"+0.7854573726654053","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":"Q5028440$1A2151D8-A755-4ECB-B634-C8A392003C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b005c1d2707be3c331779e90a9d83029dfa0713","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef9d127be5fcc03820a4b524403dd3b58bc11966","datavalue":{"value":{"amount":"+0.7819883823394775","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":"Q5028440$094DA511-FE5A-478C-915E-AEEFCE96DF91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive logics for coinductive predicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_logics_for_coinductive_predicates"}}}}}