{"entities":{"Q2389343":{"pageid":2400086,"ns":120,"title":"Item:Q2389343","lastrevid":72678192,"modified":"2026-04-14T06:27:24Z","type":"item","id":"Q2389343","labels":{"en":{"language":"en","value":"Efficient symbolic computation of process expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5579076"}},"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":"Q2389343$EC19FA0D-F5DF-424E-A8AE-4632B1FBE37D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3d0f012548e62f962071ac1af915085456b74cf","datavalue":{"value":{"text":"Efficient symbolic computation of process expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2389343$C9734491-F117-4C73-A582-C7C5EA2AF05F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42226d7832e3feb45cb2102fa1160db2ce613363","datavalue":{"value":"1167.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389343$69DA6BB9-5413-4069-886C-238F16BCF09C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d1d8dea373aa76a48b436100d41485bcb9b5e39","datavalue":{"value":{"entity-type":"item","numeric-id":2389342,"id":"Q2389342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$8D4281AE-7FBF-4F1B-B3FD-ED07DDC7C2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e2502d555044057b433878309d4bafe6f0f848a","datavalue":{"value":{"entity-type":"item","numeric-id":736834,"id":"Q736834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$949A879C-83CA-4AAC-A959-C2F4A0CFBD69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$CC09B0CA-9747-4669-9A60-278054A3E022","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8768e7a5d5b85f5421c2a03899fbac26eac6319","datavalue":{"value":{"time":"+2009-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2389343$83ED7F02-6BD0-4C1E-8EA6-D8BCC54290D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389343$142D6A1D-D39D-4E80-B7D1-28F7E4618583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389343$828CBE31-BCCF-43CB-AC27-943C3B558F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389343$867EC242-BE7D-45C1-9B76-1CD917F4E4B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5147e0e5968294b4b2f5c9dd2da5f75e2b05eef0","datavalue":{"value":"5579076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389343$6FC1694C-8933-4207-B73C-05A641024E55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daac26e9378c593657c550d993caa4ffa0e3b2db","datavalue":{"value":"trace-based specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389343$E04F5385-774B-489F-A35C-A67BCA2DB801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"961aea13dce6e9421a793a12b69476438afc3b3c","datavalue":{"value":"black-box specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389343$34B980DE-1523-4D0D-873E-3272522916C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389343$866FA61B-F49C-4835-9255-B3B7306663EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c59ebf83a5a455db47ff2e8789e3d0db7440a19","datavalue":{"value":"information systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389343$572003CC-3ECC-42A3-BA13-1A9B746D3A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389343$FA95984F-5B73-4ADE-9FCE-42A44B310E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40f75c475f47e64366621547454dd16d54565743","datavalue":{"value":"interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389343$2C1B4163-1BCA-484C-AB47-6FEFA74FDF7C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2314653b7fed00d2e3f81cef4b84591a4e2965a7","datavalue":{"value":{"entity-type":"item","numeric-id":19720,"id":"Q19720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$211EEE70-36DA-40F7-A3BC-0028806AEB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"968b92847a58b643f5d945b292f78cc16cdae2aa","datavalue":{"value":{"entity-type":"item","numeric-id":28108,"id":"Q28108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$7903946E-9244-46DE-BA8F-231A9EAD5C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$C3EB3D40-4E90-4C72-B511-65541E9EB52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa535e99c8bf03a02fcceff177faedf8d917762","datavalue":{"value":{"entity-type":"item","numeric-id":16772,"id":"Q16772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$0D850E35-8879-432F-A4B1-C844549DB88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$95541199-F2DC-4954-A312-8E4DB2417668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$E565D280-95B6-4A81-9246-91AEFBA2FC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$9B95BB21-7FB3-444F-9726-BCB3F1716E6C","rank":"normal"},{"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":"Q2389343$FA6F0B84-7E22-4BF8-846B-2FCC8FA86055","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":"Q2389343$FED91F8F-29CC-418B-B2FB-0D8EB934E28E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be611f1ccd139185b1b3ecb4da45ca363e11a064","datavalue":{"value":"https://doi.org/10.1016/j.scico.2009.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2389343$710DEAF7-7843-45A4-8CC6-0627721DBB3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6578b5501c58a9b3911c1972adcd042e9b5e7044","datavalue":{"value":"W2055877289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389343$537249AC-BCC9-4EE9-85A0-31A80A27FE31","rank":"normal"}],"P223":[{"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":"Q2389343$E867FA6A-3E53-4697-A4BF-7F9B69FBE8F5","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":"Q2389343$A7070800-054D-4FFC-B988-CDF6E41C185C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$746B7DCE-9D6D-4596-9E33-A859F8CD81FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$49F60D63-C0C6-4B6E-A840-D8CF7DC33ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$E8D1AB38-B864-464F-AD62-DC0F9F8BDF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747f0085ef1159d9f7a28b30851f5b2bafccc37f","datavalue":{"value":{"entity-type":"item","numeric-id":4472199,"id":"Q4472199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$09F8D8EA-2FC2-4928-9BE0-72F6D30792F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d081ee1c24ec3a9e4358e339c8f9e821269780b4","datavalue":{"value":{"entity-type":"item","numeric-id":5938702,"id":"Q5938702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$CB87904F-7E08-4330-B565-88D4E1D79CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0198e68f6dc9303aefc05c74bbadbddc5c16bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4472182,"id":"Q4472182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$267D69E2-E4EA-4E42-8616-511291D1FCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5ba33357211d62df23f7e3b047abb70bfc05d5","datavalue":{"value":{"entity-type":"item","numeric-id":4509996,"id":"Q4509996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$E6885F15-4389-4352-976A-E81C698843B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b97aca54adf177a5e36876787b326a7b96eca9","datavalue":{"value":{"entity-type":"item","numeric-id":5716878,"id":"Q5716878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$9CD46CC4-31C3-4D40-9A98-75CA4CE94664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564322f7d7b049467bf08badc591b9bf7fbd100e","datavalue":{"value":{"entity-type":"item","numeric-id":4737797,"id":"Q4737797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$0DCEA541-1B6F-4865-B593-F02A4B849B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e60d7908cc3ff77eac1047c0a1c056a6ffdbd137","datavalue":{"value":{"entity-type":"item","numeric-id":3039150,"id":"Q3039150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$1794C880-F757-41E5-9CBB-F243A752CC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004eb39f9e5dfcf9009455491736dcec448ddb1e","datavalue":{"value":{"entity-type":"item","numeric-id":4790665,"id":"Q4790665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389343$202CED64-8AC5-43DC-BFBD-8A6EB2D49AC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb6d47001092b9523db064ac08dda7d56723e1d6","datavalue":{"value":"10.1016/J.SCICO.2009.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389343$231D3CC7-BDA5-4333-A1E7-51CA6F94C73F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388e8da7c2133816bba7eeaa0016a42de789643e","datavalue":{"value":{"entity-type":"item","numeric-id":5393304,"id":"Q5393304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5e74dcf9089a75181bbb9e6ec53426979139d1","datavalue":{"value":{"amount":"+0.687507152557373","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":"Q2389343$1B8D512F-739A-4C23-8988-4F8EA48CF4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9752cbc9444c5d38b5b6dc3122c757aa6310363d","datavalue":{"value":{"entity-type":"item","numeric-id":3796737,"id":"Q3796737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aeb93d78b1ccd35f7483790890e814c82a6ab69","datavalue":{"value":{"amount":"+0.6817154288291931","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":"Q2389343$8872AFAB-49CF-429F-8609-8EAF8AA50FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f33d11939c62fa3318591a1533b406fc8a931af","datavalue":{"value":{"entity-type":"item","numeric-id":4896650,"id":"Q4896650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb4abc3051217cb4dabebf5b01bb74fc5cafb47","datavalue":{"value":{"amount":"+0.6681792736053467","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":"Q2389343$315EAC85-F2EC-4437-AC23-1C48003CCA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbcece2ec8def905f0f1911d939d0c1d68ce1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4813205,"id":"Q4813205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d054eddcd1274cd40ef14f11137559c7ddf9612","datavalue":{"value":{"amount":"+0.6644831895828247","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":"Q2389343$5E06564E-7749-4718-BE8B-243926118A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50aba7452a4b29a2e892cd6b4b05ec7882d49ef","datavalue":{"value":{"entity-type":"item","numeric-id":6044124,"id":"Q6044124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3fe93b56e4a5b9e5481899ed3c63b43ba5e999","datavalue":{"value":{"amount":"+0.6644054055213928","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":"Q2389343$B63AF640-860F-46D7-8BD9-45E4FAF360F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient symbolic computation of process expressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_symbolic_computation_of_process_expressions"}}}}}