{"entities":{"Q6536328":{"pageid":14147471,"ns":120,"title":"Item:Q6536328","lastrevid":95499479,"modified":"2026-06-05T09:09:50Z","type":"item","id":"Q6536328","labels":{"en":{"language":"en","value":"Tasks in modular proofs of concurrent algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834997"}},"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":"Q6536328$5F50DBA8-2F6B-42D7-9BC1-CDDF790F0509","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb6621cf0cfc8a9d82832be523670a5dbbbaeafe","datavalue":{"value":{"text":"Tasks in modular proofs of concurrent algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536328$2EC15BF1-EA3B-4035-9773-6C554DE38296","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c79fc2386903959afce646a825af90901c27e4d","datavalue":{"value":"1543.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536328$C09E9F27-D09C-49D1-9EDE-0724B19A5435","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"506103e364db80ff856741fd30a2c734b720c239","datavalue":{"value":"10.1007/978-3-030-34992-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536328$86782B77-2D01-4408-8634-137F2869EB6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfaf0512f29ac23b4ac3aa7d60cfce273adf67d5","datavalue":{"value":{"entity-type":"item","numeric-id":391996,"id":"Q391996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$1505E867-4962-42D2-807E-9679FF6886E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e06b36f009de211b778b51855c08b4d560afaa0","datavalue":{"value":{"entity-type":"item","numeric-id":315309,"id":"Q315309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$EB35E89F-D62C-405A-8DE9-0F9CBCC06F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b7195b0f4c9e8b2a98ccb046ac4d7f3213197e7","datavalue":{"value":{"entity-type":"item","numeric-id":315310,"id":"Q315310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$EBFA0C3F-E13E-41BC-A97C-A881CA0F44AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7249130b2228c0a2b634538a458d4b39c2af4b10","datavalue":{"value":{"entity-type":"item","numeric-id":2215971,"id":"Q2215971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$5C095380-E049-45B1-A86B-1456082BC4B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536328$2DCA4BF9-F0A8-4E15-8648-17B70EA19AD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536328$AA529BFA-7107-4648-9182-5B177152DAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536328$949817DA-0CC1-40D1-9202-56B63B356462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536328$88E91ACF-DCAD-4910-A850-EC341FB85F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536328$9420B33E-A984-4BD4-8239-D1974E68AE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536328$6878A34E-0476-4E08-998C-2668169C6694","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"812d4bcf8908aee471e9f477d7976311567c6146","datavalue":{"value":"7834997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536328$61AB2172-E731-4F3D-9299-884F281CFD10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536328$95B66A72-3DF8-4920-87A0-443E3585FB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536328$AD3F68A5-C546-40C1-9BBD-E77483499613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9817f2729928010b9d5377db5b0f95421c8ef32","datavalue":{"value":"concurrent algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536328$84421D37-C0B1-4840-826B-BD5D7DA13967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ac52ba5fbfea503a5169a1bf75445d6498e920","datavalue":{"value":"renaming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536328$D2698A9D-DEFD-4905-8D0F-4662F122B20E","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":"Q6536328$72732C7B-D4EA-4DAE-8369-8AD3234393C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9039c833a564c3af5146356d6f3a5c0518f616e9","datavalue":{"value":{"entity-type":"item","numeric-id":4967197,"id":"Q4967197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$A5052C42-EB41-451A-90EE-608105C270A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfdde10c95ea6b2bc103f0e080480e9fc831c04","datavalue":{"value":{"entity-type":"item","numeric-id":487260,"id":"Q487260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$76AB2A4A-82B8-42A2-9563-4AC0A146E88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dc130e60aed51c89205a9df57c6cb8c74befd93","datavalue":{"value":{"entity-type":"item","numeric-id":3477940,"id":"Q3477940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$817B5A94-7558-4CFB-ACD7-A41B080FB536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58edd1713e6965e2bfd01aa9bd126ab67244e192","datavalue":{"value":{"entity-type":"item","numeric-id":5248475,"id":"Q5248475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$2DFCBE4B-7180-4B0C-B3B5-75136B8164E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbca434e7efcaa3f45b14ee454be186201e62008","datavalue":{"value":{"entity-type":"item","numeric-id":5138357,"id":"Q5138357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$61D09B53-A879-4EC6-ACAD-00BD0C1E9C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5850893d8648db4f4831d724c8c8a49d76ba624","datavalue":{"value":{"entity-type":"item","numeric-id":465682,"id":"Q465682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$A509F106-AE2C-4FCC-B06D-0EE3BB659C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6b66e9eafce8a47084914d65100426caac9627","datavalue":{"value":{"entity-type":"item","numeric-id":4625665,"id":"Q4625665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$AA828202-34F3-4195-8090-DF5BF9FCFF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd2f4433635ce71f2f367065b460330ed3002ea","datavalue":{"value":{"entity-type":"item","numeric-id":1260652,"id":"Q1260652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$13F2643A-F632-4437-B579-D417611278EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5737eae5a9d5daa72060f660d9134c03a406fec1","datavalue":{"value":{"entity-type":"item","numeric-id":2790109,"id":"Q2790109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$A52BB868-7B59-42EC-82EC-3129CCA3FBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cdb831970cdc01d205b526f08958ccd77a1ab13","datavalue":{"value":{"entity-type":"item","numeric-id":5747748,"id":"Q5747748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$13F09F22-961C-4CA5-B155-A4F8084AB6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3cf3aafb61f1d8c39c7a1a10f2789c501bdd643","datavalue":{"value":{"entity-type":"item","numeric-id":3384879,"id":"Q3384879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$DFB92549-F4E6-4FDB-B259-4066CC83E3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0028038992b7bca1c2ea78babd8573878e6adbea","datavalue":{"value":{"entity-type":"item","numeric-id":1664150,"id":"Q1664150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$12FAACBE-F0A6-4A41-9C9C-B034BA4D00C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9130e55501226411538bfd88426670e5daec3a","datavalue":{"value":{"entity-type":"item","numeric-id":666004,"id":"Q666004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$6B2B9F3C-44DE-44A3-89B9-A9708DBC1CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be83aeebeaaea84ea070f95f3d3c3b33fa7008f5","datavalue":{"value":{"entity-type":"item","numeric-id":6536175,"id":"Q6536175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$ABA88C1C-ACDB-4834-838E-C2A1F61B1C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8deaca70802e0445f76b98421215f3f055a11f42","datavalue":{"value":{"entity-type":"item","numeric-id":5464192,"id":"Q5464192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$138C55C9-12E2-4742-92F5-8EC3EF99ED2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517320f6c7767df77e92b62874c33672fdfaf8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3095328,"id":"Q3095328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$D3A648EF-3DD1-4C64-891B-6C8319AAB5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d90903f9a81ffad51c88cec10bdae4bb45c03d","datavalue":{"value":{"entity-type":"item","numeric-id":1904367,"id":"Q1904367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$4E991A45-C5EB-4AD2-A5FA-C77BD267661A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3952523bef4bd28cd350a69322ff814be962409d","datavalue":{"value":{"entity-type":"item","numeric-id":5176190,"id":"Q5176190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$5D0684F8-D040-4F92-9FB4-3C57E9C1D822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08333a67f5ca89a508753469820e4a652474e20a","datavalue":{"value":{"entity-type":"item","numeric-id":3166386,"id":"Q3166386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$3A2B5A1E-BC43-4F7D-B8BF-B5575720DAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1db452e7bc786acd58288b016b684c4dbff6b","datavalue":{"value":{"entity-type":"item","numeric-id":1384697,"id":"Q1384697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536328$5E5496B0-6BB6-4EFB-99BB-1240BBE31CD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99f3a6e6e59f01faeb34ec9590bdc7c270ae2cb","datavalue":{"value":{"entity-type":"item","numeric-id":6044466,"id":"Q6044466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5f21b6901c1f71b609df6a392913c378d2a4c2","datavalue":{"value":{"amount":"+0.9652893543243408","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":"Q6536328$ECD81180-D409-4F07-96C2-039C986359DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e635c520cc1a847bc399d520ddf7a1334cf9bee8","datavalue":{"value":{"entity-type":"item","numeric-id":6536175,"id":"Q6536175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae10164e4e06218a7555033f7288ac3a5432de09","datavalue":{"value":{"amount":"+0.7424838542938232","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":"Q6536328$C9F80BE0-8E8D-4FC1-BBF6-F9A1520A6226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f92b20aabb74c929dfdf59319b7f9a0fdd8e200","datavalue":{"value":{"entity-type":"item","numeric-id":1664155,"id":"Q1664155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1561ea9c93347ba099089b2c26477cf97d6a0483","datavalue":{"value":{"amount":"+0.73502516746521","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":"Q6536328$D2891EE8-7505-4D6B-88D9-EAC7A7496E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c928ffddde892e1817bc819ab21baaf4913e314f","datavalue":{"value":{"entity-type":"item","numeric-id":3189809,"id":"Q3189809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015780808964252b92d0ef634154f3bd58dfac38","datavalue":{"value":{"amount":"+0.6959328651428223","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":"Q6536328$C4981F12-F5E1-4A33-B8B9-8EB4176F8FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ffe5efef8cc77431d78920e1883b0d0cb7f530","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad9f5899ed6508aec0d06f106e49d3f1a23e22f","datavalue":{"value":{"amount":"+0.6953836679458618","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":"Q6536328$631889BD-DF2B-474E-9539-3B8D16DD32FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tasks in modular proofs of concurrent algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tasks_in_modular_proofs_of_concurrent_algorithms"}}}}}