{"entities":{"Q651308":{"pageid":653157,"ns":120,"title":"Item:Q651308","lastrevid":63324129,"modified":"2026-04-11T12:06:13Z","type":"item","id":"Q651308","labels":{"en":{"language":"en","value":"Modelling concurrency with comtraces and generalized comtraces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5987961"}},"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":"Q651308$110ADB70-4819-43EE-BF88-133FA07001A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15167191673a027b93150140645a3584336db5d3","datavalue":{"value":{"text":"Modelling concurrency with comtraces and generalized comtraces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q651308$B6AAC333-2296-4651-B417-61118CC1F1B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa7f461d712774229fd4cf2c571e3b849f2a97a5","datavalue":{"value":"1244.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651308$369CBA8B-D112-45B5-99E0-C37DEECBD704","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":"Q651308$7D36ECC6-483B-43D8-A1E3-8BE562E4ABA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eed58786d31c18a77c858f98d71b0b97f7306e21","datavalue":{"value":{"entity-type":"item","numeric-id":651307,"id":"Q651307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$ACEFC7D5-6B7C-4103-8FCD-08E8824CD59A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$21DE95DF-B098-4759-BF6A-4912E25685DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c499612d352adb9bf630a964e4498c3cb854f6a","datavalue":{"value":{"time":"+2011-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q651308$81F9E227-E47B-4017-BAC6-9B1BA3C6D532","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1856c22abeb8739b271abe15a10a03c5aaca0b22","datavalue":{"value":"To faithfully capture operational semantics of concurrent systems one can represent their runs as sequences of symbols, each symbol corresponding to the execution of a basic atomic action. By taking into account only the essential causal relationships between the executed actions one can then group together different runs which only differ by the ordering of causally unrelated actions. In the resulting model of Mazurkiewicz traces, each abstract execution (trace) is an equivalence class of the quotient monoid of sequential executions which can be represented by a causal partial order on the actions involved in these executions. Comtraces (combined traces) are extensions of Mazurkiewicz traces that can also model the ``not later than'' relationship for runs represented as sequences of sets of simultaneously executed actions. The paper first introduces the novel notion of generalized comtraces, extending comtraces with a representation of ``non-simultaneity'' between executed actions. After that it studies some fundamental algebraic properties and canonical representations of comtraces and generalized comtraces. Finally, the authors discuss the relationship between generalized comtraces and generalized stratified order structures which are a counterpart of causal partial orders in the new theory. In particular, the paper shows that generalized comtraces can be represented by generalized stratified order structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q651308$E8B236B1-1409-495F-8380-79489725A85A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5279059fc6d20bb27ba5bbae128acca6e980d64","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$DEDDB637-AB72-4B51-8A98-1AA6D1E3DB63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651308$6C6C4CE3-FE17-45B5-A586-B39996D38ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651308$6B7E4CE9-AF33-4FA7-84D9-BCB8B769EE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651308$F9BE5909-42F8-4DB5-9522-ADD108507630","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56ae2d88565bc9ecc9aa0584f52263e5ed91bcac","datavalue":{"value":"5987961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651308$97A44672-B937-42B1-BCDA-70607B0CE858","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52db94986f1426970f2847e6c9890605358fe27a","datavalue":{"value":"generalized trace theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q651308$7C1F8D4C-1BBF-48C1-AACD-A8C6551BFE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15167c944b1085c17bcbb300e741b3e077562d3e","datavalue":{"value":"trace monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q651308$076A6EDE-4681-43EB-8E20-323ED2EFB051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75313538aa2640bcf5460f43fcf0284b7647999c","datavalue":{"value":"step sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q651308$7181D294-806A-43D0-BCE8-BD6602C930F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9b638230d2c59161dcea06ec222b02cf22c4b63","datavalue":{"value":"stratified partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q651308$BB2FE524-C1FA-4564-9D55-84E954F6C6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea7cb0e5d22a1b7f3d4feadb59dd044d3eb0669","datavalue":{"value":"stratified order structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q651308$92C3EF2C-985C-473B-8468-E1066E34F885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ddf808060ba42d097128ffb37e89bf3adfd06","datavalue":{"value":"causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q651308$0BFA9931-9F41-48F3-BD82-2FFA8DCDA473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f846fd3bfd9e93c5beb9ed47c658058833f414","datavalue":{"value":"weak causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q651308$938D31F6-5D14-455C-9386-ECB840BFDC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d1fab7f785bc44f6ca52302cf48f07e8b3ccb40","datavalue":{"value":"simultaneity","type":"string"},"datatype":"string"},"type":"statement","id":"Q651308$360572C7-0651-4A13-97BE-B24033E59091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11a51fba83cf9860f708e585f25dee26b9c596d1","datavalue":{"value":"canonical representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q651308$EFB3F8A1-21BD-41BB-9800-C91222B81CB2","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":"Q651308$B6BED392-445A-436B-A3D2-4F66F70B0C33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36b4a76912a321fdaca93e91c3bf2ec3d8de17d0","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q651308$CB91381B-6D02-4DB9-95B4-EC03B794011F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82ab32177545a64b04d112dc52776081ff746483","datavalue":{"value":"W2140884424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651308$AC966818-34A9-499A-8C12-41C3A4D9EA94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24235ebf59665842d557dc052f5c3fa17f19933f","datavalue":{"value":{"entity-type":"item","numeric-id":6116581,"id":"Q6116581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$1EF6C8C6-77C9-4852-ABA3-C42B54CE18DC","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":"Q651308$EDA17F46-9D62-43DA-A85D-09E4A0D0DE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e4188af87a5a6964b5e9329a57bab5dba1272f","datavalue":{"value":{"entity-type":"item","numeric-id":1083185,"id":"Q1083185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$E2CB3EE9-42BD-46F3-9DE2-8878314E78AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05862255aa3fb359562605cac44e15a4c2142dbb","datavalue":{"value":{"entity-type":"item","numeric-id":2996135,"id":"Q2996135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$DC610A57-AB47-4DAE-A87A-5B178B2107E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7104c7f620103514a8645e534262fd8517f752","datavalue":{"value":{"entity-type":"item","numeric-id":4845486,"id":"Q4845486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$947609FE-BF5F-41AA-9BDA-EC7274F5A6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27449247887f79cba6fa6b98ab89dceeabd362d1","datavalue":{"value":{"entity-type":"item","numeric-id":934912,"id":"Q934912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$2FA0ADF3-DBC7-4531-9B54-B12D31F56ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bee1d172ba4629f3ded263d55eb28a6429b1800","datavalue":{"value":{"entity-type":"item","numeric-id":685384,"id":"Q685384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$A00ACA47-215C-443B-8543-D103E2D9AEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44a1145e260c347d17380ab66ad54c66824f81c","datavalue":{"value":{"entity-type":"item","numeric-id":2508333,"id":"Q2508333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$3A8AC4B5-B32B-4230-A5CE-4A34D4B777CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fb7f7fadd5a6790f3fd2ae34928888f738c4b5","datavalue":{"value":{"entity-type":"item","numeric-id":1369226,"id":"Q1369226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$C6B41AC5-E708-47EA-9498-BD980EA18FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cf52e6c0933cf2ab6ee4c55287f3d0e83519e7","datavalue":{"value":{"entity-type":"item","numeric-id":4458493,"id":"Q4458493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$D4A38003-83D6-4618-AD25-F2B396720A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747d7c622b7fc62ab1cb8c7d2c363fbdc82095b1","datavalue":{"value":{"entity-type":"item","numeric-id":4023058,"id":"Q4023058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$EB26CBBD-0F85-4CBB-86D9-F585738E4794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"413dd6ffb1b007336815979c5cc87e0820245d07","datavalue":{"value":{"entity-type":"item","numeric-id":3510871,"id":"Q3510871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$1C2230ED-D90A-48D8-B40D-06A4220D8AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d19b17ac9f32184be7732b8670fc16d32a5930e","datavalue":{"value":{"entity-type":"item","numeric-id":5712332,"id":"Q5712332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$2197CA55-605A-41EB-85F6-60C1BD8A3F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b966b2ff7423f43d7e37a041e4a3e3c80ccd62bf","datavalue":{"value":{"entity-type":"item","numeric-id":5506394,"id":"Q5506394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$F7F493BD-4E33-4541-8351-4CC74883E0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97fc9c7d17f6301d85f84b9db86a09f6c57162bf","datavalue":{"value":{"entity-type":"item","numeric-id":3601872,"id":"Q3601872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$033589DB-0B0C-4875-83E7-102949497181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966fbdb3c0852b343fd9cc9ac51b75cdd23589f","datavalue":{"value":{"entity-type":"item","numeric-id":598184,"id":"Q598184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$B1210635-FF33-4609-A126-7093DDD70C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e313b07724b9d055d21da9a546d18e1ddd7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3527017,"id":"Q3527017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$B6F5ED98-7A64-4A80-9FEE-938C7AC6BC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662592f26484f48cf027704f81fcda18ebdf4638","datavalue":{"value":{"entity-type":"item","numeric-id":3569864,"id":"Q3569864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$A7EF97C2-3414-46C0-9FBE-1C9DC7ED6382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac6b7e3c4aee507916dcbdeea7e863f6e95a7d6","datavalue":{"value":{"entity-type":"item","numeric-id":4948015,"id":"Q4948015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$99B4E824-6440-4634-96D8-9364706A2330","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":"Q651308$E40C5DB5-CC4A-4894-95E7-C83497CB97CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8c0fbb20090da43f2f4daf6627b70988e09f22","datavalue":{"value":{"entity-type":"item","numeric-id":3357559,"id":"Q3357559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$0717BA1A-1698-4F41-B584-326B13F39E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651308$C0A7E2A5-2E15-41EE-9E40-00CB3D3674FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2005240099a38b20eeeeb324f1f87f8d28a35b40","datavalue":{"value":"10.1016/J.IC.2011.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651308$AD570532-14F6-4519-AE53-7CA4C1F4FBF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2c485af6f44162329ddda7fcdf52d985d3ff98","datavalue":{"value":{"entity-type":"item","numeric-id":2760239,"id":"Q2760239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c011d9a81a7a4b14895a3af58d89adda099d00","datavalue":{"value":{"amount":"+0.93098927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q651308$30BC6187-7A30-45B9-A25E-D07D2C55EC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fe28ac4b819e9a231c6918d8d96e61fb4d548b","datavalue":{"value":{"entity-type":"item","numeric-id":515576,"id":"Q515576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c08c95e2b98fc51ca7ccae2667aadb6b9b53cc2","datavalue":{"value":{"amount":"+0.9110609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q651308$E95E3690-882A-4C8D-B9D5-81FE9AB1B00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de126ac44c484decd6bb928f786451c17c995f0","datavalue":{"value":{"entity-type":"item","numeric-id":5096854,"id":"Q5096854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80af6a8ffbfd4436af17387f3c4a7ef0dd228707","datavalue":{"value":{"amount":"+0.8925399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q651308$53669CD0-D444-4AE4-B281-5B2020CCBD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4f828bee80db965de664452b800b72cf3c17ba","datavalue":{"value":{"entity-type":"item","numeric-id":4027626,"id":"Q4027626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7587bf9f12533beee44abd9db91005f1c4218023","datavalue":{"value":{"amount":"+0.88615084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q651308$025DC2FA-6DE0-407B-BC6B-EE8721847B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe1a0bfa3e58910ad706cafdfac33e37e14f779","datavalue":{"value":{"entity-type":"item","numeric-id":672053,"id":"Q672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae94ad6ca5f60b1d9bda68363b9df53d58f1d51","datavalue":{"value":{"amount":"+0.8837419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q651308$987B1EE7-93FF-4633-91C5-3C7453DE75D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5185b0a32f7227a8418e26accc2c5ef93a6c0723","datavalue":{"value":{"entity-type":"item","numeric-id":2810953,"id":"Q2810953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8346e1c4385f0584158bfaa6fb7013aabedb06","datavalue":{"value":{"amount":"+0.8808565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q651308$EA747632-70F8-4C6F-9422-121271ABC670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182a994dd5cd8f260046f6c81263892e8a3417b9","datavalue":{"value":{"entity-type":"item","numeric-id":5709369,"id":"Q5709369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a5ff15bc138af0c4fb8af58c57474093808cf9","datavalue":{"value":{"amount":"+0.8752917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q651308$8BCE11C8-D9DD-4740-8F1D-A0730AC48BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59438a3e828c320d02fc6b175f45054adca7178f","datavalue":{"value":{"entity-type":"item","numeric-id":3176376,"id":"Q3176376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25350ee8036f4fb997813e8f6b8d5e9eaf382dba","datavalue":{"value":{"amount":"+0.87257624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q651308$9F4EEFAA-90DA-45F2-B00F-08994B15AB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be820f4b30e5f46c065976a2e5b14ab0686ce71","datavalue":{"value":{"entity-type":"item","numeric-id":2182666,"id":"Q2182666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc5f03d2a8f4016f720f2b07202c2f1092b0108","datavalue":{"value":{"amount":"+0.8725632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q651308$2C15A5B1-CF14-421E-AAB1-5EB7FEA504BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modelling concurrency with comtraces and generalized comtraces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modelling_concurrency_with_comtraces_and_generalized_comtraces"}}}}}