{"entities":{"Q5941201":{"pageid":8118003,"ns":120,"title":"Item:Q5941201","lastrevid":93438791,"modified":"2026-06-05T04:24:02Z","type":"item","id":"Q5941201","labels":{"en":{"language":"en","value":"On testing urgency through laziness over processes with durational actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635366"}},"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":"Q5941201$EEE40DE6-F57D-414E-80AF-226F97858AA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7314c5bbad616d770232cccf511f8396265f40b5","datavalue":{"value":{"text":"On testing urgency through laziness over processes with durational actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941201$DFFDB6F5-D845-4A4A-9227-844648E26C9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee5ce7f357fd4f5d45e7251b7c0f8d8c71c6d3c6","datavalue":{"value":"0974.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941201$F58F48CC-9AD2-42A8-82DC-639AB82B899B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb5bd4082a6a6735d274bbc47aad5651ea92371f","datavalue":{"value":"10.1016/S0304-3975(00)00026-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941201$B9AF7240-AC2A-4C81-81D9-D17DC36C488F","rank":"normal"}],"P16":[{"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":"Q5941201$F274B597-A940-4753-B278-A7DDCEF14C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7c73bb9fcbf6b9701d9bb96aa5b176239975ad9","datavalue":{"value":{"entity-type":"item","numeric-id":198020,"id":"Q198020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941201$BE37F6AB-4803-48FF-86BE-ED00EF13C847","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":"Q5941201$162F41C5-0256-4071-91E7-912E38266D5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941201$3EC78D91-9DE5-4B24-9975-78528F50C05B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3b795c5a5b161774295e4869357a79b1253dd23","datavalue":{"value":"In this paper we study restrictions on the expressivity of the timed process algebra with durational actions which allow to test urgency of actions through actions which can be delayed arbitrarily long before firing. This solves a conjecture in \\textit{F. Corradini} [Inform. and Comput. 145, 191-230 (1988; Zbl 0921.68031)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941201$AE92A530-90F1-4869-9E6D-92543AE71B8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941201$3BD23951-2BD8-46A7-9ED4-32A3CC215C63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbf43f139062e3241379b8e3dfc6d087b407e1c7","datavalue":{"value":"1635366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941201$CBFF00B2-3C24-4C0A-A75B-1CF54AFD21F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e63fb6833bac1795bc8e7a83e187ccb6bf8f0a95","datavalue":{"value":"time-critical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941201$CE67ED6F-D033-4E38-B9DE-B9F1EAAEFEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c4d7fd3c1cdae69e4d7599c56cadaab74f75b6","datavalue":{"value":"timed process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941201$097E770D-3FEF-409B-9770-9CF6D7188C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48333c0332c4eb5eeacceafee6208c6f6afa2c32","datavalue":{"value":"timed testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941201$63A01349-3E03-47F8-8E09-F4C2E02D0898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941201$BBF27778-9FA8-4296-B08E-127F023640DC","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":"Q5941201$A2B9C5DF-9F4B-41A2-9722-08AB35508FAD","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":"Q5941201$4D2A14EA-C6AC-4AD6-9838-A039B1334D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693033012ad0476cfbb8c861f1b08d16071cb497","datavalue":{"value":{"entity-type":"item","numeric-id":1275822,"id":"Q1275822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941201$922FEAD0-D5DA-4A94-AE64-05BC7D9492D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcb83357e0fdd0f96fabc683df6c913a01d9a826","datavalue":{"value":{"entity-type":"item","numeric-id":4222915,"id":"Q4222915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941201$9537BAA5-116B-4434-B831-DB7BD78BA736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf3acd09ad4b6f366cd0ba28cfb1df60b70a4f5","datavalue":{"value":{"entity-type":"item","numeric-id":5096393,"id":"Q5096393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941201$AB377128-1A56-4E8E-8EC0-A23260CA0F35","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":"Q5941201$75B9586C-F421-4BE1-A535-112027D9FB68","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":"Q5941201$E0BB6880-E139-423F-A546-1C11DDFAD749","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9374675a3f0d8d051c63a79ad5d9a484d802ab","datavalue":{"value":{"entity-type":"item","numeric-id":4917026,"id":"Q4917026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1fa25a358bc3e4f53f640539ba528489d86b02","datavalue":{"value":{"amount":"+0.7919389605522156","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":"Q5941201$8510154D-ACE3-48E1-93DB-36C73994EE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d7db23e57cbf19e70f9f1ac8f251050a5eb58e","datavalue":{"value":{"entity-type":"item","numeric-id":4461216,"id":"Q4461216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f904ca69aa297cc369008b944d51d5d21196b279","datavalue":{"value":{"amount":"+0.7883001565933228","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":"Q5941201$32B469A5-CC58-49C1-A7B0-9FB6EF844213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71aed0afbbbae8002f8e8e833eed54974f531adf","datavalue":{"value":{"entity-type":"item","numeric-id":5754523,"id":"Q5754523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89eb61b8272b48aad0f3422a239e33a3ca8e2b9d","datavalue":{"value":{"amount":"+0.7880779504776001","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":"Q5941201$8A165FC7-3DA1-498F-A2C8-44F6072B5B3F","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":"f45fbaee3ccd1d4373a363e7c3a4c82cde8aa5ac","datavalue":{"value":{"amount":"+0.7547762989997864","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":"Q5941201$8C1E5671-BD73-4E5C-9F08-BBFEF97EE7E5","rank":"normal"},{"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":"f45fbaee3ccd1d4373a363e7c3a4c82cde8aa5ac","datavalue":{"value":{"amount":"+0.7547762989997864","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":"Q5941201$B0CD4C3D-FB4B-4656-A796-1DDEA9839751","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On testing urgency through laziness over processes with durational actions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_testing_urgency_through_laziness_over_processes_with_durational_actions"}}}}}