{"entities":{"Q1891147":{"pageid":1901889,"ns":120,"title":"Item:Q1891147","lastrevid":71075565,"modified":"2026-04-13T19:19:11Z","type":"item","id":"Q1891147","labels":{"en":{"language":"en","value":"An operational semantics for timed CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 758662"}},"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":"Q1891147$1135168D-993E-4C78-B494-C9B1D19E800D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4ee7d69ed0e48132842e04efea2abebcdebf611","datavalue":{"value":{"text":"An operational semantics for timed CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891147$18BB48F8-5E1A-40EA-AC37-8316AB42DE24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3448412074bc4398dba0db9985e216c02fdbd7af","datavalue":{"value":"0827.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891147$23CC985F-5344-4584-9CB4-1FAFEAD37CF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf760af8264fe1b213073283cef0a10d170b64e","datavalue":{"value":{"entity-type":"item","numeric-id":293166,"id":"Q293166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891147$1E9FA725-3B05-4420-B96F-C50A063432AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891147$074DDE5C-4131-46B8-8D66-155FDF255A78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d7950fcba93937c458f7df15b99792b7a58fc45","datavalue":{"value":{"time":"+1995-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891147$D25090E5-D2FB-45F0-AAAF-D4DEC2460857","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891147$0F44441B-CCBD-48B9-8454-042C64313824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891147$577CC014-866C-4CE2-B49A-DC06BAABFAA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b272b6d7de1213027721712e86c5961d90c25b1","datavalue":{"value":"758662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891147$1D2D3C34-128B-46F5-BFE7-F5F6BF72ECC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891147$B8C6A5BD-D917-4996-BEFD-1A1DFB79C4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4c62e5f61ed50e63e4f63ec40651f6e152677c7","datavalue":{"value":"timed CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891147$EB22AF79-C669-4AB4-ACD8-45B469DEB826","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":"Q1891147$6ACFE5F7-783A-4EC0-9AC6-830D4E9442DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"582ce3a7aaed04736b4f9b8c8b07ef6f8047c2ed","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1014","type":"string"},"datatype":"url"},"type":"statement","id":"Q1891147$76D75F06-CF05-4062-9A42-543959099C25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1f2a538f4621f8aeb4ca1efcbd31e359ac9b738","datavalue":{"value":"W2037230951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891147$121F9967-4278-4BA9-ADC5-2B53A129D3B8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5f8eda4e192a69f8ac55cda35ca0b4b6d581b066","datavalue":{"value":"Q60173625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891147$A796874C-8A9B-44A3-BF8A-A5F918D12CC8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"86fd24b9724d36f16a5c18ff3db5f077963acc2d","datavalue":{"value":"journals/iandc/Schneider95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891147$B84BC44C-673B-42F1-91CC-351C7C491260","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe70e6826266b8d1e84d95f472a2da8db24d3719","datavalue":{"value":"10.1006/INCO.1995.1014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891147$14B0EF4F-47F4-4005-BC2A-7A7E40A0119E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25308a7597a15a776da79b4b2442bd71b3948ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5286028,"id":"Q5286028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46efe099385ca1b6ce81c9316475c8ace74df59d","datavalue":{"value":{"amount":"+0.8207862973213196","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":"Q1891147$6F8AF7B8-9C98-45F6-A6BE-137DB5A223AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86abfba7ea5617dbf8878ebac98a3e69ffcb26d8","datavalue":{"value":{"entity-type":"item","numeric-id":1274446,"id":"Q1274446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b863c60b76007d802002c2d66fed4e4d82e02024","datavalue":{"value":{"amount":"+0.8124481439590454","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":"Q1891147$752F2147-7D18-4AAD-9184-53040D594A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1cf4e07dc7234f03b47447521843638c9939afe","datavalue":{"value":{"entity-type":"item","numeric-id":674193,"id":"Q674193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe466af619fa0d1aea14a45cea739806f52997a","datavalue":{"value":{"amount":"+0.7983550429344177","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":"Q1891147$47B27472-9663-4209-B940-5BA6C44ACF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10830d96225b58745d6fa18d7bd3380cbbf739f2","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a89b8665412220454d5d2aa8c0011ea412f1c81","datavalue":{"value":{"amount":"+0.7863561511039734","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":"Q1891147$C8895111-D1B4-4A3B-BB46-BF90A73FBE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a114636c32a4e2830354506584b28ec6be820a3","datavalue":{"value":{"entity-type":"item","numeric-id":674191,"id":"Q674191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b4ec53d2b3ed978cd3815a226783b5859ff665","datavalue":{"value":{"amount":"+0.7832632064819336","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":"Q1891147$4C120907-EE1F-4455-97DB-7C3B94E43684","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An operational semantics for timed CSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_operational_semantics_for_timed_CSP"}}}}}