{"entities":{"Q6610625":{"pageid":14221782,"ns":120,"title":"Item:Q6610625","lastrevid":42379686,"modified":"2025-06-13T22:13:18Z","type":"item","id":"Q6610625","labels":{"en":{"language":"en","value":"Quantitative Hennessy-Milner theorems via notions of density"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7918701"}},"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":"Q6610625$7D3F2E35-ED33-4A3D-8918-17B8161E3B8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67f0439ed59a6836d49470a022585ddddf2e8b4c","datavalue":{"value":{"text":"Quantitative Hennessy-Milner theorems via notions of density","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6610625$42FB118D-CF84-45AA-A65B-C8066FCD51C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4ee5b98090e2636d578037fe2f46eb66b3eefb","datavalue":{"value":{"entity-type":"item","numeric-id":2147426,"id":"Q2147426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610625$CFAFE7C4-24FC-4794-A21D-397D5F4B9E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610625$46A902D9-8EA7-46EE-940C-E7F2861EC6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f083fb074f8e8c074b73d719a7d91511e8dca2aa","datavalue":{"value":{"entity-type":"item","numeric-id":328661,"id":"Q328661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610625$4237DB2B-04B5-4973-9060-A2834C67A8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f42dc9a4be2725b3dfb77d2bee3f819b85fac4c2","datavalue":{"value":{"entity-type":"item","numeric-id":1644967,"id":"Q1644967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610625$040ACAE4-F9CB-4698-986C-97D5A16CCFC0","rank":"normal"},{"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":"Q6610625$9E0995E0-96A9-4FCB-BEF1-BD2F18F401D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0714aeb6b5119635f42d6c811a6ea42c77b20b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1819527,"id":"Q1819527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610625$54808E0C-9C89-43BC-905C-D2AF2A1BBC05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd8865887ed774f6229caf289dc334855c91553d","datavalue":{"value":{"time":"+2024-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6610625$D6511B2F-448B-4B4E-98EB-A35483D2B595","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610625$A07ABCA0-C3FB-4CB6-87EB-E60E14D5CA87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71efc3202c4795ff38c85ddfe90aa4c307f2bc3b","datavalue":{"value":"7918701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610625$C5762C41-6390-406D-9D6F-23506FC89621","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2c35cad8c239e847b5b6def31b7656801067c5","datavalue":{"value":"behavioural distances","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610625$314291BC-B14A-4AD8-85FC-B4117696299F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610625$4B54A8D0-1702-4D77-9E96-5CABA5336579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"596b5f0b3a45743a2536f214302e28be33e9d19f","datavalue":{"value":"characteristic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610625$2799DC01-6C80-4996-8ACA-7DB4139AEA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01ee01077a14e69c3c27408efccd7f448855eec","datavalue":{"value":"density","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610625$962D47EF-B2BC-477A-A205-00E94A2149E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3940b656d8a6b1eaf58bbd26ebf8f02ea01ac41","datavalue":{"value":"Hennessy-Milner theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610625$D7BDF68F-5D90-4E6F-A369-B92613EDCE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebd4f11666ca65126d43c161b99381c5c2b36382","datavalue":{"value":"quantale-enriched categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610625$C9F502C8-9DB6-465E-BA11-FB735C0C7B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9005827f312cabce1d978361aa661fde70508662","datavalue":{"value":"Stone-Weierstra\u00df\\ theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610625$849EA325-A580-44BE-A706-EEB079122BB7","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":"Q6610625$078AF5D2-1379-4B34-88F7-E4AEA6EA3831","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de440fef79261f433d1dbf394419104ceaa88e10","datavalue":{"value":"10.4230/LIPICS.CSL.2023.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610625$7EBF95B0-B581-4090-AF14-6FF41F673472","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6610625","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6610625"}}}}}