{"entities":{"Q816202":{"pageid":818050,"ns":120,"title":"Item:Q816202","lastrevid":64551450,"modified":"2026-04-11T20:39:32Z","type":"item","id":"Q816202","labels":{"en":{"language":"en","value":"Stepwise development of process-algebraic specifications in decorated trace semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5007755"}},"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":"Q816202$7CD96EDE-85C6-483C-BAF5-F8814CBC97B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c6423a956fcf15a08d9d7c35ca8741dade2e2c6","datavalue":{"value":{"text":"Stepwise development of process-algebraic specifications in decorated trace semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q816202$4AEECBA1-A84F-4B3E-A6E6-FA451857AF8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54770f20c28ad2980ca06da475b31217423fbb84","datavalue":{"value":"1083.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816202$9B74DEBF-724A-4E4F-9C99-B21000CCA40C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$0ED81832-C1C2-4080-9044-F84AB7BF0C8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$A93E28C0-532C-47D6-BA3D-93E9E8222CC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5a46ca8715888f9181d63a117c8c9aa412098d3","datavalue":{"value":{"time":"+2006-02-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":"Q816202$5169E067-25FE-49EC-BC14-179DEF18D9DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816202$1B0DA763-4245-4F0D-A715-AEBAB909BE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816202$CF6E0BC9-52D7-4DCB-8944-B5323C4F9144","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49d3502d6012e875eb2ebf167db45cd2106fcb3d","datavalue":{"value":"5007755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816202$4B09AC2E-AAB8-43D2-AD4E-F7393F79E7BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q816202$2431278C-17CF-4E32-B744-7B9DE5C4979E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q816202$B3BFE31C-1A08-4ECD-A69B-F0D629E68522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q816202$BC765A85-F829-44BD-A895-DC50E18037FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q816202$9BEA4BDF-01CD-4726-9F39-E9AD29A21E28","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$1E0B934B-4B42-41A6-A85E-0340031D7283","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":"Q816202$150B5A81-F7C4-438E-ABBF-70A336FAC079","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8b8727c7f40a756fe9652f15bae8d4fa5f3281b","datavalue":{"value":"https://doi.org/10.1007/s10703-005-1631-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q816202$16FED5AB-667A-4FFC-9578-56B70E001064","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87ef98da47d8942862098f44afcda33c88c1def0","datavalue":{"value":"W2022068375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816202$279BC368-FAD5-46EA-AD26-86BD83AA3A3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ada06802ec5e36bff22b7fae7f7777edcf65d99","datavalue":{"value":{"entity-type":"item","numeric-id":1342519,"id":"Q1342519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$71AA415C-2076-4821-AFC3-6D3DF773D1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$E868B271-9F6E-426D-ABAF-14DACBEC8335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d6ca6f55e61a6c2d75395cedf218ea6b94fec6","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$9231B26C-6084-48E1-960A-CF9ACEA12596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$09EBE39B-E85B-44A7-A838-6CC6CD89158D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$A504889D-2407-40EE-A565-D3355BB8100A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$D3D736F2-2F2B-46E7-A52F-CA16C53EB77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$99A31022-B737-4B28-BD25-9BC64E98ACBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$189EC0D5-CC38-430E-95CE-AED7103DB2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212facec6bd7d37fb7b0ed31be29aa336a54f336","datavalue":{"value":{"entity-type":"item","numeric-id":673911,"id":"Q673911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$9026535C-49AF-4F5C-9B68-31E08E1E7901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8a395965b4a89157441c6e6d74ef9d13de849c","datavalue":{"value":{"entity-type":"item","numeric-id":1903079,"id":"Q1903079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$48684A46-2EBB-4DFD-8AD1-E23EDB3BA427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816202$8F265835-2E71-4B33-A6C2-1FA7431A4BF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8070b0e674749da07a7fc82799b4666828514b35","datavalue":{"value":"10.1007/S10703-005-1631-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816202$B724663E-09A3-4C6A-9AF3-4803F1F94AAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00eeb0d798573ad1642f2d41f77dd8eb4e2388fa","datavalue":{"value":{"entity-type":"item","numeric-id":4036589,"id":"Q4036589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74450b9464ee576cfe5cc80f56304e8b3a17bdcd","datavalue":{"value":{"amount":"+0.7718508243560791","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":"Q816202$EBF29B49-0E94-4B32-AD52-1FF3C28C41A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957428ac12454c8aa957859ee2819c75a065c267","datavalue":{"value":{"entity-type":"item","numeric-id":3204033,"id":"Q3204033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d0315c32968f370e6ba1fc61813e98658c3c9e","datavalue":{"value":{"amount":"+0.7692664265632629","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":"Q816202$8514962E-1DE5-47F9-8D56-A7632B010D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"990e57b7fe598db70af633820dcfa641fc8cbca2","datavalue":{"value":{"entity-type":"item","numeric-id":914405,"id":"Q914405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a305fd825c59abf85bd56b120ea3e3fb69207d5a","datavalue":{"value":{"amount":"+0.7529934644699097","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":"Q816202$4E5F99CB-CCEB-4DAD-95C0-88942E5CE2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af45ac0e1b53e80685ba05859edfc631c85703a2","datavalue":{"value":{"entity-type":"item","numeric-id":4028148,"id":"Q4028148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff59be1a20eb4775ea108a8dd7972fd425b0a2b2","datavalue":{"value":{"amount":"+0.7346447706222534","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":"Q816202$5E559DE0-0CCC-4249-A370-2D9E35608A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c11c2893ec774da3b7fd321f03174a7c84672a","datavalue":{"value":{"entity-type":"item","numeric-id":2365760,"id":"Q2365760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff59be1a20eb4775ea108a8dd7972fd425b0a2b2","datavalue":{"value":{"amount":"+0.7346447706222534","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":"Q816202$274401E0-95DC-46F6-A0E3-99C132D09848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stepwise development of process-algebraic specifications in decorated trace semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stepwise_development_of_process-algebraic_specifications_in_decorated_trace_semantics"}}}}}