{"entities":{"Q6829424":{"pageid":15116479,"ns":120,"title":"Item:Q6829424","lastrevid":56018050,"modified":"2026-02-24T14:45:21Z","type":"item","id":"Q6829424","labels":{"en":{"language":"en","value":"Completeness of flat coalgebraic fixpoint logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852240"}},"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":"Q6829424$18EBA8D3-7D37-428B-B511-B3A9D44F2786","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"702a32554031e5363b81d723fca4d0583489c5a8","datavalue":{"value":{"text":"Completeness of flat coalgebraic fixpoint logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6829424$9F79FF60-865C-4F9D-9923-A5037AF2243A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49c1462f490ae5593929ddc2bc03318e8be81f7c","datavalue":{"value":"1407.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829424$61811ABA-E3CB-4E0E-9306-F4F95FA2D1ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76d4d8dddcdf3ebdc53ca762dbb464a440f4fe9f","datavalue":{"value":"10.1145/3157055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829424$83793CF7-621A-4CDE-B75B-A934E4A57C75","rank":"normal"}],"P16":[{"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":"Q6829424$CC45D838-0061-404B-84F6-EFA6DCA98AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829424$4233DC2A-A2D5-4C2F-9E6E-DCE7F04F18D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829424$16601E74-0BDB-4D87-9EDF-F1823C6F9259","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c08c0cb5adcb87dcdf141312d287850a8313671b","datavalue":{"value":{"time":"+2018-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6829424$356BBB8E-813D-4CE6-B6F8-27C302174BE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829424$9C992AB7-4832-4E22-AC13-BC19CFCFBD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829424$B87E2112-F1C8-45F1-BB38-B92D6F7D378E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829424$8C723D4F-C39C-400F-AF19-B10A260C6746","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62352319381ea01af5b1345ae56200dc27a057b8","datavalue":{"value":"6852240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829424$F353561A-50DE-433D-A0EB-4B3033CDF8C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829424$8B20898B-D65F-46D0-9639-1BE6E99D5C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1240ded7aa3fc6fb241ea713154ac0c3f605634","datavalue":{"value":"Kozen/Park axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829424$01238A58-C7E3-4003-A2DB-FC62172DCC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829424$60C7174D-1130-45A9-AC52-37C8A3387530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829424$8EC0519E-8FED-4FD7-BECC-497D996C2962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5066348a38d8971c88cfdd31d5358f4cca9480be","datavalue":{"value":"branching-time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829424$E4BCE2B3-4FF7-43A2-8ACF-5FECFDCD4241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829424$D448D719-B4A4-4921-97DA-EBBBDC15AD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c7f7fd51b9bb752f44ec8647da5ff49ee16308","datavalue":{"value":"graded \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829424$BD37CFD3-7690-40DB-852B-AE4ED0104565","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":"Q6829424$24DB2E16-FE35-4D55-ABFB-7744C1DAFCD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of flat coalgebraic fixpoint logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_flat_coalgebraic_fixpoint_logics"}}}}}