{"entities":{"Q5958758":{"pageid":8135560,"ns":120,"title":"Item:Q5958758","lastrevid":97727423,"modified":"2026-06-05T15:18:20Z","type":"item","id":"Q5958758","labels":{"en":{"language":"en","value":"Divergence in testing and readiness semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715803"}},"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":"Q5958758$4B597EFE-698D-4E03-9C70-DC96C7551161","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e04636836908154690658267f3e60ddf00705ca","datavalue":{"value":{"text":"Divergence in testing and readiness semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958758$F6FD3326-A111-401B-ADC0-37C0BDA2308E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42a8b45f8766464622154c12fc3416dc6fb94bd6","datavalue":{"value":"0989.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958758$D2D5291E-3E8F-4B88-B571-ECBF700B85BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9a4a9aea9a37ec1323ff2e145a159bc5e825d5f","datavalue":{"value":"10.1016/S0304-3975(00)00170-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958758$BC3D3E6F-26BC-4F79-92F0-7F2A4D5CD456","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18224bff5766368d67ddcb517cf22b6a4ff445","datavalue":{"value":{"entity-type":"item","numeric-id":418132,"id":"Q418132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$2DD79D4A-79F9-4363-B29B-56ECA52B9F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19f3815d4ea66edeacb83c2a2978ca656c2f5892","datavalue":{"value":{"entity-type":"item","numeric-id":236762,"id":"Q236762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$1577455F-426E-4098-82BE-54A962E76E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c091a2e6ab80fe580104939a47a45052e3841b4","datavalue":{"value":{"entity-type":"item","numeric-id":859967,"id":"Q859967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$F38F14A8-80EC-4264-9573-DEE4DF181365","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$19A1FB58-CB76-49FA-8B3F-DBAC570890FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958758$5B5704B5-EE24-433B-9741-3B1D1A353BA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"989fa2c6986455742a7d2b2ec2d99bde5650e652","datavalue":{"value":"Many variants of must-testing semantics have been put forward that are equally sensitive to deadlock, but differ for the stress they put on divergence, i.e. on the possibility for systems of getting involved in infinite internal computations. Safe-testing is one such variant, that naturally pops up when studying the behavioural pre-congruences induced by certain basic observables. Here, we study the relationship between safe-testing and Olderog's readiness semantics, a semantics induced by a natural process logic. We show that safe-testing is finer than readiness, and coincides with a refinement of readiness obtained by tuning Olderog's definition. For both safe-testing and the original readiness semantics we propose simple complete axiomatizations, which permit a fuller appreciation of their similarities and differences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958758$CCB7E1EE-E873-4A72-AE2A-75D1235CA2CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958758$86377EB9-0D47-4368-9B6C-62A3B34765FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af57cfe4041f2bc3bd651f8a440087b5b7272eb7","datavalue":{"value":"1715803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958758$593F2ADE-990F-4F8F-9183-4B6B6A6EADB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f57827a322832517d49cf17226bb36c5510e0bc","datavalue":{"value":"readiness semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958758$9201DA05-CC9C-4BF1-B147-ACADC21684CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958758$261C89F2-36A8-430E-AE75-14471A837BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b55cc168a747e28c25898560a9798fdc0b512db","datavalue":{"value":"safe-testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958758$B62E3012-123F-481D-A0AD-AF2A6E8FCB10","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f2bd615569d7d4685ca0b9000ddf4acce7c79943","datavalue":{"value":"Q57650914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958758$1376AEFD-D2F9-4258-BD93-775155B44FF6","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":"Q5958758$DCA62AF5-B837-4CA2-98EE-50F9AE3760E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f506be801a258d09cfdf15c71d74a514018293","datavalue":{"value":{"entity-type":"item","numeric-id":1286368,"id":"Q1286368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$0EAC5492-AEB7-460B-8F43-70E304A0F112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$E80C604C-9D82-44C9-AAFF-6C172F80AFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e6006731b72d6e5b89c6e8aff14f50b9c45e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4721641,"id":"Q4721641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$F71E1113-9FFF-4495-A397-74083BFD6A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$73731FF3-7F3C-4C6F-88F4-BAF282C5A6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c285fbac4c0cc6de1d1ef52f1fe4ea0572069ed","datavalue":{"value":{"entity-type":"item","numeric-id":1317426,"id":"Q1317426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$10F7A9F0-71CA-4BC1-936E-E077EE13EE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$020B0635-30F3-41C7-AA38-DDAD5CCD0C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$5022C9F6-29C5-484F-96F9-F17D6F93E87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e38a8f602ec3e243e827434419bded1ded29e2","datavalue":{"value":{"entity-type":"item","numeric-id":4645218,"id":"Q4645218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$A66F6875-8654-4921-9A77-0115E350B6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$B97A54CE-AF42-4CD8-9B2C-64D1391F9B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958758$6036C3AE-3897-4F44-8B98-8BF0A95D20A7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"8949540257a39f0fb9412dade219aad2ca877976","datavalue":{"value":"journals/tcs/BorealeNP01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958758$BA459AAA-3D6B-4B88-93F0-55A641E9E959","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f44e41724f848021f4f5d10dab4fdf74cd3173c","datavalue":{"value":{"entity-type":"item","numeric-id":4645218,"id":"Q4645218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e96c98dbedb3a4e44aa130e29d8e659d4fa5bde","datavalue":{"value":{"amount":"+0.7743908166885376","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":"Q5958758$3B761FCA-AB6B-4F2D-9AEA-CDCACBDC9CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"198048b6de754b01a787cbd47eb74c372741875a","datavalue":{"value":{"entity-type":"item","numeric-id":4362920,"id":"Q4362920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afcbbbe55b1274a2622d99a01d70db9198268641","datavalue":{"value":{"amount":"+0.7733798027038574","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":"Q5958758$3E9F7169-90BE-4D5D-87B2-F3FF6CC80413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4964e9472d0264dc61ff0029fada0d82f46dfd10","datavalue":{"value":{"entity-type":"item","numeric-id":1902297,"id":"Q1902297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afcbbbe55b1274a2622d99a01d70db9198268641","datavalue":{"value":{"amount":"+0.7733798027038574","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":"Q5958758$B555019E-54B8-4C97-9268-71069288B775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb65c61a84d813a6b976038f119938331e3db44a","datavalue":{"value":{"entity-type":"item","numeric-id":927449,"id":"Q927449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5d41d2d21e8ebb456585bf49888b9378464be9","datavalue":{"value":{"amount":"+0.7180150747299194","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":"Q5958758$FE15005B-F689-4204-912A-0255287EA14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9957cd64b7d58cbdea6b3e9c67d8160770daf7","datavalue":{"value":{"entity-type":"item","numeric-id":4501573,"id":"Q4501573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1665c8b72cdc7e900f327823e2686e16a11ee5bc","datavalue":{"value":{"amount":"+0.7123899459838867","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":"Q5958758$16347EDC-7C4B-455C-A651-072E6BC81F15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Divergence in testing and readiness semantics","badges":[]}}}}}