{"entities":{"Q5055993":{"pageid":7085570,"ns":120,"title":"Item:Q5055993","lastrevid":58419195,"modified":"2026-04-05T03:25:56Z","type":"item","id":"Q5055993","labels":{"en":{"language":"en","value":"Synthesizing SystemC Code from Delay Hybrid CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631443"}},"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":"Q5055993$E23CB177-3882-4596-B49B-06EE5B3EC583","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa8c860b19661bedb8ffa286eda1b669a23a8054","datavalue":{"value":{"text":"Synthesizing SystemC Code from Delay Hybrid CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055993$30134BB2-338E-49BF-907A-1DC3AC3D04EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8d332e2fb05298c573733099b9f2999c9c424bb","datavalue":{"value":"1503.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055993$E074CA99-6987-49CC-A701-EE95CEB5A688","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65e88ff29df9aaa14a8f9467c9f6067c15381c9c","datavalue":{"value":"10.1007/978-3-319-71237-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055993$677288F2-E3AF-4E98-A80C-9D1345F32F77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7aeeea4dde96fd8127f38a8ddf9ac70da73359","datavalue":{"value":{"entity-type":"item","numeric-id":2281662,"id":"Q2281662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$38C2C9D8-7ADD-4786-BAC8-390DD43494F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20d38469debc0e61c34eca5eada8a50c85a6ed10","datavalue":{"value":{"entity-type":"item","numeric-id":238030,"id":"Q238030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$6B521DC6-2FF4-4588-A9B9-6528D3A8E27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$8D1EF7F0-D27F-44FC-8CF6-F588F28F9F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6dde18f260590a0af478668dc06a118a846e54","datavalue":{"value":{"entity-type":"item","numeric-id":591944,"id":"Q591944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$2989F14B-0C41-48C7-A918-BA21B083C962","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$89468A96-CAEE-4962-8D3B-6696B947ADEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055993$AD74134A-4AD6-429D-A32C-49768E4AC15B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9579db0d1e01afa8701d50a7a3347ddc30a6c3c1","datavalue":{"value":"https://arxiv.org/abs/1709.09019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055993$35A58CEA-AFBD-4B6E-B233-72815A9F5EB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055993$9BBA04CE-A72C-44B7-8611-B790A99BBBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055993$AA1F7BF5-B4C1-4067-B6A1-AF5C6D7C78A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055993$C22E023F-9B60-409B-9C30-2FFD48EBCBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b703f391e3ecdb375ee45a06e70655a403dbafde","datavalue":{"value":"93C43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055993$540AAD46-57F0-48D8-B5C9-EB958F50E4E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75c4709c6b80944baf3e6fbc1e18caaaf247d3aa","datavalue":{"value":"7631443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055993$0988D287-D875-44B4-B33A-1C7AAF4C7819","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76e354dd3a6bb57775c1740234428986637cdb6","datavalue":{"value":"delay dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055993$11A6EA86-A017-4ED5-8A91-94DEC20C98DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2080f9471c539ae7bc58b4d8c09422581c9e0f89","datavalue":{"value":"approximate bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055993$ACF69995-A4D6-4EFD-BFF5-2BE6D6B448B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055993$6A189323-F584-4F4E-B90A-C0E38E7D7260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b11a6146efd2d3dc9ad2378e457c67da9405c698","datavalue":{"value":"delay hybrid CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055993$36FA22BE-E4B0-487D-BC62-AA9CF1CD2C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3834586fe2407e1a581d5bbf4624cadad3ba7e1f","datavalue":{"value":"SystemC","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055993$27DA66F7-8D41-4B4A-ABDA-4FBFE135FFD3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$9B9AB5FD-DDE9-45E4-9B9E-17CE165E78D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"308b4c8c98a4ce5079e56a98a3fab37079504455","datavalue":{"value":{"entity-type":"item","numeric-id":31579,"id":"Q31579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$C648F5CE-2315-46E3-BC2E-774F2869FF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$1723D4D3-C890-42C1-9C23-47E1487BFE44","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":"Q5055993$B9CA7BF0-AC72-4EDF-8291-A454BFCEF239","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3031c7b12c1113772d43225557fbb8bb1ae71e1","datavalue":{"value":"W2962792452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055993$4D34CF93-B69C-414B-90A0-F31954FA66DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"651ccf2172cece25db62318f7bcd736912f9af35","datavalue":{"value":{"entity-type":"item","numeric-id":4953375,"id":"Q4953375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$132DA193-8DD2-4B80-B844-CF62E5491817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db362c002b1f6f1b1cb68f93361031a3d675efac","datavalue":{"value":{"entity-type":"item","numeric-id":5280712,"id":"Q5280712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$B5EE79D4-FCEC-4579-A72A-4474FD2C4223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29473a2376743691e9c98e0cf22a5189cad3e0f2","datavalue":{"value":{"entity-type":"item","numeric-id":5267222,"id":"Q5267222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$152C6B4C-8033-4853-B96D-7EEF6FEDC413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530be4f5e6de35fe89affad518b874a457ea38ad","datavalue":{"value":{"entity-type":"item","numeric-id":3143382,"id":"Q3143382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$8102AC10-16CE-42C6-AE85-3152D0B2E59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$785991EB-DB2C-4B58-B868-A5E32986D4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4231e3f76a68cce4a7e0d9d3a5853ac20afeb0","datavalue":{"value":{"entity-type":"item","numeric-id":2281633,"id":"Q2281633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$69A540F9-DA6D-4B6E-BE5D-BA5E6E3E49D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$30B67FB7-7B80-4EDE-BB49-5A5393DE6519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$5C58737A-9B58-40EE-B071-EBC7C5146DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$53F2C276-D474-42DF-AF84-498FE55160ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a58f3f3cc7ee1ff254b6c5f195501c3c01c756","datavalue":{"value":{"entity-type":"item","numeric-id":2374566,"id":"Q2374566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$6A0BD223-0AC7-41BB-9D0F-78F8B5DD627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfa8f8593001d6d24414d518f7fb113db95a621","datavalue":{"value":{"entity-type":"item","numeric-id":5307941,"id":"Q5307941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$23B83B9B-BB1A-4B05-ABAF-C34BDA3F7258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3974520a11571fd949ac01438c3c39a232b1d8d","datavalue":{"value":{"entity-type":"item","numeric-id":3465677,"id":"Q3465677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$5202A52C-8737-472A-B8BD-B3545F8CABAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ff2e66ddd51d479a6751262ef05fc6844bfb4d","datavalue":{"value":{"entity-type":"item","numeric-id":1959416,"id":"Q1959416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$F0DCB075-13FE-43A2-8E36-ACD479308CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e428e49b33a6c67633810dab5563be32edf3e18d","datavalue":{"value":{"entity-type":"item","numeric-id":2281663,"id":"Q2281663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$64AFDE42-265D-41EA-8960-139E6D9AC011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0985d4ba88de9e7356e5713ba83c3c2c1e1890","datavalue":{"value":{"entity-type":"item","numeric-id":5055993,"id":"Q5055993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$918AA070-2ADD-48B4-ADC4-CFDF887D71C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b462f9efdc73cb182123e1a57698287d93289144","datavalue":{"value":{"entity-type":"item","numeric-id":4600381,"id":"Q4600381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$39D820E7-92BC-40EE-A903-3DEE46FA4B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dcffc914d216a5303e9140ceb73d15057c6337d","datavalue":{"value":{"entity-type":"item","numeric-id":1702900,"id":"Q1702900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055993$00252B80-57CD-48D9-AC43-A54FAF3D5E7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b04fbf785dc1f6b416dfd9357c07891db64deb","datavalue":{"value":{"entity-type":"item","numeric-id":5064257,"id":"Q5064257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a903bf0257d3f46df60b99990598b83e71437c4","datavalue":{"value":{"amount":"+0.7332699298858643","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":"Q5055993$CC2FE79F-3015-4A3C-95E3-C96EA6E4AE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd00b47ebb7483998a11f6789464f19c9c59ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1702900,"id":"Q1702900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0033ea186bd6cf367cc81d1b29ff1fe70f64045","datavalue":{"value":{"amount":"+0.6915623545646667","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":"Q5055993$FB35807E-49FF-47E1-96FE-05D8CF8ECD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5063c2cff4f23dcad2a7c274079878aaa025c7ba","datavalue":{"value":{"entity-type":"item","numeric-id":4654724,"id":"Q4654724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db43709ff36d98c6fadccb66920a29010665e59","datavalue":{"value":{"amount":"+0.6863469481468201","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":"Q5055993$88364798-EA42-47AB-967D-42E2D75BCAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32891a478ee2a770344f38d8a2ad6b9e3f85121f","datavalue":{"value":{"entity-type":"item","numeric-id":5307941,"id":"Q5307941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9dfc65d88317c6a9ab92947c076311bdda39bc3","datavalue":{"value":{"amount":"+0.6842878460884094","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":"Q5055993$048BD2FB-B033-454E-8FF9-FF132EE9A51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9da2b9d16f6d4da2394fb5fd1e868ec40668e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2948232,"id":"Q2948232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b798828d769140b6bc10090c38f9fcb53a513a37","datavalue":{"value":{"amount":"+0.6637554168701172","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":"Q5055993$4ADA4048-2B06-47A8-97EE-E0F09F9E89A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055993"}}}}}