{"entities":{"Q6583998":{"pageid":14195154,"ns":120,"title":"Item:Q6583998","lastrevid":99904592,"modified":"2026-06-05T20:58:29Z","type":"item","id":"Q6583998","labels":{"en":{"language":"en","value":"Comonadic semantics for hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7893045"}},"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":"Q6583998$25F20487-9D56-4D6A-8707-CF3E0946D7F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b581c6b89f03e7c5fc0452ee7ca1ab068a84712","datavalue":{"value":{"text":"Comonadic semantics for hybrid logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6583998$67765372-D9A1-4F08-8796-F777180DC023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6583998$5B3A9892-3240-454C-BEBE-D15B15B5BE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae1caa340f2c5dfed85c8089e4162e6430d4474","datavalue":{"value":{"entity-type":"item","numeric-id":1628579,"id":"Q1628579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6583998$3035D447-6330-4919-8E86-BFB126B391C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b289cc5d2b085b187346f3152c3a69a70d0e3be","datavalue":{"value":{"time":"+2024-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6583998$37E9CB32-6CB5-476A-9A84-6204AD4001D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6583998$0D2B40AE-6A93-4366-B5DA-7743E7F0EC30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97b82caa5d9e33b431dddddeae02012d34f8fc5d","datavalue":{"value":"7893045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6583998$6918F8A7-2341-4883-92FD-82061F13E53B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd63649bc42cd8761636bf82ada7e534f568f45","datavalue":{"value":"comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q6583998$E9A5BDE5-59F9-4C2F-A744-9D9C4FE529C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fe5f1e5b42a8b54a620ff90b1c947ad44ddb37","datavalue":{"value":"model comparison games","type":"string"},"datatype":"string"},"type":"statement","id":"Q6583998$BBBBAFE8-414D-4A81-BF40-7D90B934D43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc737085fb63cef233cf144a324b11128e9327c","datavalue":{"value":"semantic characterizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6583998$08F92A6A-5778-4EDD-9683-E2B11D68B3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6583998$04AA561B-5BC1-4540-90CE-48F007AF94AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d46d29575d6400052b2ceea982356fc99a931b0e","datavalue":{"value":"bounded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6583998$381155C7-BED8-443F-87D3-5D9AA53A061E","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":"Q6583998$8F5F930F-16AB-4B38-B73D-BAA89382A892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfc24470db521af2547588d9e5ccdb6c415a2a27","datavalue":{"value":"10.4230/LIPICS.MFCS.2022.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6583998$E11AB2AB-AA1D-46FD-B429-C31BEBC2F00E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comonadic semantics for hybrid logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comonadic_semantics_for_hybrid_logic"}}}}}