{"entities":{"Q890478":{"pageid":892326,"ns":120,"title":"Item:Q890478","lastrevid":65128632,"modified":"2026-04-12T00:30:57Z","type":"item","id":"Q890478","labels":{"en":{"language":"en","value":"Balancing expressiveness in formal approaches to concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506757"}},"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":"Q890478$473BA4A6-6FBD-45E8-91B9-D1B985884D45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3502347bf94dd97fff6331d65345bd2aefad08d9","datavalue":{"value":{"text":"Balancing expressiveness in formal approaches to concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890478$4BA0874C-3BAB-4B6B-A035-8E8D95E805F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a3ca66734ce9a394b72b02e99ae4a40635425ec","datavalue":{"value":"1343.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890478$F269FBBB-B420-4060-8A41-FB6EED651FC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab9d14b6e6a1decf0c3a30019cc307a4c867a39","datavalue":{"value":{"entity-type":"item","numeric-id":890477,"id":"Q890477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$A943BB7A-FCD3-4AAA-A87A-DEF18DC202AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$1B571359-A8C1-43EF-98C9-6283A47018B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7fb66b0206130190f243440decd1e8cf3e7850","datavalue":{"value":{"entity-type":"item","numeric-id":264525,"id":"Q264525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$B9FD7AAA-A906-44B0-B301-5D0623ED90B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$E59E0F1F-9481-4EEF-843C-A427A0539EE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"076824462e9739de83dbd861126210324c665107","datavalue":{"value":{"time":"+2015-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890478$22027117-F2AD-427F-80CF-6A685EE3A4A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890478$9473EAC0-9398-4EA5-829E-319D36A51124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890478$19CEDEC6-E37E-49B1-91D9-02ACD1E1DB77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3a5b38dc081b2bd1a7d2271245a22555725d91a","datavalue":{"value":"6506757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890478$E6D75848-9E76-4C0B-97AD-9C83EC9EAB1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q890478$5FEF6981-CB08-4A7F-88D0-58A41B1D3B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db99a0ebb9288ec90c751c678ef76935ba4a3c4","datavalue":{"value":"rely/guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q890478$DB663C7B-F779-4AB6-8200-698868CDD1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q890478$10B71EA1-2695-46E9-9160-CB7EE15A5BB4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"63c1d43ff8ee6b217fa3d42cec6f2b2ae9820edf","datavalue":{"value":"Q59409981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890478$06158B12-28AE-4095-8400-E7A8F7569DA3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ada433d56eb73d1ab97d626e0d8ed6f82e93c5c4","datavalue":{"value":{"entity-type":"item","numeric-id":30257,"id":"Q30257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$8CF3C2CA-CB99-4FF8-A2E9-5DF8212C4D4A","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":"Q890478$00BBACD9-B5E7-4DC8-834C-7B644B3F76A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0a5fd773e0bb664fb05496aead1f9dc32af7258","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0310-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q890478$BF6DFD95-E3DC-4F15-AC32-3FEF0DC8DD38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54a4f96142226bc8743dea9e61d4aa4470db55b8","datavalue":{"value":"W2219157221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890478$F5EB2A3D-1487-415C-A2DF-AD5B8E34092C","rank":"normal"}],"P223":[{"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":"Q890478$D05BA22E-E1D9-4279-A574-13AC2CABC29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$C45515BE-9138-4E6D-827C-2E1471B93827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df755177511a4a382e9fd897da9fe34d7e867ddc","datavalue":{"value":{"entity-type":"item","numeric-id":5679697,"id":"Q5679697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$663AE2D3-F752-4C8E-BADD-B7C91345B170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$15C2E07E-5A0C-4B3B-B31C-E2086E2C3F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c8ac97f07bf490bb63a608a986ce8e16a66e9fb","datavalue":{"value":{"entity-type":"item","numeric-id":613139,"id":"Q613139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$B9FF0F25-88AD-4298-A7E6-F8331024EA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70802674929f8673e2cea6ab08c1f6c408ddacac","datavalue":{"value":{"entity-type":"item","numeric-id":469352,"id":"Q469352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$C1C2D6E9-96B0-4D56-8F37-99001B2D78B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b2ce6ca779c63c212ae4393be7651e37cb46c4","datavalue":{"value":{"entity-type":"item","numeric-id":2892722,"id":"Q2892722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$A5B56641-D910-4E1F-80A4-519178459E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$8FCF7B57-0AF1-4354-AFFC-647E3A187565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$10212CA0-3223-429B-9659-D476256E5561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$3DD8B8AC-3D63-4CE8-B913-095FF8825645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1e4eb80490f042f6a1f90e82a002f7cc5a00b0","datavalue":{"value":{"entity-type":"item","numeric-id":5427260,"id":"Q5427260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$AB087755-6375-435E-8A85-F08306EC15E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdd4039390b89be98f162a7f08c84d89b026937","datavalue":{"value":{"entity-type":"item","numeric-id":5684216,"id":"Q5684216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$00E85501-E04B-4C22-8EB0-59209C3EB7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408dd153356546cf4f54bb5174901182b587cfa6","datavalue":{"value":{"entity-type":"item","numeric-id":3617714,"id":"Q3617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$B278226C-DB1D-4F26-A09F-0B2F41058199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e70c134dc050d14608706b089c2dc1819ae4c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4471919,"id":"Q4471919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$4D1BA7AB-2945-44F8-9A8D-043F949A8BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e001b607e2db4c55a2a039de4e0e7d543078e5","datavalue":{"value":{"entity-type":"item","numeric-id":1402468,"id":"Q1402468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$F4F9DB9A-7DE7-42D3-ADEE-50E6BF6E0368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$4D131B45-04CE-401F-9B9F-A348094BEA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dabf4f1607b9de91d80e4b58d15cf92280a9f62","datavalue":{"value":{"entity-type":"item","numeric-id":879357,"id":"Q879357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$AB5A37A6-86A1-4EC2-BB02-EF7DAA274D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$719BCCEF-DC8B-4040-8D60-198BE0F2FFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2889d04761e06240c487cc63b75905e4a3cf42","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$0C56C1DA-9DB2-42EB-9AC3-B5FBCB836E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70434bd037c21613c35cc4a429ac64d577db822b","datavalue":{"value":{"entity-type":"item","numeric-id":5756496,"id":"Q5756496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$758C9E0C-457C-4E42-B093-7B2801A5AD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$485B30CA-8DFB-4B06-A210-9F4F117E16FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475f8fa6cb77c023d7c800b8cdb0f884638c95a8","datavalue":{"value":{"entity-type":"item","numeric-id":5261502,"id":"Q5261502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$86AD45C7-695A-4CEC-B815-D0B6C567C340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30f5b288bea05ff224edc64c17f5ab4f1634750","datavalue":{"value":{"entity-type":"item","numeric-id":3012940,"id":"Q3012940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$99FE040C-8FDC-4DCF-BE45-74D3CFAE7C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee5691d38025bc4b75e672860480aaeee5c52a9e","datavalue":{"value":{"entity-type":"item","numeric-id":539423,"id":"Q539423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$88C66C79-81A7-4A4B-84B8-4A69249E6B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$76CFF732-7464-4D10-9B99-22CF0A72C28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$C43C143A-CB93-44C9-BD83-580611B9E677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ac860696e668a9ea3bf009a3485e439b6a4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3859249,"id":"Q3859249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$41D14673-8D8A-4279-A6F2-36B5636CF18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$63B9299A-8B0F-47A4-86C0-A915378B33B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$AB293EEF-12BF-40E3-A6A3-FF18D055EF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece09cde5d042483b2480d8d2c919b924c0540f3","datavalue":{"value":{"entity-type":"item","numeric-id":3163402,"id":"Q3163402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$2B7003A6-4C02-4260-B1AF-8E04032D31FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2100ba9c9ff3694b0619fc4e400acddec3af70","datavalue":{"value":{"entity-type":"item","numeric-id":3535380,"id":"Q3535380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$892036B8-486F-4408-93DE-540C8A1EE9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$C63E96B9-220D-4C53-AF69-6BEC38C90E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$E8AAACCA-8E4E-429A-BB9F-EAE35F8D5A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$D9B98FE7-1785-44DA-A439-ABA55C25A128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$9EA6915E-DD7D-4F44-A6F7-28F52DA3DD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2791da5b87f3897ecd063b68e70aea276f020b","datavalue":{"value":{"entity-type":"item","numeric-id":4178461,"id":"Q4178461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$7D290213-96B0-4F63-9F25-270CB5B789EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f7a002bf1488e9eda8c9de5c95b2763f569ef","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$97610282-CFE2-48F9-9428-EE20851A1D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$2853E738-1757-49E2-BBA6-30C8BCEC13FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928940c82f5eab2df5a1704d32409a802ad3f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$8F6F192B-DE1E-47D1-BF0B-69DDFB14FAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34476e0fc3213e918db7c48fd221cd690cd8a79","datavalue":{"value":{"entity-type":"item","numeric-id":3612005,"id":"Q3612005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$B07C896E-85BD-41ED-B9DD-65D4227D34B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$798B2878-E4ED-4B38-9E72-740C900951E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890478$CC5FD001-27B9-4A6E-8455-0608FD41BC0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44f5b993ef3d09d2ee19193325525ba4515f2905","datavalue":{"value":"10.1007/S00165-014-0310-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890478$16E543BF-1D04-4863-A6C5-B002E61F8A40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eba8a6a8cd95fa196ea105cc0af832e86601ec","datavalue":{"value":{"entity-type":"item","numeric-id":5146595,"id":"Q5146595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019dddb58c33473c4524dabcaa57df4751f3e433","datavalue":{"value":{"amount":"+0.7105147838592529","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":"Q890478$E6E4DE7D-2A2A-4710-B68F-9E346B08FB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34bf3b802854746f543248c7cffc414e0b4fbeec","datavalue":{"value":{"entity-type":"item","numeric-id":539423,"id":"Q539423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d0e872126f003ea8031abf8e645994bf068d99","datavalue":{"value":{"amount":"+0.7099589109420776","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":"Q890478$ADBDAFAB-3069-470E-81A5-BCDF86EAB09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40492cae6e4f296b458cfda29d89ed8fe3029b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c2d2aaebda5ad95a7e898299508f8bc6e0d138","datavalue":{"value":{"amount":"+0.7094056606292725","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":"Q890478$5DFBEFE6-5948-46C5-BEDD-37E4F7E8FC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc4256356725557abc3e23761dc20a50613742f","datavalue":{"value":{"entity-type":"item","numeric-id":6165766,"id":"Q6165766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a721eda6fb41e86290bc4ddae4ef60821b9d4c89","datavalue":{"value":{"amount":"+0.7075585126876831","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":"Q890478$5F0C114E-A313-44B4-9986-1FFBE33C0BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3397a127c507976e0bec975424d3ee94ea4faba","datavalue":{"value":{"entity-type":"item","numeric-id":1648035,"id":"Q1648035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0e1bdce5074f59d390f83693d35c66ad92a927","datavalue":{"value":{"amount":"+0.705275297164917","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":"Q890478$DAB62740-AEAD-4D27-9F3E-9D6DF76AD06F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Balancing expressiveness in formal approaches to concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Balancing_expressiveness_in_formal_approaches_to_concurrency"}}}}}