{"entities":{"Q5278080":{"pageid":7307655,"ns":120,"title":"Item:Q5278080","lastrevid":58524129,"modified":"2026-04-05T14:30:38Z","type":"item","id":"Q5278080","labels":{"en":{"language":"en","value":"An expressive completeness theorem for coalgebraic modal \\(\\mu\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744391"}},"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":"Q5278080$DB9AB18B-2372-4240-B794-A2B59608F413","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5da0898441d37aa3ff4740fd0b4460bc53418de5","datavalue":{"value":"1448.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278080$B3BC373F-2EA1-4FD1-B81F-6435F2AA8E30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87d6436bf84e9369885747a347f8ad108c4d13aa","datavalue":{"value":"10.23638/LMCS-13(2:14)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278080$CD144485-3A3A-4209-9505-724D23C61BDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f5340f94d7e8bca6721e5302fe3e9f5e2cc1b2","datavalue":{"value":{"entity-type":"item","numeric-id":694495,"id":"Q694495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278080$08D98D63-293C-4B9C-B0D4-BB3722CE39BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed8d7a8df45b03690f51dff23fdb3cd8623bace","datavalue":{"value":{"entity-type":"item","numeric-id":1731841,"id":"Q1731841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278080$55913D5C-DB3E-4F8A-A270-36B429A07088","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":"Q5278080$E9B0E307-2C2A-4209-BB59-4F4876524ABF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"757d56442149c8e74ad624bf696390baa904ca56","datavalue":{"value":{"time":"+2017-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5278080$91A27241-ECF5-42C8-B71D-BB6D199BA390","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64ddf7ff3eb97cf52829b657b1c97e5806075746","datavalue":{"value":"https://arxiv.org/abs/1704.08637","type":"string"},"datatype":"url"},"type":"statement","id":"Q5278080$2F513B7F-22C0-42AD-99FD-567D63B49511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278080$462FA117-3B90-4EE3-882B-FA9D4EA20BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278080$7383B664-CEE8-4D5E-A400-DDCC262F4932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278080$06FD43BF-ECD5-499F-93F0-BA816CE53122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278080$8F82D1E6-01D4-4618-A825-21A60782E038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278080$0AC88439-549C-40EF-8640-9A9A0119813E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70924b1d3a22f973735435756712af191251fa72","datavalue":{"value":"6744391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278080$53051B89-1F87-471B-A157-1AFEF6903218","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":"Q5278080$079AB3E9-EB20-41F5-B1B1-1489EC2CC06C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44fa4333d787e6ca0dee89d9c722f8a043fad199","datavalue":{"value":{"entity-type":"item","numeric-id":4635817,"id":"Q4635817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26182b6493ae9789cad8eb29e64da81845c39a56","datavalue":{"value":{"amount":"+0.9108357429504396","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":"Q5278080$2023399E-B4FB-4C9C-A004-BCA53A1E9A9E","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":"af1869a4116d01499c214887965dc0dc029108ec","datavalue":{"value":{"amount":"+0.867027997970581","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":"Q5278080$E4458E69-90B5-4119-9F00-F669EF2A8908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e6bebaf77674477110e407efa15aadf6929a94","datavalue":{"value":{"entity-type":"item","numeric-id":1731842,"id":"Q1731842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d734c4bd398c5a36b9549695d6d472923b794b","datavalue":{"value":{"amount":"+0.8607189655303955","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":"Q5278080$72688514-78EA-4978-85A3-887247CABE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd8d09dee35351337ba4b36d9abb40279abf4e1","datavalue":{"value":{"entity-type":"item","numeric-id":5278393,"id":"Q5278393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d144187d7e11eeddfc2433fd289a87d90afdb18b","datavalue":{"value":{"amount":"+0.836056649684906","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":"Q5278080$D9A174E8-C9D8-4F4E-AE3C-40B22E1A2363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee9a8d1dcdd560995741af9ecabc51bdc873","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646726fa6f7d66f742a26a35ce39f3c1d49677f1","datavalue":{"value":{"amount":"+0.8310129642486572","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":"Q5278080$E91D1B9A-1006-4E24-AABD-9088CC3D51F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5278080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5278080"}}}}}