{"entities":{"Q2368940":{"pageid":2379683,"ns":120,"title":"Item:Q2368940","lastrevid":43966266,"modified":"2025-11-18T14:30:47Z","type":"item","id":"Q2368940","labels":{"en":{"language":"en","value":"CSP-CASL -- a new integration of process algebra and algebraic specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020353"}},"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":"Q2368940$E006A329-2398-496E-AC16-093F83A9AD3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86649f52c978dc28dbbcedf8c3bb81865063b966","datavalue":{"value":{"text":"CSP-CASL -- a new integration of process algebra and algebraic specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2368940$238C7A3C-31F4-49F5-BA5F-3E60257AE71C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bc8d6026749e08afd222de33903af405ec50117","datavalue":{"value":"1088.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368940$2682E161-6A91-4892-BED2-310A8479A9A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f61f9cb4afb1dbe639f74b5529d2947c5bac5f81","datavalue":{"value":{"entity-type":"item","numeric-id":293332,"id":"Q293332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$51AC776C-6B78-442F-ADD5-F727AB2B309E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$4BCA88D4-9127-425A-9C7C-477BAFD4DFD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-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":"Q2368940$F1A8923A-9831-4C3B-9ADB-6CFF5FCDC14D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368940$B8DCD92E-14E9-4379-848E-01D742B67401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368940$796AC1C3-FA4D-4698-8876-AAB50ED584BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33a609eb80fb1340d1fd17c2ac4caedc91980e5e","datavalue":{"value":"5020353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368940$1EDD4718-E344-439D-B93E-8585C6CBBA1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf31d72c83a4307be13cbc120b339dba1a990989","datavalue":{"value":"Algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368940$49DB3DD3-A4F9-4F93-B5E7-6C72220FF5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fdcf5a8aae5fe13d6b30550b0501b58c5ef4627","datavalue":{"value":"Institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368940$A02FEA50-BC6C-43E5-AA3E-614C56DA4553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368940$C9EE2C95-326A-42D8-B65E-597D02BC5048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf577616eff741292c98ab728dc3d3aeb3a66ea","datavalue":{"value":"CASL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368940$DDC685C4-48DD-465B-8801-1CF60837A7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368940$9ED0CB6F-C524-4AAF-BD1D-D0E593A7EE63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$6CA31110-A33A-4469-9EE4-A11A49C0C209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab2732a43462e4afd2685a78e5271e3564f77228","datavalue":{"value":{"entity-type":"item","numeric-id":23407,"id":"Q23407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$DB4F2596-D5C4-4124-865A-CA0C502FB026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db773f0783d22fb6bffa08127db508527f4adb91","datavalue":{"value":{"entity-type":"item","numeric-id":24995,"id":"Q24995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$9F99EDDB-B626-43CD-B767-B6464E8EFC8A","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":"Q2368940$81764A98-1322-40C7-8C74-F287FBFEBA99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dc2b3e12140b82c566f7ff78ae3cb7ccbdec8a5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.11.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2368940$4312D393-D83E-4A42-BB9A-159D24A34DCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca100f854cd4ad221f8bcf4aefff8dfe5e02e7b4","datavalue":{"value":"W2141730280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368940$C01C9EFE-DD65-4409-94DC-7D63452A96D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a021c8dc1fc066d43ef01b9466bb43f6b862c72","datavalue":{"value":{"entity-type":"item","numeric-id":1853453,"id":"Q1853453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$D7DC4FFE-5D2B-4D1C-93B3-1005C360CDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9c17dafe917a58d7c315fe6b1c33e877b27032","datavalue":{"value":{"entity-type":"item","numeric-id":1323346,"id":"Q1323346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$F0902E29-F044-4577-A387-7E7B1C051982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$42F7AE2B-DCE5-4F1E-9573-A9C365EFF023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb93f9b58364ec2a6dd1b939ff596a590d2fdad7","datavalue":{"value":{"entity-type":"item","numeric-id":5703996,"id":"Q5703996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$22D2F549-09EA-40FC-936C-CEFEB2C2DA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11766e883960d92535d1d9b46805e276b43fac8a","datavalue":{"value":{"entity-type":"item","numeric-id":1391789,"id":"Q1391789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$548A1575-F151-4D2C-9461-9F17F02BD356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$EC29EA5E-5128-461F-BAA0-9760ED421A64","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":"Q2368940$1BB01CDD-6E2B-4350-957B-39AC9C8F44A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9672e978b219537e93b93a23579d69ea832c4d5","datavalue":{"value":{"entity-type":"item","numeric-id":5703799,"id":"Q5703799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$4404C0BE-05F9-42A3-B1D7-95DE1905A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03532ad7569047d81ad504cfa00a2175b34186fc","datavalue":{"value":{"entity-type":"item","numeric-id":2729074,"id":"Q2729074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$453A7083-4C57-4A1B-9D85-3D3268F529CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eedd2defa322689670ffba56a5755fdfcf124e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853458,"id":"Q1853458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$8B598BA2-6CC6-4710-B294-A41845E72E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238c4f72da93f3fcb3e970041b596b01cae688b8","datavalue":{"value":{"entity-type":"item","numeric-id":2767179,"id":"Q2767179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368940$D49DAB96-031F-46E3-9081-B5A417344B01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac87d7d2ee8a38552dd3c51d5b92402f5fe61ad2","datavalue":{"value":"10.1016/J.TCS.2005.11.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368940$6EAAB083-06D7-46E4-AF20-7C38D88D1E78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39da0b25beea4856e2a7c6cb059282b72a01fde1","datavalue":{"value":{"entity-type":"item","numeric-id":3591065,"id":"Q3591065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f91dad988ecd09237c57fcbe85a3777945f9ec","datavalue":{"value":{"amount":"+0.91949093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2368940$16647C36-AFAA-44E7-BB6E-EB429D16B209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599e1749134d425fef8c9d1fdab66ab473cc4be6","datavalue":{"value":{"entity-type":"item","numeric-id":5178975,"id":"Q5178975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f2242f1b9b7e9b91b057e021c08fa412e43edf","datavalue":{"value":{"amount":"+0.89415383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2368940$9D9B1E34-384C-4CB7-A06C-C3553149C1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231db5b164415b22a95d061e8b6a60e2cbb1ca93","datavalue":{"value":{"entity-type":"item","numeric-id":2842868,"id":"Q2842868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0569ec7f667f0966f62998183573a61e865d16","datavalue":{"value":{"amount":"+0.88442415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2368940$7E4DB0EA-AD8A-49B9-9B60-0A886450A855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96f45dd0e37fd028ad370e966c893aa89571b76","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd6e702abbc3187bf42fe812259d92da7bf7b97","datavalue":{"value":{"amount":"+0.8767524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2368940$D1620C73-2B35-4DCA-BB1C-A9FE04B554FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0eab4e3c54b2a7ad5e7f072773feff44da1078","datavalue":{"value":{"entity-type":"item","numeric-id":5709379,"id":"Q5709379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead58d9c23a2bc172417a7124c0e062ff854746f","datavalue":{"value":{"amount":"+0.8690828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2368940$88552963-532E-41CF-97B8-5BA317391F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbab06b957161c9b789968784bd37f49f2c4c2f4","datavalue":{"value":{"entity-type":"item","numeric-id":2843729,"id":"Q2843729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d422bf424fd1c4a9a2f83b1cb6450799106645e","datavalue":{"value":{"amount":"+0.8671217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2368940$92F8A764-2374-4C9F-85C2-7F6FAED5CF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139ec918f6b4972880665f4c6ce4534e328919e2","datavalue":{"value":{"entity-type":"item","numeric-id":4680193,"id":"Q4680193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aef2e204ce2633badcca70ad834f6bfa5c4acc0","datavalue":{"value":{"amount":"+0.86500114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2368940$6BEFD57C-0F35-44DA-8D8B-058CC93AE5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4869d56a5d81441ad26df78f36e7c577a37ecd1b","datavalue":{"value":{"entity-type":"item","numeric-id":1802074,"id":"Q1802074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4472488aa6b774804ceef1850c38dd685a77e1","datavalue":{"value":{"amount":"+0.8629232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2368940$27122625-9D53-454D-BADD-61434ACE8627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962df6dbb14c6ebb12a35d10d2828e698a87d4a6","datavalue":{"value":{"entity-type":"item","numeric-id":672132,"id":"Q672132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fb0d685ad98af0835ff52d65bd8f76b3fdbe4c","datavalue":{"value":{"amount":"+0.86188525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2368940$2A4AFE53-B2B0-404F-978A-2B27A1C48313","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2368940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2368940"}}}}}