{"entities":{"Q1822989":{"pageid":1833731,"ns":120,"title":"Item:Q1822989","lastrevid":49305868,"modified":"2026-01-06T22:41:34Z","type":"item","id":"Q1822989","labels":{"en":{"language":"en","value":"An algebraic characterization of transition system equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114040"}},"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":"Q1822989$E1613F07-394D-4CE9-A0D0-8EE56004EE0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4373d3db9bc572a7ede5c391fa9b15ac31d3e83","datavalue":{"value":{"text":"An algebraic characterization of transition system equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822989$670D549D-EC4A-4989-BDAE-C6C7FEF8C82B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29fe23516b2804a8dbad3d5dbd507cb03a71fba0","datavalue":{"value":"0679.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822989$BC3197B5-D5EE-4DF1-9441-80E4306CCF87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26b8b529ea2d918706029ecb2b517482e471bbbc","datavalue":{"value":"10.1016/0890-5401(89)90054-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822989$0517F3CF-0A9A-4C48-BF74-1C0AE1A7AAEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$A65213BB-9F5D-433F-91DB-9EE0182D2098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7215a7675a0dfff6f0d53bb42dba77f06ad8708","datavalue":{"value":{"entity-type":"item","numeric-id":1822236,"id":"Q1822236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$4F326EC8-CC70-4857-8A97-2031BB969D8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$1C8F8230-5710-43D7-9136-997524A0CC92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1822989$AF6B5678-9B66-4465-AF90-0984EAA8316C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822989$0EC6B4A0-69A7-4F61-8B83-E09EA37938DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fed2bbff53bbe0f3e9fad90e54a2f5cf35cdf0f0","datavalue":{"value":"4114040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822989$A33FA76B-C46B-43DE-B60D-F648A55EC5B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f9ee0b572b6453cb255cdfcd6a1a36df8979d","datavalue":{"value":"logical equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822989$8E8E45C4-46D2-4C8F-B88E-0E09023E6CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3a17970763a4ac2d2381504c4232b1a4289d0b","datavalue":{"value":"algebraic interpretation of temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822989$9CCFD36E-AEE4-4179-82DB-FAFAECD2B69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0196752501c12db1b188ecd28577094f80b96c43","datavalue":{"value":"saturating quasi-homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822989$34C4C2D7-8A20-436B-BAC2-BE91C605D5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a7a9fc5fb17d67cc949468e4b000068a62213f","datavalue":{"value":"power algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822989$BAB1724C-3BB1-4C4C-AEC2-CB7675A91BC8","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":"Q1822989$78F9553A-5712-4DD8-9CDB-C5E5C366D609","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"496dce4e7dfaf20e15d65f51ef8faa6cba25b88d","datavalue":{"value":"https://doi.org/10.1016/0890-5401(89)90054-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822989$D23646F6-7FB5-4ACC-B448-6CD6853B9BA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1b0bcc305e5fc61cae2e868ed2d6159cc1c6a3a","datavalue":{"value":"W2063896982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822989$1D0BF448-BF86-439A-8F84-B23F8032DC6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a233fcdd59ed375b107dd5278d5d7a6acd0c91c6","datavalue":{"value":{"entity-type":"item","numeric-id":1822237,"id":"Q1822237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$0A813B12-11CD-4D28-83BF-B3A279177F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f64d7ebfc288a54139c42ec42a069a71b552c77","datavalue":{"value":{"entity-type":"item","numeric-id":802306,"id":"Q802306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$FB7BBC90-5D17-4D35-971F-12F605ED66E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74cc36d67bfa05327429ce9b5a018fb52a35f57","datavalue":{"value":{"entity-type":"item","numeric-id":1060006,"id":"Q1060006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$44A99A1E-0708-4398-8D02-23E91977B615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$9B9B5534-D82F-45DE-A393-3BC1543F225F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$7A24DCED-E778-4C93-A2D2-DDCE55C110A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$04955147-D297-4E8C-BD65-B8E30F283197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62af41889104b2088c9f0f6072faa6848ce881d","datavalue":{"value":{"entity-type":"item","numeric-id":3221398,"id":"Q3221398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$465DC24F-7052-4313-8915-CCE88C36570A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fde0a84a4f25daa3e642664f36f975a49d3484","datavalue":{"value":{"entity-type":"item","numeric-id":1089791,"id":"Q1089791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$AF251998-C807-42A7-8526-0B0CA4663A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8d04412ed2f19368989d7dcf5461a47681b12a","datavalue":{"value":{"entity-type":"item","numeric-id":3336680,"id":"Q3336680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822989$93A10CF4-BA29-42FC-9C50-F7EE11849531","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cf8c424faf53c3ca3f34e19b8cedfcca21a70d","datavalue":{"value":{"entity-type":"item","numeric-id":1351804,"id":"Q1351804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c41ce22e32309e2e68921456391f3d7548c958","datavalue":{"value":{"amount":"+0.8356384634971619","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":"Q1822989$7626EBA3-063C-43B5-8937-E3206AC1598C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8928d749bb79e42966242c4ed38744ccb54041e2","datavalue":{"value":{"entity-type":"item","numeric-id":4818824,"id":"Q4818824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff97bbe5a61e125d89e05f9c266749019f3e54f","datavalue":{"value":{"amount":"+0.8353855609893799","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":"Q1822989$F241F716-BBA8-4051-9846-E9BF8438A729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e93f319fa8cab0e419f82641884932132be034","datavalue":{"value":{"entity-type":"item","numeric-id":673968,"id":"Q673968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40963557b5a50c78444129f837270a122d688ec7","datavalue":{"value":{"amount":"+0.8213090300559998","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":"Q1822989$57037B47-B6C8-4452-83E2-9AA42EB68CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f095ea7dda96769a796929d20fa6ff04fd181bb4","datavalue":{"value":{"entity-type":"item","numeric-id":4260382,"id":"Q4260382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807494a739e498a7c5c66e8d71a645afb9885f52","datavalue":{"value":{"amount":"+0.7963279485702515","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":"Q1822989$F353D9F3-741D-4E44-9A95-5E52EDC76AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96b6fee382d5a58099a4c8d0a3a54c79195649c","datavalue":{"value":{"entity-type":"item","numeric-id":1822237,"id":"Q1822237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca3b53a3ee0a0f96f507cc190843d62ef5e4b95","datavalue":{"value":{"amount":"+0.7917739152908325","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":"Q1822989$6803DF39-EB1F-4EFB-8D2E-4269C9440E23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1822989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1822989"}}}}}