{"entities":{"Q6654498":{"pageid":14265655,"ns":120,"title":"Item:Q6654498","lastrevid":100192385,"modified":"2026-06-05T21:35:12Z","type":"item","id":"Q6654498","labels":{"en":{"language":"en","value":"Codensity games for bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959704"}},"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":"Q6654498$4E4B3F54-735C-452E-B63C-4E7CB2C864D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14cd311067dd03ac30f9b84a574cce8a5960a0ac","datavalue":{"value":{"text":"Codensity games for bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6654498$74411133-74CD-497F-8B4D-23A03251A6BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"493787e1cac7a94137f1094fc934ac9b49786711","datavalue":{"value":"10.5555/3470152.3470184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654498$F48A6E49-EA4E-4F49-B94F-77E7CB2BD7C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c7690d5f3cd819f0725493803690b9b38cc1539","datavalue":{"value":{"entity-type":"item","numeric-id":2141290,"id":"Q2141290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654498$747EF6F6-1F83-4358-A89A-D61C0ACD7D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c03210fd9ce4ad9876a1650d95ea915c3881207f","datavalue":{"value":{"entity-type":"item","numeric-id":1652970,"id":"Q1652970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654498$446A170F-E5CD-4614-94EA-E05011B67197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88a0554e158e173563b0fe457e54aba7a81d3ff4","datavalue":{"value":{"entity-type":"item","numeric-id":6653749,"id":"Q6653749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654498$4780F3FB-B6E3-489A-BA2C-314A57F3DA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654498$E7331A2A-D7FE-4D0A-A93C-AECBCB4ACB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654498$65CC6F2F-E202-48E3-BDB8-1B8C123344C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e986e57a46b356e61a6b4db9acbb203ad87efab","datavalue":{"value":{"time":"+2024-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6654498$2E57F1DB-2405-4C38-A1C6-627B6C04123A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654498$2A479EAB-2069-415E-813E-FD4C85B35E4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1aeed66a2b1274b491b22f1c8425137463c3ea8a","datavalue":{"value":"7959704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654498$436934FB-60B9-4CD4-B31F-3C70D3E45162","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":"Q6654498$C9FA9E6A-FAF0-4F6F-BAB4-F99556D6A9F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Codensity games for bisimilarity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Codensity_games_for_bisimilarity"}}}}}