{"entities":{"Q6610613":{"pageid":14221770,"ns":120,"title":"Item:Q6610613","lastrevid":42379676,"modified":"2025-06-13T22:13:18Z","type":"item","id":"Q6610613","labels":{"en":{"language":"en","value":"Hennessy-Milner theorems via Galois connections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7918691"}},"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":"Q6610613$668AD7B4-C113-4C07-B019-12E175451B8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75a795981188258f0e77e92c91508531c545cc04","datavalue":{"value":{"text":"Hennessy-Milner theorems via Galois connections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6610613$42C45D0A-51C4-485F-AE50-2E73B6481097","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e05986514e56aaa9abd2193d36fdb5190f5d424e","datavalue":{"value":{"entity-type":"item","numeric-id":2104471,"id":"Q2104471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610613$EF2B87FA-CF10-4E93-A1D9-C5D6BA93520E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e070769e3c2604b84d3431ea4ad28f2ab7a6a96","datavalue":{"value":{"entity-type":"item","numeric-id":6610611,"id":"Q6610611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610613$E0C6A0CF-758D-4CC6-A2E9-C133CC7EA307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610613$114A4069-EE39-40C0-8746-30FEA590A930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86e7ff35891ca1a7a625afbdc1eace3aeac22d82","datavalue":{"value":{"entity-type":"item","numeric-id":6610612,"id":"Q6610612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610613$F1AE1E28-BC5C-4C03-8540-60592E3657BA","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":"Q6610613$D8552A6A-0F0F-4C3C-B7E3-8DD1422E3E65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610613$34993474-818D-460E-932F-06BBFA29548E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0617fb6c502a50542fa9e33ddf8648b13838168","datavalue":{"value":"7918691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610613$4F6A7BF0-0CF0-4D9A-9EC5-885612C1D09B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001ea7258a4520bcf9b988915203e1b111f147fb","datavalue":{"value":"behavioural equivalences and metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610613$732DDA40-570E-4452-AEF3-49569DC5E531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610613$A1DF81BD-7781-446C-91D3-23720E6E9641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610613$0F3E291A-19A5-449A-AD37-998860DCCD9D","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":"Q6610613$3F55C1F8-04F6-4CCF-9FDD-59BD2DD7E68E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d304cb3d7cb222fa5f7fbd3d7d6486ff37f65993","datavalue":{"value":"10.4230/LIPICS.CSL.2023.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610613$64FAE26C-DDA1-4A7A-B499-6563D775EF94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6610613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6610613"}}}}}