{"entities":{"Q1857661":{"pageid":1868403,"ns":120,"title":"Item:Q1857661","lastrevid":69132690,"modified":"2026-04-13T04:59:09Z","type":"item","id":"Q1857661","labels":{"en":{"language":"en","value":"DECM, A user oriented formalism for high level discrete event specifications of real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1871123"}},"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":"Q1857661$EB44D26B-1511-41F7-9DE1-CE767E3852CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7136246213d62bcba5ef2b3c78c2e2e9ec63fda3","datavalue":{"value":{"text":"DECM, A user oriented formalism for high level discrete event specifications of real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857661$6AFE2046-8A2D-4832-9838-70BCEAADD144","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d7c5ba71146bd43005b8bbeda3c3f98fcdecd72","datavalue":{"value":"1007.68673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857661$BF0A185F-887B-4F3E-9029-B9C757D1B2B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"974d18642bfccb0488e2ef791c6baa87e4922a2b","datavalue":{"value":"10.1023/A:1015548507922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857661$1131E147-F216-49E0-990F-A5DBD41993E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"970ea25352db318aa95bf0cca83300da40d27a77","datavalue":{"value":{"entity-type":"item","numeric-id":1133541,"id":"Q1133541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857661$73F72854-00E4-419C-8830-DF7DE44A1532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71fded5298d64723ccb1f719bd19c091a9d2f487","datavalue":{"value":{"entity-type":"item","numeric-id":262432,"id":"Q262432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857661$9B83B2C4-DBE3-448C-8634-DCEBC04FFFA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b52df0cb93c7806667d725dbe9cfd2eb5e433b6","datavalue":{"value":{"entity-type":"item","numeric-id":185894,"id":"Q185894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857661$1896C3FE-0F72-4A79-9AB7-19C406707DD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01951c93e885717866d268dd1e73bbf555019176","datavalue":{"value":{"time":"+2003-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1857661$8A382776-0B3D-4891-A049-21C5E088B7DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857661$C03FFB29-0484-4CE6-B076-67B38856F172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857661$F828B1EE-4989-47BB-8219-38035FFF71A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857661$A094E475-8EBB-4339-B15C-80566FA3CFBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32a432496cee279821e2bba3640c55a328489f7f","datavalue":{"value":"1871123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857661$A7F5C807-EC83-429A-85E8-0CE5F0414344","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bba642106190eb604cda3759101dce603a0953","datavalue":{"value":"discrete event dynamic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857661$C8B8C415-AFEE-47ED-BD4E-E5BEED5FE5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857661$91EA6E6C-36DD-4D46-80CC-3EAE0D6EFE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a873697bda241540e1019f29607482dad4f3a700","datavalue":{"value":"control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857661$E33BA365-B821-48A1-8239-9301B4E62D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd725f803891be1be1d608af3524b486ffbca1be","datavalue":{"value":"production systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857661$7FB3661E-C17B-451D-84FD-D4A8EF2CD016","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":"Q1857661$62CBF5DC-8088-4730-A105-8E58BBAB7D8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0641ac31785766777495390eae1e8e2968b7e8a","datavalue":{"value":"https://doi.org/10.1023/a:1015548507922","type":"string"},"datatype":"url"},"type":"statement","id":"Q1857661$D4C5AE89-F87B-4056-9FAC-86259F11C167","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"006aac861dfcda42a0a0a575979cc79948e134c4","datavalue":{"value":"W1538732989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857661$50310BF7-BEB5-432A-96FD-03CF804C2FE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0a1e99011363e18ab60ac6d6c15285d508b2ca","datavalue":{"value":{"entity-type":"item","numeric-id":1372910,"id":"Q1372910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b621c758a162d041edbfb674c83d4e262d34159","datavalue":{"value":{"amount":"+0.7726625800132751","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":"Q1857661$B4DE0623-9316-40B0-85B5-D306DEFF7578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4d10ec9a3bee74182b215f9b9d76577589ec19","datavalue":{"value":{"entity-type":"item","numeric-id":3493236,"id":"Q3493236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2cc99a551d626c8e5fe06bd13b0aac50a27f07","datavalue":{"value":{"amount":"+0.7677516341209412","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":"Q1857661$E7A05473-2B69-43A3-A032-4331062CCF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01a7320bc48debbc1344674610c00a2e134434e9","datavalue":{"value":{"entity-type":"item","numeric-id":4020636,"id":"Q4020636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bacc8f4ae6b97f8c9ae90b328aa7082d70fff50d","datavalue":{"value":{"amount":"+0.7554505467414856","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":"Q1857661$C20EA5DD-8DD6-4EC9-9633-ABB0AB4090B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f154247a1d8e232871b1f21fc7be163dcaf400a3","datavalue":{"value":{"entity-type":"item","numeric-id":4035486,"id":"Q4035486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b700efc0130a0d8c815044bbbcb5f161440f9a9","datavalue":{"value":{"amount":"+0.7529563307762146","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":"Q1857661$E357DB28-8901-47AC-8B17-B0EFEF640E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96f294a6c798eeb8cd5273ee724311ca4823312","datavalue":{"value":{"entity-type":"item","numeric-id":4233993,"id":"Q4233993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014e464a66daaab0e3b2918d6118ed52ad0d271b","datavalue":{"value":{"amount":"+0.743179202079773","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":"Q1857661$769F9E75-A44F-4489-9BE7-2806C973463C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DECM, A user oriented formalism for high level discrete event specifications of real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DECM,_A_user_oriented_formalism_for_high_level_discrete_event_specifications_of_real-time_systems"}}}}}