{"entities":{"Q1029101":{"pageid":1030949,"ns":120,"title":"Item:Q1029101","lastrevid":65983185,"modified":"2026-04-12T06:44:51Z","type":"item","id":"Q1029101","labels":{"en":{"language":"en","value":"Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576956"}},"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":"Q1029101$2C6CF258-C88C-44D6-A8F0-D8F7DE0FEC1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adb371738222bf9d0b46a041d93a5e40d38ed721","datavalue":{"value":{"text":"Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1029101$83453A1F-E1BB-47AF-9A89-351E4FA3C079","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6615d372e4b8df1b9fd2e4291c69973c7f25d451","datavalue":{"value":"1183.68387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029101$FE5873BE-7165-40DA-88EC-6E7D9F1E85CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51b865986145f825616bf7fb413e38f38846a880","datavalue":{"value":{"entity-type":"item","numeric-id":1029100,"id":"Q1029100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029101$71155AFD-FD2B-4155-9764-46A326A9E52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f303b3767c8c382431f7e9c9167ca09a33c02408","datavalue":{"value":{"entity-type":"item","numeric-id":758199,"id":"Q758199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029101$0A84D663-D920-4FCC-8EEE-144D550DE529","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029101$33CFB228-1C2A-42B6-ABB8-B55AAA8B88FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-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":"Q1029101$8B33DB92-DCBF-41C4-8B7D-CE27173223EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029101$FD7B1E13-D546-4E7B-BFF2-77F2037FAFA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69b70d765983b96f8792c6907d12f76852a8a97d","datavalue":{"value":"5576956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029101$F727F8D9-80DA-442C-9CEE-59356A6E9EDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029101$B6B092F2-DD3F-4ED6-AD6D-3C5DF1020480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029101$F173D4B8-8D3F-4B5F-8897-574EE0580B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029101$3D62BECD-B2F2-4CDB-8ECA-670559CF95FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7de7367f61f1ee6182fe63505916444a8111385c","datavalue":{"value":"asynchronous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029101$5527D1C4-ED54-428A-AD16-317BB50EF823","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2fd07468e322ec457a2a69778b8a5840e951862","datavalue":{"value":{"entity-type":"item","numeric-id":26646,"id":"Q26646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029101$C4882781-B67A-4580-A34F-67CB43246AD8","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":"Q1029101$B1FA3A5C-EE82-4408-9CA1-72E8BB9D51DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35af794c74665a047aa629fb2b321b3d35ad84ad","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2003.12.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1029101$17713CCC-1894-42D1-A286-EF9115817136","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ba3817e4691dc94ed0520a6258d6d897d0d4a13","datavalue":{"value":"W2093834030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029101$FD7F1F00-9DD2-4580-A936-9B39B3ACC7E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f135e564bafeafcdf40038a504d1f7c4c90315b","datavalue":{"value":{"entity-type":"item","numeric-id":4321781,"id":"Q4321781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029101$EF693A04-F7FF-40EC-8C29-C40B95548B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029101$319AFD5C-6719-4757-8214-BDBC81BF11C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029101$C83FC379-5C81-4A34-990A-8AFECF71AE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec3ceba3bbae0fda9d034128ffa09f0f7d7f9d5c","datavalue":{"value":{"entity-type":"item","numeric-id":758200,"id":"Q758200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029101$E095A788-8D98-4B11-927F-823A00433613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cfa285e8da1a2429eeb7eceeeb4aa682d8ea06","datavalue":{"value":{"entity-type":"item","numeric-id":4951152,"id":"Q4951152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029101$1A563EF2-0E7B-4E71-AC42-77ACE6B4CF21","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":"Q1029101$939E3C96-EAFB-4889-BAD6-D4C3BF41B8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d07053bfe32a04098a7ecd7d7f509a8717a462","datavalue":{"value":{"entity-type":"item","numeric-id":1821550,"id":"Q1821550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029101$3C20A426-43C1-4CA7-BFB1-F9AB1A075511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab4323292090d26e1333323011e1e2db80f9e5e7","datavalue":{"value":{"entity-type":"item","numeric-id":4289325,"id":"Q4289325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029101$02F99134-FAC2-4A45-8DE5-D0350F8851C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49a230265c15e35fd05262ef4238a45493d353d0","datavalue":{"value":"10.1016/J.IPL.2003.12.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029101$1187C536-78A4-4043-A62C-2CFFEA2FA5A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724f22eb12c7540f8a6fc47a3fe3a5a56408bf64","datavalue":{"value":{"entity-type":"item","numeric-id":5431924,"id":"Q5431924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e71b97106e1ef2e0d540c4eb0274abb16917bf","datavalue":{"value":{"amount":"+0.778525173664093","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":"Q1029101$C96841BA-7EC1-444E-9BA4-276462DC5529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9a9617426df6a2b838992c80c98623fe8bde62","datavalue":{"value":{"entity-type":"item","numeric-id":4250360,"id":"Q4250360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbac744a73386fa828b614ba0363abc3a7fe2ba","datavalue":{"value":{"amount":"+0.775187611579895","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":"Q1029101$BCDDB1F7-A1DF-48D1-A215-CBB8D41E3E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ddc880c3782cf01e5930963763136c63224827","datavalue":{"value":{"entity-type":"item","numeric-id":5295513,"id":"Q5295513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b999a4a3f867cce2f9dd24985a463ab2322f5b98","datavalue":{"value":{"amount":"+0.7722654342651367","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":"Q1029101$A00CBF60-2F78-48D0-AEFD-F85B6F08992A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb55b8fccd59ed40bee026cd4de79bd1c1d2124","datavalue":{"value":{"entity-type":"item","numeric-id":808286,"id":"Q808286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96023f1679ad49680c947698c700fbd25538ed0e","datavalue":{"value":{"amount":"+0.7715376615524292","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":"Q1029101$4C68EBC4-BFDC-400F-8BB6-C64DFF4AA3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5157753aecd5a49ef54996c672d432a03fdd9b40","datavalue":{"value":{"entity-type":"item","numeric-id":4037399,"id":"Q4037399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc00ef918b34e8bc1779590f5e87ee09ad66bd54","datavalue":{"value":{"amount":"+0.7702690958976746","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":"Q1029101$B45BC314-B6D7-4C4A-825D-AB3A826F4894","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modelling_and_verification_of_delay-insensitive_circuits_using_CCS_and_the_concurrency_workbench"}}}}}