{"entities":{"Q688830":{"pageid":690679,"ns":120,"title":"Item:Q688830","lastrevid":47201176,"modified":"2025-12-31T23:58:22Z","type":"item","id":"Q688830","labels":{"en":{"language":"en","value":"Attempting guards in parallel: A data flow approach to execute generalized guarded commands"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438582"}},"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":"Q688830$0A4ADF7F-5B77-440D-ABBD-5E59ED59A5F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c432663e7c2d5feaec2c1ef05f7a3daaffea02c3","datavalue":{"value":{"text":"Attempting guards in parallel: A data flow approach to execute generalized guarded commands","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688830$A7F98B5B-DE84-4625-B9C5-7E07BB3DF058","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae10abc2a6b05400f3bd24b130c744574e2d2e0d","datavalue":{"value":"0784.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688830$E0D09F8B-E950-4532-B4A3-332AB748722D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"264c091cbc63b4682ade20f933639508b68ac0c1","datavalue":{"value":"10.1007/BF01421675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688830$64E10923-7FBB-4E7E-B312-C4531D753CA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29f22b91570b5df6412beedfb2a04c45a3e1599b","datavalue":{"value":{"entity-type":"item","numeric-id":688646,"id":"Q688646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688830$7719B679-605D-4F6D-ABEC-0F9E8B7A283D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688830$C6C65438-D82D-4850-AD9C-07F117938012","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2ff807ad8f5a0fb377ff80be6081b48f28988df","datavalue":{"value":{"time":"+1994-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688830$AF740DD0-672A-431D-8AC7-F09712F319D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688830$DEFF0C8E-8A98-489E-A1A6-2F56943A31FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688830$037DDD99-1584-4E21-A5B6-141FF46C4915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbd938ebcf8d09a2e9b727047e686fa76c64e71f","datavalue":{"value":"438582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688830$037A43C5-29A8-4E01-9B73-85640D130F1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q688830$6A4D55C6-B986-4B3F-B7D1-A33DDC10D751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a9a6736234cf381e7c79dedc8a13bd7ec9dd63","datavalue":{"value":"data-driven evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q688830$26DD19C7-6D65-4862-A322-61C214F8CF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q688830$4DC8C796-2DDD-4D24-A808-0BC6E185B749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q688830$AAF5511B-F115-4F70-969D-6E9C4A183374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q688830$5392CD9A-ED58-4963-B3E6-F2F4FC013A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f3ddc8e2be1e2bfd63ff7e93d77c93ebd364d40","datavalue":{"value":"generalized guarded commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q688830$D2F684A8-2FAB-4948-ACC3-C805ABE30ECD","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":"Q688830$FF484C11-4775-4611-AA7F-6EAD5949A44B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688830$6C3D9CCF-4ADB-48EB-B3FF-5B36A2978A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b2be8630819c0185168a7a93ceacaa68493468","datavalue":{"value":{"entity-type":"item","numeric-id":3664419,"id":"Q3664419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688830$99408A66-3BA4-4BBF-AE53-404A3B0AB0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aed62bba22c1369719604fa735400248021e30a","datavalue":{"value":{"entity-type":"item","numeric-id":3904044,"id":"Q3904044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688830$E6C74198-D91F-4491-B4A4-D6CC8F000643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"581f1f873f9dbc337c5d662365bf6445ae798a12","datavalue":{"value":{"entity-type":"item","numeric-id":1100889,"id":"Q1100889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688830$DD9A5C3C-C790-4FAF-B1C1-27193BC6E4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9b90c9acf3770579b6f90346d0529036c37d21","datavalue":{"value":{"entity-type":"item","numeric-id":3741028,"id":"Q3741028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688830$9226069F-34A2-488C-AE12-2757A14ED273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688830$6B09037F-5965-42D9-A1B2-55ABFE3264BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"108ce020b0891acc23fa842a8c6d680ad195ad55","datavalue":{"value":"https://doi.org/10.1007/bf01421675","type":"string"},"datatype":"url"},"type":"statement","id":"Q688830$87BE504A-B324-440B-80DD-9DD5E4355C4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0680736a7e8966a58a5e33b1b927b85e8ca6ea07","datavalue":{"value":"W2016310201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688830$04EA9F75-B18E-46FE-B395-203D4435D7BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6af8fa71f15529a14681e0b9e3a341570a539f9","datavalue":{"value":{"entity-type":"item","numeric-id":3735074,"id":"Q3735074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0790323b8863422a373ef587736a75acf61be1","datavalue":{"value":{"amount":"+0.6808594465255737","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":"Q688830$D8D88735-3C53-4748-BFC5-7C8795ACEA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f030c8a90ea3fbc61c984edbde7ce4d94b20c8","datavalue":{"value":{"entity-type":"item","numeric-id":3830507,"id":"Q3830507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192825a21902bafe4f0b37ea9869b6bfb9e7eb0d","datavalue":{"value":{"amount":"+0.6604618430137634","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":"Q688830$DF0881AF-1FFC-4155-A3BD-C1A48BE15982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617bbba1682384939f1a2025362ba53b91a62458","datavalue":{"value":{"entity-type":"item","numeric-id":1100889,"id":"Q1100889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbc3a9b18d0f8001f735d363f9e991c8d9264b2","datavalue":{"value":{"amount":"+0.6545876860618591","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":"Q688830$F616D494-2F3E-4917-88FC-32AA6F21F49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e5aa5e30e1ad98b6d713a1e2b4aa9dcf46e5b0","datavalue":{"value":{"entity-type":"item","numeric-id":3805880,"id":"Q3805880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b271e2b44848555932494725f28d442259507c","datavalue":{"value":{"amount":"+0.6537229418754578","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":"Q688830$EF313AE3-889C-470E-B32D-62460B28348E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3217c90f283b374539fe74b872d27e729b0165f0","datavalue":{"value":{"entity-type":"item","numeric-id":3994465,"id":"Q3994465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d68a94cfbf55321779f9fdba57a618989c6572","datavalue":{"value":{"amount":"+0.6511809825897217","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":"Q688830$E819CA5A-EB1E-4297-B7E6-7178EE97FFA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:688830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:688830"}}}}}