{"entities":{"Q4598247":{"pageid":6627832,"ns":120,"title":"Item:Q4598247","lastrevid":58298661,"modified":"2026-04-04T15:15:21Z","type":"item","id":"Q4598247","labels":{"en":{"language":"en","value":"Reachability in networks of register protocols under stochastic schedulers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820295"}},"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":"Q4598247$AF274788-ADF2-475F-BA01-7DB3D9D30CAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df374c76083ca423e7d61c0ac6860ceb3cf516b4","datavalue":{"value":"1388.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598247$6873C2D1-74BA-43FC-9185-337F11464F25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598247$1EF0A256-FC73-468F-8E84-F33330C89473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598247$57619D96-EAD1-4EA1-B36F-C6FBEEA0D40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c81ecddee79d99c8678fc9dd53875c5c797bf24","datavalue":{"value":{"entity-type":"item","numeric-id":526758,"id":"Q526758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598247$1A56060B-B761-44FF-9701-B3F2DC36830F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598247$C48A8875-D8A5-4705-8DB7-F412406ABBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14e56827f06618d86e2b4607051191938dc12b14","datavalue":{"value":{"entity-type":"item","numeric-id":832264,"id":"Q832264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598247$CF27F089-55FF-4245-A122-2C94BB3BEEDF","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":"Q4598247$A92F7D77-21A2-4F02-9D55-82AB1231E696","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb5082c49fa74a09ec82133a4f5d56e1d556d6cd","datavalue":{"value":"https://arxiv.org/abs/1602.05928","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598247$3FFDC377-ED1A-4561-B16C-4D77625F3253","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598247$9C3A464F-EC7A-48AA-AA40-0B542BAA89EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f69017319b8676ef47f221da3d526b90d5f3853c","datavalue":{"value":"6820295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598247$00F1C135-B3F2-4281-A3AE-BE3B12170505","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a79e6ce0d000673214e230cffb3d247371c4537","datavalue":{"value":"networks of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598247$70EA83EE-646D-497D-BFE6-0299E4642E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74d32ed31033b5f15737459fc42ebbba0e2e9cd2","datavalue":{"value":"parametrized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598247$E89E9611-CA34-4C69-858E-CF261A1D83FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"599acc7a5a884e89bdc30c668203b57a36e88284","datavalue":{"value":"stochastic scheduler","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598247$1512D4C5-8AA2-4035-AED6-E2B5AADADBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f4fde25db34c7d20421a27cc7876a360ba2c3d5","datavalue":{"value":"almost-sure reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598247$E0FC6683-8156-4335-8B01-3F8BA337F514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6194eb0ad2e1e5d6a1584c7d69e3e449d27e0d","datavalue":{"value":"cut-off property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598247$44B0DC6F-A90A-4335-B4EB-4C69F1520E79","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":"Q4598247$FA143E67-D6EA-4622-873A-85E6E1399593","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ff69ddeab18cc83f9a1cc0ddfbd17682f39e5d0","datavalue":{"value":"W2280864594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598247$8BEDC09C-4573-46E6-A290-E6E0CA3990BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8576abcdc326ac82eedf6b183c34e3d114faf01","datavalue":{"value":{"text":"Reachability in Networks of Register Protocols under Stochastic Schedulers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598247$3A143ACF-66A9-4BD7-AC17-34CAD7590A55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e991aa21aeaa8c8ca39ebd392bbdb4994c94db1","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598247$807AFB17-1D10-4BD7-A03D-1C5B199C63B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bb06957b79b3d90d78c6c75dabc90365ce6e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4608669,"id":"Q4608669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565306352c718f21206904fd03a6922b1e3081bc","datavalue":{"value":{"amount":"+0.7095995545387268","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":"Q4598247$7E4CF8E4-82B5-46C6-8663-1C67440E5C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3574c47a5ebda0648dfab2b61d565b0c7637e532","datavalue":{"value":{"entity-type":"item","numeric-id":5357693,"id":"Q5357693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9b9422abfb8d1d4a23c28a326c68ebf05a1d9e","datavalue":{"value":{"amount":"+0.7089893221855164","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":"Q4598247$77DE46DA-F9D2-4C93-BF54-421E28F4B349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42fda845dd1b0e66bb4a54d009dcbd25f755874f","datavalue":{"value":{"entity-type":"item","numeric-id":3100947,"id":"Q3100947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a089aef7808aedd94512ae24571a3283083ba08c","datavalue":{"value":{"amount":"+0.7042900323867798","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":"Q4598247$51B207B3-BC2A-4394-8AEB-9B74DE9560C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3bb6e2f7750defc6972fd55a09ddc6bf03342f","datavalue":{"value":{"entity-type":"item","numeric-id":846015,"id":"Q846015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbc863d80e53cc842f3b0a6e7dc8bc03e5671a6","datavalue":{"value":{"amount":"+0.7034100890159607","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":"Q4598247$B90E2DDB-1363-4D95-A79E-55DC05D2B6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c309999bbf974b7132c51b3b41f6b52e6548b44","datavalue":{"value":{"entity-type":"item","numeric-id":3651281,"id":"Q3651281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba58d8d7bcd4a7d6e7cf0ccf7af7a28be6c837c","datavalue":{"value":{"amount":"+0.7005414962768555","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":"Q4598247$198AA499-1A1A-46C2-AA98-9BEBD56ABF82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598247"}}}}}