{"entities":{"Q6512759":{"pageid":14091718,"ns":120,"title":"Item:Q6512759","lastrevid":40022637,"modified":"2025-02-11T12:47:48Z","type":"item","id":"Q6512759","labels":{"en":{"language":"en","value":"Game semantics for the constructive $\\mu$-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6512759$06FCF817-8C33-4A2A-A700-503FD5968022","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76cafe57cfdb20164066725c0fb9e211602a87de","datavalue":{"value":{"text":"Game semantics for the constructive $\\mu$-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6512759$E4E2D5E0-51FA-42F5-9E34-D1A2B39A55E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1084936bf882dbdbe4f1ecd8500b22ed0bd9490","datavalue":{"value":{"entity-type":"item","numeric-id":6135560,"id":"Q6135560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6512759$3F2F8448-4B8B-41AE-B2AE-872900B49ED7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6512759$C8E196F3-2016-46D4-846A-D14721862DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6512759$49C3C6EB-5CCD-4047-8FF0-AB2609186DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6512759$C8FB7CD7-590B-4003-A19A-B110901B3428","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":"Q6512759$E6006EBA-1803-44A0-B6FD-B41C10A92C28","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"7dbecf2670832336345a79059a2530e6c5efeacb","datavalue":{"value":"2308.16697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6512759$77C464C2-EA37-491C-ACBF-69AA653E2667","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6512759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6512759"}}}}}