{"entities":{"Q288785":{"pageid":290552,"ns":120,"title":"Item:Q288785","lastrevid":60674691,"modified":"2026-04-10T18:27:00Z","type":"item","id":"Q288785","labels":{"en":{"language":"en","value":"Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6586460"}},"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":"Q288785$0284D340-70E6-4EDD-9C4F-29CFC84C324E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7a9ee60e497976f3d68e307f83521643b2bd630","datavalue":{"value":{"text":"Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q288785$20483F4F-C0EA-454A-9AFD-7F0E77526D01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb981e92aef0e3a9ee8901df73c4d98832d65cd7","datavalue":{"value":"1339.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288785$4F05937B-D0FD-41C2-8663-9D655DC76CD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b01b28361973f8f6aa733f4b48583b04bbaecd","datavalue":{"value":{"entity-type":"item","numeric-id":199201,"id":"Q199201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$361F85DD-E94D-4EFB-9069-FB017AD32765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee65a70d0957435b8677048012b64cd699e6f41","datavalue":{"value":{"entity-type":"item","numeric-id":236445,"id":"Q236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$B1B03996-BB9B-4C0A-9E17-4809A461063A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7076f0b8835263dca513915b05854fd5c0f2a65d","datavalue":{"value":{"entity-type":"item","numeric-id":288784,"id":"Q288784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$4E386381-AF47-4DA9-B967-BBD603944C64","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":"Q288785$EA0596F2-B1D5-42E7-94D4-76C744624F51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3bea0b7db7954e7b20361e09b95af0f5516285c","datavalue":{"value":{"time":"+2016-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q288785$0A6A9C94-0C2D-4F11-AA35-DCCD0E33FF1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288785$6FE0BF64-C44F-4912-81CE-5F8FD335DC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288785$9C033C57-2779-4C6D-B5CA-0E5417933EA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a494128ca77505758ae7b884568fb86ef6433c0","datavalue":{"value":"6586460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288785$48300514-AC38-40F9-8584-E314B40C2250","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"442f8eb5ddc76b505b7680b737381ed2efaf80b5","datavalue":{"value":"timed process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q288785$110747CC-EA07-4622-B13B-02A4E5578D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd6138e4c54cbb9b0e37f97b8864f20668f7a94","datavalue":{"value":"deterministic time","type":"string"},"datatype":"string"},"type":"statement","id":"Q288785$0C311717-821B-45C2-B7FA-15A1AC756ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c252b33b3f2955bd9f93fc405027ae252b16c7b9","datavalue":{"value":"stochastic time","type":"string"},"datatype":"string"},"type":"statement","id":"Q288785$E30E1CF2-4B22-4C91-86F1-4F82342813CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q288785$0AE1D9BB-38C1-4298-9BAD-BAB4ECE791DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q288785$E556308E-1A19-4F09-9AB6-628E5DF6C4E5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"55ed456df0ffc1cd3c23ce4a4135bce2c5b86ef9","datavalue":{"value":"Q124343738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288785$08A0B3F5-C760-4FE2-A6C1-2494E54D735A","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":"Q288785$7C9A15E8-B588-4F0F-B589-6A45AA7B3CA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66c8f768871dbe07457769ef30d6a129f695e7e7","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.02.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q288785$5252C9DD-C8A4-4613-912F-CBEBCB45A061","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"601b7aa6cd89931bdd4cfd6aef2fab97edfadb19","datavalue":{"value":"W2282875934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288785$C5A560EA-BD69-466F-B463-CBD1F2F5755D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc1fbd3a5b98796f839fda0f3c43c059ca59b72","datavalue":{"value":{"entity-type":"item","numeric-id":1924998,"id":"Q1924998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$C9E94C1A-5EAA-4A58-B77C-66A4AD2BB5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995e09e11031a81f0e8fcb1fd6203f3a1b4afe05","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$DF1E427F-5AB0-4B2D-A3E6-3398FC8DE751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d796771f80d6be9d52a869c0663fd33b77dc35a","datavalue":{"value":{"entity-type":"item","numeric-id":5151010,"id":"Q5151010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$821ABB39-068F-473D-9F59-E836A95FE861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd2660dfd591715bd7315a6b26928de506421f0","datavalue":{"value":{"entity-type":"item","numeric-id":481103,"id":"Q481103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$AB1BCB0A-E96E-4FBB-B21D-B349BDC8C7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cac37f4c2e1368ce86e5603c98ab39d19c67116","datavalue":{"value":{"entity-type":"item","numeric-id":1853585,"id":"Q1853585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$1FD04859-60CC-4E83-9A71-634C0229FAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d8c1b223e1ad4347765b393bd3e2efa8abf27a","datavalue":{"value":{"entity-type":"item","numeric-id":384933,"id":"Q384933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$57DA9981-7861-4DCE-8230-64DB27E6F03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48f52de9a4a1b8cd2deeeaf3402deb174d136fd","datavalue":{"value":{"entity-type":"item","numeric-id":1128976,"id":"Q1128976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$1104ED85-59AF-4E5F-B038-43A2A85D3EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f22435600bc8ffeebaced347a85ea6f5351c13","datavalue":{"value":{"entity-type":"item","numeric-id":4028626,"id":"Q4028626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$3D529808-1A1D-492D-BD32-52BE1E1BCB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1494adb713f0e519f66deb5dad03542142633e","datavalue":{"value":{"entity-type":"item","numeric-id":1854325,"id":"Q1854325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$9470201E-61F4-463B-A200-27788651F6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819647a0df2454c57c57c52b9899d66ae2a22f50","datavalue":{"value":{"entity-type":"item","numeric-id":1403331,"id":"Q1403331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$2F75A2DD-E40B-4236-8D8D-07C1DDBDE064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90b2d28fac9587e166b346b7381bc4f656d8d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5419173,"id":"Q5419173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$4A22F61F-3531-463F-8C62-9A6304415354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$D61F5107-1DEC-45C0-8AEA-589CD165D1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70bb2d79d7856588575b5f6a12e9beae87fc9581","datavalue":{"value":{"entity-type":"item","numeric-id":674005,"id":"Q674005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$84E18FDF-FADF-43D3-9422-A6CA96364771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$45089987-7200-45F6-8D20-38C3EAB6F212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$0D3EDC52-DD45-411C-9F7C-027CCBD1F643","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":"Q288785$4E877414-D1DF-4EE9-A04B-9DE7DD2002C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$6CBC139D-0CC7-4E97-A187-35F40C18F8EE","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":"Q288785$BEAC29B0-7C9E-4968-9054-D9742E31BA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61186dc5a1a66abba270342c28aed2589a260320","datavalue":{"value":{"entity-type":"item","numeric-id":5204347,"id":"Q5204347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$E4C5F058-A422-4A08-B1F4-36A64BFF10FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$2566D80D-4377-44CD-A806-AF4B86F3A498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d070117b2c9c319216e3f2327ad68f98f04cdf4","datavalue":{"value":{"entity-type":"item","numeric-id":1261314,"id":"Q1261314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$3026DA61-F2A7-416A-9CD0-994B92656142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$6BF1EA5F-67DC-467D-9F37-3A16211A5DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$00080DE7-BE17-4291-A6D7-55DCCE6E2F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288785$856B7F34-B5BC-47FF-8B78-BF00B6973F96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea5cb334185d90f1c82bff12275218fca11029b1","datavalue":{"value":"10.1016/J.TCS.2016.02.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288785$932A0FD1-76E8-413C-9251-FB2C5389E1AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9180bcb1348fa212cc2b581df88e11fb9635f37c","datavalue":{"value":{"entity-type":"item","numeric-id":5151010,"id":"Q5151010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c728236dda348ae1b61e197cbbfdfc34ac16ee1c","datavalue":{"value":{"amount":"+0.8184053897857666","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":"Q288785$76E6FC26-4610-4309-B420-25EC9BBEA869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090ef1b1c1f54b6a3aa1dd04a1c7c7ddf12fc7ab","datavalue":{"value":{"entity-type":"item","numeric-id":5941628,"id":"Q5941628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe48e607dbc83adfc142bf4b3323cb77f00e338","datavalue":{"value":{"amount":"+0.7798553109169006","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":"Q288785$8E0F5EA7-C806-486A-921C-10776726F450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58842b600fb9ea4c16dc25fc3a2a5dd335d1209c","datavalue":{"value":{"entity-type":"item","numeric-id":2830030,"id":"Q2830030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe48e607dbc83adfc142bf4b3323cb77f00e338","datavalue":{"value":{"amount":"+0.7798553109169006","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":"Q288785$68F685F3-3413-4C78-8C7A-16DB0B035B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3143419744d16add6269343b344e4d666e58174c","datavalue":{"value":{"entity-type":"item","numeric-id":5446173,"id":"Q5446173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9b8efc19502d27216ea369723c00ab4bbbf0f7","datavalue":{"value":{"amount":"+0.7782998085021973","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":"Q288785$C237A1D4-B4DF-42F8-91BC-AF64B73BE02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6328f72c0b4573a75cd628c106ef2d70d451c9d","datavalue":{"value":{"entity-type":"item","numeric-id":1854325,"id":"Q1854325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b1767714b7ebff1bfb7eaa641268e9451cd35e8","datavalue":{"value":{"amount":"+0.774314820766449","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":"Q288785$952E6C06-6049-4E75-8B04-3FDD25A3C394","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Timed_process_calculi_with_deterministic_or_stochastic_delays:_commuting_between_durational_and_durationless_actions"}}}}}