{"entities":{"Q2638794":{"pageid":2649537,"ns":120,"title":"Item:Q2638794","lastrevid":49453531,"modified":"2026-01-07T04:42:30Z","type":"item","id":"Q2638794","labels":{"en":{"language":"en","value":"Transformations of sequential specifications into concurrent specifications by synchronization guards"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4182843"}},"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":"Q2638794$D5EC1F07-E516-4A70-BA12-72804E30A962","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7058ac5a80c8d24b76ae6a0c951c3783ebc0aa6","datavalue":{"value":{"text":"Transformations of sequential specifications into concurrent specifications by synchronization guards","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2638794$EE3E970C-38E0-4263-A80F-2D2A289FF4DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f53c68368708ce2f63f46dfb4b63723d26fce3da","datavalue":{"value":"0717.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638794$B8453B2B-9816-4123-B9CB-36E28A6576A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8155d0177593e5bfbed7195b65cdf4e6f1765b69","datavalue":{"value":"10.1016/0304-3975(90)90117-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638794$34B5A3DE-FCDC-4D9F-A656-737BFF4A2713","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f3a984beabc22332e769fad7e0cad02f7ca29d","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$F41F8DBD-3606-424A-AC63-9596B7D09477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7bff2da254ea4da3fd68024a125314e30ffd3c2","datavalue":{"value":{"entity-type":"item","numeric-id":2638793,"id":"Q2638793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$D7B20CC0-2207-4BA2-8BF4-1B79851FCBBD","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":"Q2638794$D8300C9D-A3EA-42D1-A533-4D3835059031","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2638794$A035D5C6-2C55-4FAA-8CF8-FAEF183F05F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638794$BB977228-A1A4-4F3D-A41B-814896A76DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638794$7B088B11-741F-4ADA-8780-2065BDA98831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638794$E666FEC1-5186-4358-9706-D4310924824F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7754d4860a370b4cca92d4eecb3a8c84aeabf50b","datavalue":{"value":"4182843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638794$A041018A-DE95-46BA-AED9-5CB55141FA56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638794$69829D83-BBC2-4EB9-A13C-FD3F205429F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638794$B92313AE-F54F-455D-80A9-0C4B20C6E965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638794$52446B26-19E2-4DB5-9BF1-C0C26C75B5BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"640e4fd88a5f30a16111d1aae60fb5a8e06d1e5d","datavalue":{"value":{"entity-type":"item","numeric-id":13964,"id":"Q13964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$55779388-84B6-42C9-90C6-FD19D769EA69","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":"Q2638794$479068B0-A1F3-4165-B954-8BF11B4575A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"222d07752b0da864b8db0bdf97412eb38520ccda","datavalue":{"value":{"entity-type":"item","numeric-id":3030242,"id":"Q3030242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$978B9A64-7E87-480D-A92D-F2FE7788FBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508bc917a7771d26e78b44ecb3237422dc102dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4066554,"id":"Q4066554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$26A7DD3D-9989-4607-BC46-2ABEB5A7F2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6fb44d43179c7d4eaaf0e2fc2efb83b4a556830","datavalue":{"value":{"entity-type":"item","numeric-id":3736887,"id":"Q3736887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$C2C9D4E4-7A2E-4A1C-8405-06982F79D990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$CD5E923A-AC4E-4110-91F6-DBE438E4699F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"becee6486aa3f7268cf87b344703d3bb7bc4c534","datavalue":{"value":{"entity-type":"item","numeric-id":3330492,"id":"Q3330492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$CC2D8475-45A2-41B6-B807-C688CE0C8F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112f7bbf702231dfdf6265079054edfe9355779d","datavalue":{"value":{"entity-type":"item","numeric-id":4146243,"id":"Q4146243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$C72AB981-A089-4D82-A169-D0204BC6E365","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":"Q2638794$FAE3C49F-7019-4F4B-AA5C-0677B37E5969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f583077bb9521b88b718ece03e15022853787aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3666231,"id":"Q3666231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$F34EEB3A-3E5A-4031-AE90-3D9A27A541E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101749e93d9b6e0b22965c5a2b7426ed613c7682","datavalue":{"value":{"entity-type":"item","numeric-id":3919088,"id":"Q3919088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$E7843B42-5491-4B54-A724-F27DB34969C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2446e1c11bb794e9a69201c8a8bfcbbaf7cf0693","datavalue":{"value":{"entity-type":"item","numeric-id":3325015,"id":"Q3325015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$8D76D8A3-DF1A-4E88-BFE5-F18FE869BEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba77d9dd9b6bb60453874e76522fc212f0b0ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2265803,"id":"Q2265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$BF7CF080-D5AE-4E4F-9F65-5E4DB7C9079F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e11973659c7fb560dba488bf89ee621d6b59a1","datavalue":{"value":{"entity-type":"item","numeric-id":3680255,"id":"Q3680255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$77479952-B55C-4668-BD26-E78C1C4F27F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$3CE99025-689F-4473-92C1-B7E1308FEBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d7d004307987ac0e4f10208f4a0764737b4930","datavalue":{"value":{"entity-type":"item","numeric-id":3780449,"id":"Q3780449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$75BCF957-D41D-4211-9F20-271A7D2EFB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79258f9e3a7464bcb9f3e40943875d0fd0290494","datavalue":{"value":{"entity-type":"item","numeric-id":1167528,"id":"Q1167528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$5CD88E52-187E-4C5E-B1B6-EB7BA7B4AFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f01332146e7cd2d5499a73fb96dae34f6b2070","datavalue":{"value":{"entity-type":"item","numeric-id":1167527,"id":"Q1167527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$858DA2FE-0ECC-40FF-80AA-9CAB632635A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941817c38f85c1a34eaeb3d527bb065d15bc6149","datavalue":{"value":{"entity-type":"item","numeric-id":5674989,"id":"Q5674989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$5D1C48B4-5958-4F3F-B8F9-8FB06421B1E6","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":"Q2638794$D8983ED7-FE24-47E8-B4D8-3484D637F7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820df72bf1c15f32d5787d80349cbcd5a7575797","datavalue":{"value":{"entity-type":"item","numeric-id":3867194,"id":"Q3867194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$74710822-A404-4A8C-8CF7-F0E3BD20B044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$DB156770-26A7-4D15-A226-1224DAD2F77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eed235920e3f17dc7c7ddc7932c6bfc3d17498","datavalue":{"value":{"entity-type":"item","numeric-id":4198040,"id":"Q4198040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$AA5B49E1-AC47-4204-BED8-D748E0D703D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f92ba222556b2c6aff4ec239a9fc813a831b8f1","datavalue":{"value":{"entity-type":"item","numeric-id":4116049,"id":"Q4116049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638794$3B9ECFCF-7FDD-414C-865C-1AA6B6B7314D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14acd0ebb6cb28acf6d1064e80d4e8585b5b2a6","datavalue":{"value":{"entity-type":"item","numeric-id":2265803,"id":"Q2265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d82b2030ae5835493bd076c267d40ca95b405c2","datavalue":{"value":{"amount":"+0.8011096119880676","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":"Q2638794$1C15AE18-00A0-43AD-923A-A7183A17870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3146751f8c8f7e0894d3c7c900bfa9813ddeeda","datavalue":{"value":{"entity-type":"item","numeric-id":1276245,"id":"Q1276245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa749f5431af8aaffcf43a8fa0093306c7dca7f","datavalue":{"value":{"amount":"+0.7300575971603394","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":"Q2638794$B44EA349-81AE-4E72-BFC4-7A0FCDE2C6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99009c1d3f5c60e6ef04b7de0e8f17b7e8f6d687","datavalue":{"value":{"entity-type":"item","numeric-id":6104370,"id":"Q6104370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38da24da2546cb86f805ca475bed2f63132b71ac","datavalue":{"value":{"amount":"+0.7232668399810791","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":"Q2638794$AD157947-34AB-4D12-A679-AB265037C48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc3413ad2862ec099fd93489bd64a03a074e1fb","datavalue":{"value":{"entity-type":"item","numeric-id":5044728,"id":"Q5044728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db8acf9d69deb50d6cbb41e848881505629c11d","datavalue":{"value":{"amount":"+0.7150028944015503","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":"Q2638794$CF57A312-9693-484B-9A6E-646A8676BBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b330a51c618028d4a23ce023c93788004490dc25","datavalue":{"value":{"entity-type":"item","numeric-id":3325015,"id":"Q3325015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e17622d132c03e1380d594b5e9c1d001f258bd","datavalue":{"value":{"amount":"+0.7142235040664673","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":"Q2638794$37448DFF-AA42-41D5-A1A0-FFB821B9FA84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2638794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2638794"}}}}}