{"entities":{"Q6044466":{"pageid":13178622,"ns":120,"title":"Item:Q6044466","lastrevid":58639356,"modified":"2026-04-06T03:16:37Z","type":"item","id":"Q6044466","labels":{"en":{"language":"en","value":"Tasks in modular proofs of concurrent algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7687226"}},"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":"Q6044466$37AC8B28-975E-447F-A25E-C39416798862","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":"Q6044466$1E20796F-7EA1-4D8C-8F4E-D2EBB5B4A354","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":"Q6044466$EE403869-07FE-40D2-94A0-C6596966CD4D","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":"Q6044466$BCC8CA8F-D7C2-4BC6-B95D-6A0C7DBFB7C7","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":"Q6044466$E1F2F7DE-C067-4AE3-B9FE-39642D665371","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":"Q6044466$DFDC0C74-35B5-4F60-967A-27F631FD0E4C","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":"Q6044466$DB02F247-DAF7-4F0F-BEB5-A607A9D5C76A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87bc8820e8f60467ebff7364a344597b11c80b1e","datavalue":{"value":{"time":"+2023-05-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":"Q6044466$9CD8434F-337E-4565-B70E-4D926E68F363","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8aa3e79fb2b579067ba13878daeb9e84220964d","datavalue":{"value":"https://arxiv.org/abs/1909.05537","type":"string"},"datatype":"url"},"type":"statement","id":"Q6044466$A30FDE9C-9CCB-453C-A72C-BF4418131906","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044466$BDB1D982-C154-4291-B20D-E75C4AB08752","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70fd7f28d17a86d100d4e8047beed8cb42adfade","datavalue":{"value":"7687226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044466$02C66E9F-508D-402D-9079-E618172820A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6044466$CA402E4D-D9D1-4836-B31A-6677228F0EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6044466$4ACFEDDD-A394-4A57-99C6-6E3C1CCF896C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9817f2729928010b9d5377db5b0f95421c8ef32","datavalue":{"value":"concurrent algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6044466$D9B3DF16-01CB-4266-925F-77F693B6FAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ac52ba5fbfea503a5169a1bf75445d6498e920","datavalue":{"value":"renaming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6044466$9146DB5F-49C2-4512-A4B9-52334E5FF825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7f42be35522c1a46eebbfc62daaf4fbb902a258","datavalue":{"value":"splitter","type":"string"},"datatype":"string"},"type":"statement","id":"Q6044466$1783362A-7024-4197-86F1-5CBF2CFF4C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6044466$13337CB7-F0EF-468E-8D02-D8EC7C46EB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89a6fc6c4a3587e686f3604d5537a27fb41d98e1","datavalue":{"value":"distributed tasks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6044466$F876CE78-52B0-4BED-9851-0D667D8C9D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcbd80faf9295ae72e31717004361cb9f7a080da","datavalue":{"value":"\\(\\mathrm{TLA}^+\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6044466$F1AEF10C-9F35-4E7E-85DF-20351981D606","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":"Q6044466$2C64F080-41BE-4E8A-88DB-FAA7B5EC05EE","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":"Q6044466$B606CD67-D080-4D69-BD32-AE61AAF8B918","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":"Q6044466$E78313C8-90C3-40E9-B8B1-EF15E9CEE5CB","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":"Q6044466$9C370582-BCDD-48E6-9326-91DA125C6993","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":"Q6044466$D413DA97-F4F8-4891-97E5-1AE0E1450FAE","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":"Q6044466$7C8714CD-2188-4196-855B-7E319616A186","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":"Q6044466$847BBC6A-E1A7-4FD5-9F29-C99A33DE34AA","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":"Q6044466$1E1EA4D7-B6D9-4DDA-9638-0D48EB08341D","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":"Q6044466$C7E65577-51E7-4EFD-BAFB-14FDDFAF3BB9","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":"Q6044466$6E1523A6-5683-461E-BBA0-0E94E1454D44","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":"Q6044466$3EF23EEB-F525-4FFD-8821-9DD9E07EF3BF","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":"Q6044466$4A2A52E3-87DC-47EC-80E6-6928070424F8","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":"Q6044466$08E82BAA-AC6E-40AE-BE0A-A5871840A9E8","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":"Q6044466$74865BFE-6012-4E80-8B3E-840ACAFC79C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd9c4a403d37feb7083da3269440252f84c001b","datavalue":{"value":{"entity-type":"item","numeric-id":5498755,"id":"Q5498755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044466$1332CEB7-92B2-4BFE-A728-8CC878BE0088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53c2bf518f07c352a8e3930c7ca19270bad30af8","datavalue":{"value":{"entity-type":"item","numeric-id":3158560,"id":"Q3158560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044466$303A00D7-B8ED-4537-98A6-4E5B4794BAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271e07f9c546e49eaacf117e0f5779050dbb73dc","datavalue":{"value":{"entity-type":"item","numeric-id":4934623,"id":"Q4934623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044466$7D88F2C7-DF13-4E93-96F1-AF02BDBB4703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a5c450aafaf1db5f41ea1e3146051dc1e858dd","datavalue":{"value":{"entity-type":"item","numeric-id":3393398,"id":"Q3393398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044466$77EF3836-9A91-4B2D-A714-ACE8C89AB059","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":"Q6044466$7D4F78E2-C6F6-4D11-B323-F20772158237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044466$7640D7AE-84DD-4013-8E43-41F3AD816206","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":"Q6044466$0B86B728-C526-4D3E-A045-DA16B2688041","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":"Q6044466$C184A13D-FE00-4788-A6BB-1C04015917A4","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":"Q6044466$5D788E8D-4613-4822-BAA4-3C0619CFC9A7","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":"Q6044466$91454E8F-F3A5-4DC5-A8AA-D77CE4A3C1F7","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":"Q6044466$7B90D596-EC0A-4AEA-B610-D8C9F1FB6764","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ea5f0a73fe7f948a354570cee135270ad30f21f","datavalue":{"value":"10.1016/J.IC.2023.105040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044466$37074B39-2E92-4390-89E2-3DCDFB3E9B6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a86e4f45c9ea8cdbe28f35db5e30d4befaa07567","datavalue":{"value":{"entity-type":"item","numeric-id":6536328,"id":"Q6536328"},"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":"Q6044466$53B34380-825A-45F1-AF21-656BDFD33101","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":"5fc592718b92f12943c293b1e81c1017921288c6","datavalue":{"value":{"amount":"+0.7484422922134399","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":"Q6044466$F9E984BF-5F1E-444E-A7D8-E1FCB0543FFE","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":"849d907f799cee660a0d7b77f839c9bc5ac96d4e","datavalue":{"value":{"amount":"+0.7180309891700745","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":"Q6044466$A1C8D753-313A-4F20-B08C-EA6F5C004FED","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":"ec80866511fef5fd39367c3b92b1ca130d4a607d","datavalue":{"value":{"amount":"+0.699030876159668","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":"Q6044466$0E2F6A3B-093D-464E-BFF1-159FEAFCBC8D","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":"5ae1ce30b79f4679f7b97fd57c5941333929458a","datavalue":{"value":{"amount":"+0.696635901927948","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":"Q6044466$5166F4C2-F88B-49D4-9C4C-2A93417F0756","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6044466","badges":[]}}}}}