{"entities":{"Q2892789":{"pageid":2903514,"ns":120,"title":"Item:Q2892789","lastrevid":79724990,"modified":"2026-05-06T14:34:14Z","type":"item","id":"Q2892789","labels":{"en":{"language":"en","value":"Probabilistic transition system specification: congruence and full abstraction of bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049314"}},"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":"Q2892789$696E571B-8527-4155-8A30-25F6789B6BA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cffb8eb8450bd2fa864f0160e77abe03942c05d1","datavalue":{"value":{"text":"Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892789$1738B277-5C94-42A1-BD5A-F1BCB7A386A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc78e8851e9664e8033752ec0a752f5a7983824a","datavalue":{"value":"1352.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892789$5DDE8CE2-5F40-4615-9F3D-EAA43348B967","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7078d35f0a1ca62ea69ac5cc6549345c27d8c0a8","datavalue":{"value":"10.1007/978-3-642-28729-9_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892789$F78D9B01-CEFD-46BE-BD6C-D0ED51BC9658","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b6ee79c459e72baf24abf4180a3c75000dba8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2093148,"id":"Q2093148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892789$98BF5C89-5972-4748-AB9D-D1702BE6CA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44fbc514ac4414d1f77b758348bbf20c72a9d00a","datavalue":{"value":{"entity-type":"item","numeric-id":1391790,"id":"Q1391790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892789$70D84828-7DE5-4F26-9EA9-B4F940C49647","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892789$021C13B6-B836-4EB9-B47B-F0669B91DBA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892789$B02D6980-35BD-4298-90FF-0E9426582DB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892789$419874D5-B190-4CC8-BABA-A9D0D7178670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892789$973A5DCC-913F-4925-AE25-34A822ACE3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892789$F91F7DFA-60FB-4881-B023-648C3EB51A53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc6f4d7d30bbcab2b240865d61ddfa988332df31","datavalue":{"value":"6049314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892789$A586D443-B370-41B7-919E-78B181FC7216","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":"Q2892789$FA89E20D-3672-46D8-82D9-B333952E10F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e77014e6fb621b3a000b1fdf73b061eb34dba834","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28729-9_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892789$2575D72C-8AB7-4D1F-A4D6-164C18A7E7CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47ef7e65cfabcc4b8e86ae87ae17727516bb18c8","datavalue":{"value":"W81345837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892789$10D72643-0B0C-49E6-A219-767E437E5D9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc503710798dfad31246259e053fc1ef919bfdef","datavalue":{"value":{"entity-type":"item","numeric-id":2946567,"id":"Q2946567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13915a05ec8985bac75e9e86ce7f11ef15ba9b5d","datavalue":{"value":{"amount":"+0.8507996201515198","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":"Q2892789$1AE71D7E-ADCC-4EF6-A7C2-01643226DDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa28cf266b343f5d69054f1fdc2cce485bea109","datavalue":{"value":{"entity-type":"item","numeric-id":5013870,"id":"Q5013870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd465d15d54191a335aa5c05da4fe1ec936b5a6","datavalue":{"value":{"amount":"+0.8497535586357117","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":"Q2892789$9187269C-8AFD-4F69-8B8C-D6D5C12C9038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09e9f351229d6d6203dc7f7bd4b5780c7f4ece6","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27166eb1ab76776c5ad4fadee08d745df8a33bbb","datavalue":{"value":{"amount":"+0.8444244265556335","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":"Q2892789$30CC0D07-2481-4B36-B20E-D03C366C5DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6ece8bcc7816a4788e66092ed565d648f8f5a","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a3f795f890517bb2e1907fce75143ca7b9ce71","datavalue":{"value":{"amount":"+0.8390735387802124","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":"Q2892789$5F780001-A134-4EE8-897B-1A2CDC8494B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c62cb76a8298b713a03a19641d221517b1e003","datavalue":{"value":{"entity-type":"item","numeric-id":764289,"id":"Q764289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8831ed7a3ea547cc095806dfd53364cf3fc55c6a","datavalue":{"value":{"amount":"+0.838459312915802","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":"Q2892789$F360D767-57D5-48F3-AF57-88A0DDAE1EAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic transition system specification: congruence and full abstraction of bisimulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_transition_system_specification:_congruence_and_full_abstraction_of_bisimulation"}}}}}