{"entities":{"Q672869":{"pageid":674718,"ns":120,"title":"Item:Q672869","lastrevid":46467879,"modified":"2025-12-24T20:40:50Z","type":"item","id":"Q672869","labels":{"en":{"language":"en","value":"Trapping mutual exclusion in the box calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985236"}},"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":"Q672869$238B172C-3790-45BA-B87B-091FB06DE711","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"098a688dd99eb1c2c00978d47948506a4a1e2304","datavalue":{"value":{"text":"Trapping mutual exclusion in the box calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672869$16679464-E953-4389-B66C-78A5342B4B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbde06a44f04d026b32a5178ddb2b4e66b55bcb7","datavalue":{"value":"0872.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672869$27BAAB57-035F-44D5-9D37-088D5D708E55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"306c9fd0b7b7f8b60ab1c8348375965bdeb524fd","datavalue":{"value":"10.1016/0304-3975(95)00119-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672869$F0DE9912-796A-420D-B6E3-A59D6E93D7F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$60A08066-A3AB-4CCF-A484-59398119CB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3218facc03c54ed26e6746d6965326ff18a68842","datavalue":{"value":{"entity-type":"item","numeric-id":672868,"id":"Q672868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$72FA45B3-36E8-422C-B852-F3732B3B91D9","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":"Q672869$BBBD8A18-0AC1-449C-BDF8-9485F6D9E2B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-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":"Q672869$102C7C5B-7BEC-48F6-A7BB-5A5CCBF1094E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672869$6EEE578F-5CF0-4C82-A6F3-2845803F7299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672869$7320A6BD-B9A7-4FFC-B3ED-A912835A7E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672869$36949B37-723D-49E5-9AB5-50572EAD2256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672869$1131633A-88C9-477F-96ED-CAB0BF76FA8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb8b8c9ac0e42141459229157c12b2728195dd1c","datavalue":{"value":"985236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672869$ED04FB53-03BC-4D1C-9E1C-F54C9A2390F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c0d3fa33ea7773e88d53c4915312fea79c22d10","datavalue":{"value":"box calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q672869$1F392019-F927-4C5F-94CA-09B0C8735F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q672869$EEF316AF-8EB1-4F42-8710-3B9BF286D283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc14c2c1888e75c0af87202101bdf748b1ce127a","datavalue":{"value":"Petri net semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q672869$57B38E19-326B-4931-A4B2-EF45DFC11D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217c48a8a0b068fd44ece6980481cd9d1a70d313","datavalue":{"value":"translation of parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q672869$851EC13C-AAFB-4196-AC39-69895077E3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q672869$5A7D7488-D3AD-420C-959A-5653E90CF3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01602e4ca3a2b914bbf78fa927ee548eadd569a1","datavalue":{"value":"mutual exclusion algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q672869$F11A607C-FA6E-4676-8C06-F3F2CAB9DE50","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":"Q672869$2661106C-B487-48E8-BB99-5673D6A05505","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"635be271a6e91bd2435b99e8197bfc2cca1f5072","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00119-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q672869$3E828F0F-9134-4597-A703-8F3B0B4E09A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53235b766f50b8d75d83e1acb89aab14cf4fafdc","datavalue":{"value":"W2069672317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672869$F728B32C-4887-4C51-A1E3-6EF60B71ADE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b224f89efa67b445394681e95718585ed1d8f376","datavalue":{"value":{"entity-type":"item","numeric-id":4281515,"id":"Q4281515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$6C0A07D3-B6FF-4B33-AD94-A6427691EA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b93347844b58ed0c02d923d0992858fa5eb3427","datavalue":{"value":{"entity-type":"item","numeric-id":6038433,"id":"Q6038433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$1FC2946F-31BA-418A-81EE-42C939DC8729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155a362f54f8a24c55b19836ddd09640acb45446","datavalue":{"value":{"entity-type":"item","numeric-id":4040147,"id":"Q4040147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$DD6842C3-EA7D-4627-8A9B-AC30B97FC7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2beb8168ca6a29281ccb972aeeb93082e0c97730","datavalue":{"value":{"entity-type":"item","numeric-id":3700824,"id":"Q3700824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$588303EB-6FB3-42B5-A4B4-77A56D76C0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f455dca8cf9d0b4f1efda8f122e8e3725f6bded6","datavalue":{"value":{"entity-type":"item","numeric-id":4733397,"id":"Q4733397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$B645B577-CD16-404C-8A02-8BC23DC75772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd5277e5cb8338dac79fd8b3c7be52bb6ab94","datavalue":{"value":{"entity-type":"item","numeric-id":1110338,"id":"Q1110338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$7BC7D4D4-6C2B-471A-B83F-663D85396157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c796eadd682297715f9583699f0f74be7d7d40b","datavalue":{"value":{"entity-type":"item","numeric-id":3782791,"id":"Q3782791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$72591A43-F689-4BA5-96E0-C3C2A92F581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$46149333-C011-4610-866F-7C45D109ECD5","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":"Q672869$04D51B64-E681-47DE-9F95-39BAD317DC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59f906032791d6d7e54b15b2a84750d8f6c19cb","datavalue":{"value":{"entity-type":"item","numeric-id":2641226,"id":"Q2641226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$6330A6B9-CB64-44F6-9816-9230D1076F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565297ab51a6a844246549a14dac744f9f6534f2","datavalue":{"value":{"entity-type":"item","numeric-id":2266589,"id":"Q2266589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$F6355437-136D-404F-8FD5-A167641B81BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d048b1548c78abdfa9ac70246567c45151251e7e","datavalue":{"value":{"entity-type":"item","numeric-id":4035225,"id":"Q4035225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$A531BD75-7938-4393-AC41-154740D476E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fad09a2261565b34fdede6bea63ddea85f7474c","datavalue":{"value":{"entity-type":"item","numeric-id":3776645,"id":"Q3776645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$C64945B4-7C0D-4FDE-996E-9E99A4E8912C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$0746A47D-0A87-4C1D-912C-4F121D54D954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45280f113fe0216f2b7ecb89e3dff3eb55b2630c","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$D5E8C227-4C9E-4044-9A95-026D126452FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$B4D96CCD-806A-4CF3-B169-C50AD0B026DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c647fa1d172318cd49d05d4eb4fca603299b18b0","datavalue":{"value":{"entity-type":"item","numeric-id":911263,"id":"Q911263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672869$15B536CF-A380-4B36-BA65-D5229A72E5EA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8ca7ed87b65e0bc4e1b3cbf5b5b8744a870a6e78","datavalue":{"value":"Q127807765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672869$D42EA16D-FEA4-4CB5-9EC9-EDBD6CD772E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7012f4003f97ffb80f2f82abd93f6b9d002bc9b3","datavalue":{"value":{"entity-type":"item","numeric-id":5890051,"id":"Q5890051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f7c2708815a9038771917d11bab608923f6714","datavalue":{"value":{"amount":"+0.7840949296951294","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":"Q672869$97E351F8-7BD1-448D-BF6F-0B384464C7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167ccb1ff114a059998580c184c64ba3a3fa6374","datavalue":{"value":{"entity-type":"item","numeric-id":1854558,"id":"Q1854558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e426ab2abae3ec78ca277acae3fb181195aaa0","datavalue":{"value":{"amount":"+0.7598041892051697","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":"Q672869$C2BD7C20-FDA4-4DB2-96C4-1A6C95DAC797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a189e4081a09c43d13111fa3c83a2902ef0c5a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4500366,"id":"Q4500366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fcfa97c6486d9e42964dd0d55f6fc835ed4e58b","datavalue":{"value":{"amount":"+0.7587524056434631","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":"Q672869$12529E30-95E3-45E4-BEC9-CFC1BAC29363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b107ba5bd3d864dd98b2dc5c488f129c26453d3","datavalue":{"value":{"entity-type":"item","numeric-id":4461748,"id":"Q4461748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ad5e1cd40105e84a62aa822af0d4fb8fb6b83a","datavalue":{"value":{"amount":"+0.750889778137207","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":"Q672869$D514E0A7-8A7B-40C9-946C-B909A992E04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336425c1b23d1e264d004098431f3804f1ee5283","datavalue":{"value":{"entity-type":"item","numeric-id":5014797,"id":"Q5014797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c3fad4c8df12f281c6fc183a3393ef29ac18f22","datavalue":{"value":{"amount":"+0.7420783042907715","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":"Q672869$2693076B-42B0-4CFC-8E4B-BB6CCD0653A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:672869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:672869"}}}}}