{"entities":{"Q4598243":{"pageid":6627828,"ns":120,"title":"Item:Q4598243","lastrevid":52981106,"modified":"2026-01-23T23:16:30Z","type":"item","id":"Q4598243","labels":{"en":{"language":"en","value":"Composition of stochastic transition systems based on spans and couplings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820291"}},"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":"Q4598243$239E596A-7C02-4779-93C2-8CD12F9DD479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d8c42d04a21a995f3599b5f3f542047ebff5f77","datavalue":{"value":"1388.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598243$5E83EEF9-09FB-457C-8C16-89CA63341E06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60627a10f0b19a621292787f589023451702bf27","datavalue":{"value":{"entity-type":"item","numeric-id":4561428,"id":"Q4561428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598243$A370B7AA-33B9-4109-B882-BCAD702F2DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed2781b53a0a8b46d604dc9c062a87a23780da56","datavalue":{"value":{"entity-type":"item","numeric-id":967522,"id":"Q967522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598243$56CB1B9C-B2E4-44FF-B196-68C22D3EDC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598243$1A7334C4-CBF4-4E16-94A7-679110980B28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598243$8068AA36-8809-4393-A883-86816C6F4506","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598243$89CC93AE-3701-4B77-B780-3C200E001FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598243$CE5B5EF6-1097-4190-826B-EBE1EFAF5EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598243$9B24A097-2490-4D1F-9140-D340317EE87A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1103cebac9bc7d3eda53bb9f1cc1ed11436f789","datavalue":{"value":"6820291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598243$4C761B18-A625-416D-B731-1068A515FEB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd74124bffd039a48aa7aedbd342025440e3ad7","datavalue":{"value":"stochastic transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598243$03024E3A-4C5F-4DF8-AEDE-ECD891C7095A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598243$5F7A3B49-ABCD-45CF-987A-98E382F4C676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5792130ece8f4e031fbd2218989dc74fb82678fb","datavalue":{"value":"stochastic hybrid motion automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598243$B48364E3-5BBF-420A-96D4-08F23DF5D7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2996eac27fe7ea97b1eeef6938c3b5bb7146789","datavalue":{"value":"stochastically independent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598243$BE202C77-0186-4ED6-B5CD-286A1C4E2C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde0b5753e7bee56433fc0efda8d5d3fd8ff2812","datavalue":{"value":"coupling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598243$ACB6D82A-3CD2-42C2-BFE0-4390E3EF675F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"602871299fda387e5fe93a711a6b4c2b0f27d2a8","datavalue":{"value":"span","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598243$1678690E-86A8-4F66-B440-A97063E5C969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598243$DC590CC9-0652-4FC0-8744-292B1AF34A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598243$AF531ABA-DD9A-4FE2-9B19-3C9E0D8992DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66519391ea9a1978cb8c59756587a65be2897a22","datavalue":{"value":"Polish space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598243$66B51EEA-ED08-44C2-9AFC-14F36DF00461","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":"Q4598243$F8C0FCA4-941C-4BA5-B113-276AAD38C762","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ea1d810bfdeb0c38f88f0c97f29d3bee2481168","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#GburekBK16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598243$560CC09D-01A2-4232-BF48-96FCC57D1A87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68e3819ac15be246c7224ec03a65e7b5116b9cd6","datavalue":{"value":"W2529909874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598243$30DDA9B3-9D23-4FC7-AA08-2BD98CE83182","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b739a2abd2db2384846c7d7f2f17e08b400dc80","datavalue":{"value":{"text":"Composition of Stochastic Transition Systems Based on Spans and Couplings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598243$EB440161-C754-441E-8660-8754B271E808","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a68b17b842d8d78b4c4426434b71a6335e29d545","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598243$5292F0DE-0CCA-4259-9B27-C7E358F0EC07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741de2c21e5e873c64095f69a253617fff7361b4","datavalue":{"value":{"entity-type":"item","numeric-id":5740181,"id":"Q5740181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266bfbb01c6e7ec04f14e02246ecda446c7326b4","datavalue":{"value":{"amount":"+0.7599511742591858","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":"Q4598243$B4F56507-4AC5-4096-BC76-D735BA8C2DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e64633ec1a393cf785d4efb7bfa06a5e6f3c7ac","datavalue":{"value":{"entity-type":"item","numeric-id":3648832,"id":"Q3648832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e20a0952db35813b33ceb16654bbfbf0794960","datavalue":{"value":{"amount":"+0.7375921010971069","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":"Q4598243$5C139B8C-625C-47F5-A0B2-2F2B47437AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0ec086a0248bad95f82b766c51408ac666456b","datavalue":{"value":{"entity-type":"item","numeric-id":2403530,"id":"Q2403530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd290c53618ff4e4824b112248aa39383724bd03","datavalue":{"value":{"amount":"+0.7337492108345032","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":"Q4598243$F5FA8791-C3D3-4BEA-83A0-F7E5AC5AD267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3219f0733e0c468dc1f864dc09efd2a84799d287","datavalue":{"value":{"entity-type":"item","numeric-id":5177360,"id":"Q5177360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabe433d2150fc8c7a93fa04a27ba7855c757199","datavalue":{"value":{"amount":"+0.7281942963600159","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":"Q4598243$A6352246-FF1E-4F7A-BCAE-78BB0D1FA1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79efcbd26722708d1e68da66cf3fe9ecd8909abb","datavalue":{"value":{"entity-type":"item","numeric-id":5705913,"id":"Q5705913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4115a2dafc7e7f3e25533a17054c6c342b8b70dd","datavalue":{"value":{"amount":"+0.7279112935066223","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":"Q4598243$EBAE583F-A1F6-429A-88A2-C8826C80F18F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598243"}}}}}