{"entities":{"Q3435248":{"pageid":3445951,"ns":120,"title":"Item:Q3435248","lastrevid":86930900,"modified":"2026-06-04T10:14:48Z","type":"item","id":"Q3435248","labels":{"en":{"language":"en","value":"Hennessy-Milner theorem for interpretability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5146005"}},"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":"Q3435248$63438599-F5D8-44BF-B22B-DF0C3D7CB9B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42085005efd46997f6aaa4b45b89d53b46c03a5e","datavalue":{"value":"1117.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435248$DE5695C3-F34A-4302-9544-ED5AFBC160E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e0adf3c00216a49ea198818eaf1e832ec99c7b0","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3435248$8E342D62-F8A4-4490-AB4F-F02AE24DDB20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b017b11584e0194181f7454a0a65816f703f6687","datavalue":{"value":{"time":"+2007-04-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":"Q3435248$40DB1708-55FA-4D5E-BEC8-6893B2D93D2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435248$A975EE45-97D8-4568-8980-1DBC71702C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435248$F45EEA04-1914-45BA-9BF9-BC9604FA8F5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"082c418a0fb1badd12d7bb929c7c5a576d1fe12b","datavalue":{"value":"5146005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435248$2FC415C3-A1F4-44D9-8669-EC15F23A5890","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":"Q3435248$26C4FA46-0DC9-4E39-8739-A9A9050372E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300cd58018395db07af2068e367ed232488aecd1","datavalue":{"value":{"entity-type":"item","numeric-id":361870,"id":"Q361870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b257f2bbd36f06a67f87f57f05e210ce0691fff","datavalue":{"value":{"amount":"+0.8712829947471619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3435248$BEF92A2E-A8CF-46D0-A546-8016A00A9E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aec1e24438d23ed7a58b6d43f280b6194b5e092","datavalue":{"value":{"entity-type":"item","numeric-id":3520227,"id":"Q3520227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40dd3cd8031b339fdad12a10075f87298dd92f92","datavalue":{"value":{"amount":"+0.8467980623245239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3435248$38EE9DA5-CE1B-4AB2-B20A-EA0CE0F6512F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2e7e9ade92df5e6f004912a17314b89e97e894","datavalue":{"value":{"amount":"+0.82390958070755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3435248$5D113B19-A73D-41FA-8C28-CB6988BB6EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27bb369d98eef9b9ef7987251391366bf0c54cb","datavalue":{"value":{"entity-type":"item","numeric-id":2827954,"id":"Q2827954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c87563ded9215ad5804fa05bf15d6b5adc546e4","datavalue":{"value":{"amount":"+0.8225930333137512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3435248$C5E0A2C0-3B1D-434A-B03B-2FBFD6B2B1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52800f4b6f025afb309f7794216dc84b227ec4a","datavalue":{"value":{"entity-type":"item","numeric-id":5148108,"id":"Q5148108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7fc020f0850f7b209005d2320b555686404076","datavalue":{"value":{"amount":"+0.8220923542976379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3435248$E49E2D93-6302-474F-B97A-9980F78478FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hennessy-Milner theorem for interpretability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hennessy-Milner_theorem_for_interpretability_logic"}}}}}