{"entities":{"Q424543":{"pageid":426310,"ns":120,"title":"Item:Q424543","lastrevid":51478250,"modified":"2026-01-18T10:50:52Z","type":"item","id":"Q424543","labels":{"en":{"language":"en","value":"Lattice properties of congruences for stochastic relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040329"}},"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":"Q424543$6041EC67-388E-4CA6-80D6-7FFB0DE2BB4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ad8fcaf20b59fe2a27b0fe46b5bc9b19d8c4edd","datavalue":{"value":{"text":"Lattice properties of congruences for stochastic relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q424543$944FE911-8C1C-4604-B7F8-D77BABA81636","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5a1c5d339f0abc1ca95d632235ae37fae8d446a","datavalue":{"value":"1251.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424543$F0F2D701-86DD-40DA-9C5B-350BCE6FA100","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5e0806de5ee4186b467b007530d48a61d8fa76","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$25F8B27E-CBC2-4819-B9E9-19433C5CF384","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$BF18B28D-A388-437D-97B4-841D6FD38414","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q424543$AD4E13AE-4290-4C9A-BC4B-756A4315CDCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424543$03156124-2B99-47A4-8DDB-D690B68FD6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424543$73923224-3ED3-4993-96DD-5DC3AEE8C4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f10a8c2218f37e16920ada947854b8ed3009189","datavalue":{"value":"28A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424543$8BF83E3B-F0CB-41A5-A7C7-DAA513E74603","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"867ea6fadabd1c7aaef4a74a28f58ec1bc93e3a9","datavalue":{"value":"6040329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424543$54671A65-B771-42D4-AED1-CCE779EAB2C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c1eb3aec7274a8b997d0058452ce05be099d642","datavalue":{"value":"stochastic relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q424543$865F2642-AB38-4CDA-92A2-CAF54F553280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q424543$067A712D-032C-4886-BDD8-2A896CD62702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q424543$ADD3B948-987B-4E42-A82E-0C6E356A0CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q424543$DE038DE5-1AA2-4CD9-9935-91D2EBBCB90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3b21d63a3e03b932f983517f0bbff04608cd451","datavalue":{"value":"invariant set","type":"string"},"datatype":"string"},"type":"statement","id":"Q424543$F73DB017-76EE-4E87-9785-17DF7EEC8E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a26c619f3c34107172c32ab1d29a17af19378d","datavalue":{"value":"order","type":"string"},"datatype":"string"},"type":"statement","id":"Q424543$C768C408-6377-48ED-B523-3E2A26EA82DC","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":"Q424543$DDE0B580-49B8-4E2B-A3BB-3FD3C00F82CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5ed71ac1ff9b1dff2c460c720e19907fd3b98fe","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.12.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q424543$6D40AC2D-9CEE-44F8-B7E8-9A8AE63BB8F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8783f42ac5c49a35e88bff749ef00666637c547","datavalue":{"value":"W2011718533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424543$830E4676-E9EC-40EF-948B-729D882060E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ca487230e51198dffbbbc9c70d1f5cba9306ce","datavalue":{"value":{"entity-type":"item","numeric-id":2649248,"id":"Q2649248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$A1F74598-7E40-45FF-B622-BC1DBE81672D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$75685CE1-930B-4C97-B214-8EC3ABDFF81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacb971a9ba51fec57dbb3d5aa315d494051ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$F20A7654-877B-4E4E-9541-A10FEBD10FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$BDABC0C8-2E7D-4B39-BD30-9EFE801FF7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe345c7c5946b7f066ac0bd9178ff5b80fa23956","datavalue":{"value":{"entity-type":"item","numeric-id":5470704,"id":"Q5470704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$B8026275-0AE8-42B5-BAA2-B9594EB313F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0f3cfd147c4eb5f36a2401403eedc07bf675bd","datavalue":{"value":{"entity-type":"item","numeric-id":5309952,"id":"Q5309952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$D7BC567E-F341-443C-9158-4164AC5762F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7cdcf6035824748a91c6194709bd05dc904048","datavalue":{"value":{"entity-type":"item","numeric-id":999266,"id":"Q999266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$B1B67BAB-B14F-4D64-9346-85B483A84D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bcf4933a0b68a2c7c24bdad3be122eb17e17b2","datavalue":{"value":{"entity-type":"item","numeric-id":2701650,"id":"Q2701650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$0540E6A2-5800-483D-94BA-88885E520E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$21794085-CDFB-4842-B93B-115C41B5EA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$223CAA30-5C8C-4E15-90EE-6E52C5A8C755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$B039E0AF-5A55-44B4-9BFF-FB3EA31D3843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$B0504B0A-5FA8-4258-A793-79D08D0AF1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26c261977709f56a264138a336ca567735b79b2","datavalue":{"value":{"entity-type":"item","numeric-id":4262602,"id":"Q4262602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$15D4A96F-A99D-497A-AD18-798CDBE88FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37b574a8e0108f39815c3a7ecddf331f8ac81b7","datavalue":{"value":{"entity-type":"item","numeric-id":3250854,"id":"Q3250854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$C62E1866-7AAA-4FA1-889D-D162D01ECFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3c33e10d0d155672830d865a8b733ae30bc272","datavalue":{"value":{"entity-type":"item","numeric-id":3562744,"id":"Q3562744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$3B9C969F-AD30-4745-BAFE-552CA76B28EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$9B44D93D-14ED-4407-9DFF-89C0425D9DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9399391759f7fc7292a0e80eba8b4af0d94a27","datavalue":{"value":{"entity-type":"item","numeric-id":5271395,"id":"Q5271395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$3A5C1C92-2EB3-4984-92C0-CBC84D32242A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f6da33156d7bbb3ac6bef947452707f394a43e","datavalue":{"value":{"entity-type":"item","numeric-id":3630218,"id":"Q3630218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$8FF9CDC3-2041-47D1-B3C8-1AF53E3BE737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fde3601c37d65874040900fcfb0e7fb2f979041","datavalue":{"value":{"entity-type":"item","numeric-id":4396494,"id":"Q4396494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424543$82B5810B-8B95-4E1C-BF71-391C5CCA7204","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9ee76db05f829ce887de4bef7b6fcc0c84085e2","datavalue":{"value":"10.1016/J.APAL.2011.12.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424543$859A6667-4FD9-42A8-9E39-E418398E2468","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cd3a6ba6886cf508a56b50d46dcb8c6b5ff425b","datavalue":{"value":{"entity-type":"item","numeric-id":5470704,"id":"Q5470704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603e2ae0aa29bc5cfc714282e8e989a52004be04","datavalue":{"value":{"amount":"+0.787414014339447","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":"Q424543$04DD8BE4-0A4F-4B30-B8DE-CA2021C686D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23a86b065585e99a60333db8af1a4281af72341e","datavalue":{"value":{"entity-type":"item","numeric-id":5087789,"id":"Q5087789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dffcc94b1d15397cbe078d89f4dea96bec422284","datavalue":{"value":{"amount":"+0.7745521068572998","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":"Q424543$B32A5D33-9AA5-47B9-BC05-82F409626323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c538a4115be8447e151bf75ea8bfe10e61f407f","datavalue":{"value":{"entity-type":"item","numeric-id":5150972,"id":"Q5150972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4188e9ba21adae03ef258270e8d98e6315d74933","datavalue":{"value":{"amount":"+0.7500751614570618","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":"Q424543$74FCF637-A1F7-40D8-B272-854F58AFAF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8506e7be8349de1fdba58475aa8a2abaf1b107e","datavalue":{"value":{"entity-type":"item","numeric-id":1764800,"id":"Q1764800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a529f02018fb1a6d3c22e079dae416b393731709","datavalue":{"value":{"amount":"+0.7405338287353516","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":"Q424543$0CBE44B7-A45B-4EFB-9B0A-A6638FF39615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109f73d2d72c3a1071d1facc4e48128c04668130","datavalue":{"value":{"entity-type":"item","numeric-id":4417862,"id":"Q4417862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b1c04e53fa18b2d3c292dcee3dc50e3ad88b1e","datavalue":{"value":{"amount":"+0.7390169501304626","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":"Q424543$9CD361C1-8F68-4D65-828A-9BC3E15DC54E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:424543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:424543"}}}}}