{"entities":{"Q4989406":{"pageid":7018983,"ns":120,"title":"Item:Q4989406","lastrevid":55385656,"modified":"2026-02-17T15:15:57Z","type":"item","id":"Q4989406","labels":{"en":{"language":"en","value":"Failure trace semantics for a process algebra with time-outs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350777"}},"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":"Q4989406$90EEF4CC-A7D4-4B95-827E-8EF6D98966AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ffa60ea309af725dad80fc9f6348e56a9ea74b","datavalue":{"value":{"time":"+2021-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989406$48307728-4059-404D-B74A-4E0CC9EBE688","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f18ede7aab9fc01547957d8ee4cb41f1d414bcff","datavalue":{"value":"https://arxiv.org/abs/2002.10814","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989406$F4A81865-ADF0-4B01-994E-FD4426652642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"123d162171eb4a09d662270828d05de2fc850b9f","datavalue":{"value":"https://lmcs.episciences.org/7398","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989406$39DEB050-F9B4-4A41-B00B-5B231462BB19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989406$29B676C6-7F04-4967-B5CF-3E8A964DD428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989406$887606C6-6DAE-4467-B880-9F1B21C01741","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9234e4f8407797f3cd0cbf74be7e410f78e66ec","datavalue":{"value":"7350777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989406$320FFC06-F2C4-4B4B-B85B-B855CA1E471C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$4E8FCB77-B7BE-4B9F-9255-21FF8057DADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$34E5DA38-EF85-423B-9CE3-A24D556179DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"979db9603752fb3ccc2d6e95b344ced6204730dd","datavalue":{"value":"time-outs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$6AFBF673-827C-4897-AF78-B9F77A9A0735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24cc4d29473a9d86b573a92b75d8cb8b9ea2650d","datavalue":{"value":"priority","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$75E07130-AD4C-4613-A2DD-43768E10C894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aa38b5a39e196e435b8d019a512652089bec911","datavalue":{"value":"CCSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$1FD55689-0631-41DB-B426-74B786AC1A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$7178F2A4-5B26-4A3E-886D-39D156B53B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ec664965871c0a8620eb29fa635d4161e4f222","datavalue":{"value":"semantic equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$208CE628-06C9-4BA7-B2CC-976C1168D184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$EB5FCF2A-D162-4BB3-BEFE-0337CFB51868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$E401590A-813A-4989-9B8A-04699F70B421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8811d37e6d867b757349ebd59e6d9bfd552f686","datavalue":{"value":"failure trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$4A924FD5-79F4-482F-8700-854D94206CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0f6f1dd9781689914eea99b71d550932eb6ba10","datavalue":{"value":"absolute expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$C84F1D79-1B29-42E1-AA31-A30B79E579B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3dd681ae4aa07aa3469c3e799513cee1e62a792","datavalue":{"value":"full abstraction, safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$86C3B949-B66C-4329-9DCC-0C8E474E0530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c224cb9f062127910300c3c092c6a12421061bb","datavalue":{"value":"may testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989406$CDD439B3-F274-4870-AD04-44EBB91BA06D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$D1BE192A-5B41-47EE-ABE7-CF2092465105","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":"Q4989406$8834BFB3-4814-4C8F-812A-05C72D06B022","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"930cff729793c9543272b2b16970f179d3d40ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3763573,"id":"Q3763573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$1B33C3CD-9FDD-48C0-B447-7A94AE40E714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$22F410E8-D23D-4425-8CA2-F4FDB17D47C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$66C1AD50-8CA9-4401-A556-F178954A374B","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":"Q4989406$413FA845-9D3A-461B-9667-19140FC48945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1ee4edd7511750bce8287bc936441214772ede","datavalue":{"value":{"entity-type":"item","numeric-id":674191,"id":"Q674191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$726A0790-67A1-4E82-A630-56A46125B44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689a359b14c7eaf1819996ce0a39be45acac584d","datavalue":{"value":{"entity-type":"item","numeric-id":2340255,"id":"Q2340255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$8CED84A2-2D99-46AE-AC23-8B6407335168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$95784C62-D1A7-4C8C-9890-9E70F9BB0473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2e9ffd11d9a41e8b2ea96d17641f2104c36400","datavalue":{"value":{"entity-type":"item","numeric-id":5262963,"id":"Q5262963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$9DE63E25-7572-44D5-9032-4C7777691C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf796ed124a44edfdde0c00c7fe4bfe6b2a091f5","datavalue":{"value":{"entity-type":"item","numeric-id":3163871,"id":"Q3163871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$D3A0F90B-9157-487D-8120-2A6A28A6C432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91fb8fbdb9e6fc452aef376c4fb069fd21cbfa61","datavalue":{"value":{"entity-type":"item","numeric-id":5144689,"id":"Q5144689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$C491E3D9-5CE4-4D7D-8EBD-429C38AE7349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5bb5cbcfbfad5b368785c06d818194391a6e85","datavalue":{"value":{"entity-type":"item","numeric-id":1652980,"id":"Q1652980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$72662F16-8B31-43BF-9E38-640E05576A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20becdc4dab643799169648dae685ef2e0105988","datavalue":{"value":{"entity-type":"item","numeric-id":2011206,"id":"Q2011206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$48697E61-4D93-4761-BFF3-16AFEE6756CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88ea73e2c942029ee2e410013ee9fdb42608412","datavalue":{"value":{"entity-type":"item","numeric-id":5089269,"id":"Q5089269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$3CFA9669-557F-4D0D-BB14-6B05D1FE4B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b489051a8449fc1979e8e8dadf2729a749ef7af0","datavalue":{"value":{"entity-type":"item","numeric-id":1959439,"id":"Q1959439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$F0ACD7F3-1A00-4B13-B822-B1C645513BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$0DBF6AB2-252D-490E-BA07-0E8248D2F9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626bae08d1246f88200a39df86af055041dcba21","datavalue":{"value":{"entity-type":"item","numeric-id":1370654,"id":"Q1370654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$0B6EA8BC-0476-4768-B036-3EF31A18C6FC","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":"Q4989406$E96662A6-1F57-416A-BBC0-6B60C7473374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$811A971F-986E-4626-8A36-0AD50A0F950C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$44DEB9D9-FC0A-45BE-991C-7B6A28F3349C","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":"Q4989406$83EFC79E-8734-4672-B726-A458BE148A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fad09a2261565b34fdede6bea63ddea85f7474c","datavalue":{"value":{"entity-type":"item","numeric-id":3776645,"id":"Q3776645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$7A229EBB-0600-4C92-98EC-030F7D06931F","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":"Q4989406$F2DB9F1F-952A-4A67-B10C-1F1B2BB29811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7144675b54583a124c3dc7dcb936306ecc846d3","datavalue":{"value":{"entity-type":"item","numeric-id":2870198,"id":"Q2870198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$2CDAD69C-484B-4B73-A0C9-2A4A95C5C24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4301d50504125869b7b36ae7487bac0559bd1710","datavalue":{"value":{"entity-type":"item","numeric-id":1274446,"id":"Q1274446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$0BD18338-64C7-4CD2-8429-5AEFB3EDCEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3588e2885b6aa24897be30d497cc066aeffc96e7","datavalue":{"value":{"entity-type":"item","numeric-id":1891147,"id":"Q1891147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989406$AE513558-BC01-4416-A26A-72BB346F8AA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98b2285a4da37bced6b470ca74a12fbe08531c9","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5404586a882ffb51f37eb999210fa8320356fdb5","datavalue":{"value":{"amount":"+0.7948505282402039","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":"Q4989406$CE331A50-5708-49C5-8679-8B6BE0705509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a76a5e5ceda711aa9a1f10ce2639ef51ebeba20","datavalue":{"value":{"entity-type":"item","numeric-id":2687033,"id":"Q2687033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0708b6b4d121d878987aac6df63f64d71821844","datavalue":{"value":{"amount":"+0.7854424715042114","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":"Q4989406$C5407E43-BABB-468F-ADD1-F0CCF46C4227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55eba52c79c70f4952b7eb5c9f04aee1c310e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b37694d367147f06fe9a14b847af247e3ee39b","datavalue":{"value":{"amount":"+0.7736160159111023","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":"Q4989406$083257D8-C0D0-4610-BA37-46BE460049BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68fcb8529b37a24a0d00c439f57f2a4ed843b7d6","datavalue":{"value":{"entity-type":"item","numeric-id":3761679,"id":"Q3761679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fa1862595e39a8b9bcd593d660dfab59f9fdd3","datavalue":{"value":{"amount":"+0.7652804851531982","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":"Q4989406$25FEF949-7DDC-4B30-BC9E-B03C3391DF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34fe4d287a703d33a22e621c21c2b7e23a06c188","datavalue":{"value":{"entity-type":"item","numeric-id":4028626,"id":"Q4028626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66323f3a99d5f59c9cac2cd7d270c9f854ac1dc0","datavalue":{"value":{"amount":"+0.7540132999420166","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":"Q4989406$65749482-4B9E-4496-8B55-6EAFC1882FB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989406"}}}}}