{"entities":{"Q6536175":{"pageid":14147318,"ns":120,"title":"Item:Q6536175","lastrevid":55623403,"modified":"2026-02-17T19:54:52Z","type":"item","id":"Q6536175","labels":{"en":{"language":"en","value":"Proving a non-blocking algorithm for process renaming with TLA\\textsuperscript{+}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7828026"}},"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":"Q6536175$899B2EF2-2CA9-4917-99C3-163E32CF2EF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36e2d45b5224bfa48ca2218277007bda55b507f9","datavalue":{"value":{"text":"Proving a non-blocking algorithm for process renaming with TLA\\textsuperscript{+}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536175$B2AE776B-A721-470E-BD2A-225E3115779D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c26f4860c622706ad06ea6ea1662319e5d65a42c","datavalue":{"value":"1539.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536175$9C42B481-564E-43F1-94D5-8703765B640E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1512b5d52be901408fd1538baae0f16079371eb","datavalue":{"value":"10.1007/978-3-030-31157-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536175$F685852B-BEEF-4930-89BF-24AC94DF7D88","rank":"normal"}],"P16":[{"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":"Q6536175$DD63C5DF-B1B3-4268-A555-B3E75B8880F0","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":"Q6536175$619624C7-BC97-4DC7-B6FF-DD7DA9FA00CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536175$C9661122-5726-445F-96DF-434A5D645BC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536175$537ED1C3-F2F0-407D-9BF5-BA516BA3ECEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536175$3BC99321-E3AF-494A-AB0E-C4B29F623238","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08531d428eff3dd1860bce8012e1a1185b7e1364","datavalue":{"value":"7828026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536175$92DA40CC-450E-4996-8EFF-E63CC14177B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536175$60B1EB14-B008-4B9F-BFDC-A2498B080161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0949cb7cdefa0a7c5fb21a1dbaa9dbbbfa15069","datavalue":{"value":"non-blocking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536175$61C69BBD-D517-4A72-94F0-38A79684F557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49854c860b135745c7512035241e43ede4ce7e84","datavalue":{"value":"TLA\\textsuperscript{+}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536175$EDA67BCD-669B-4160-B032-274A5956AD0F","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":"Q6536175$EB33CEC3-35F6-43F1-9757-3A059F409261","rank":"normal"}],"P223":[{"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":"Q6536175$5BFC0269-C2E7-4B88-85E6-CDA0DE258E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaff8cfc7c0223a2739d33b679d7adea061cfc8","datavalue":{"value":{"entity-type":"item","numeric-id":1953636,"id":"Q1953636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536175$D2861E89-4213-492E-99F0-E4623461A9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854d086da0f1bfdbdae85905649661f4505fceb9","datavalue":{"value":{"entity-type":"item","numeric-id":5312931,"id":"Q5312931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536175$8EC3893E-279C-4D52-9AA7-EFBACC810B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73901d66c4278581e8cce3d77cced49f915057d4","datavalue":{"value":{"entity-type":"item","numeric-id":2819848,"id":"Q2819848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536175$086B0FEB-D7B1-4206-A817-119DFD6ACB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc051c4992a8a32119470ed01c512f9e5f52b6a8","datavalue":{"value":{"entity-type":"item","numeric-id":5894022,"id":"Q5894022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536175$B1B1BF3A-0617-4885-BDB3-6C8A91593755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bc9c0f31bcc962492231f0ab0272f6e6e3743","datavalue":{"value":{"entity-type":"item","numeric-id":1079946,"id":"Q1079946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536175$4C2B90E7-9169-4751-A1AF-E1F37829B5D8","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":"Q6536175$045A45A0-1C14-40C6-A984-322350CEB9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9863219edf0cf338b34eac05af7eeb8c6f738697","datavalue":{"value":{"entity-type":"item","numeric-id":692371,"id":"Q692371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536175$FFA66CC3-247B-4DE0-92AE-9441F7B970CF","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":"Q6536175$5075C0EB-F8AA-40EF-B540-6B28EADB0489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c754ecc5d140d0eb0f27c35098f1a762918ec02","datavalue":{"value":{"entity-type":"item","numeric-id":1268787,"id":"Q1268787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536175$FF52A78E-D6E6-46E6-92AE-5B49C1E31B7D","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":"Q6536175$D5AE43B1-A341-426E-B8F3-2079F06BEB1C","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":"Q6536175$655550C8-80A6-4A89-9407-97060CD6084E","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":"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":"Q6536175$37DA5086-8F02-4A82-9520-71CFF193FDF1","rank":"normal"},{"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":"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":"Q6536175$3BE80B92-4A4B-4F3B-9CA7-39E204A7EB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c564a9bc0a84a6da37daffe3c02fdd3b13b6524","datavalue":{"value":{"entity-type":"item","numeric-id":1904367,"id":"Q1904367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5186b3281380c9af22c9b56092b9b08cefd5b9","datavalue":{"value":{"amount":"+0.727816104888916","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":"Q6536175$9B72965C-0696-41FB-A0F1-9AD15651C7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"549f9680bdc2f5c3164cf9d58a04c58399fbf23e","datavalue":{"value":{"entity-type":"item","numeric-id":5138373,"id":"Q5138373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5643427b8a8c54e2dada80dc7f05eea58d62a2","datavalue":{"value":{"amount":"+0.7275827527046204","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":"Q6536175$0456C80C-E8E7-452A-91B7-3A4ADD5CF12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe518105e1e8ab972304e0f11176cbdb8e8c2f4","datavalue":{"value":{"entity-type":"item","numeric-id":5136979,"id":"Q5136979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f2b0a02c6bb9d803b027071b53748404f2316a","datavalue":{"value":{"amount":"+0.6960658431053162","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":"Q6536175$0FFFEA65-CF43-4CF3-851A-2CF3D87CDB1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536175"}}}}}