{"entities":{"Q2912762":{"pageid":2923487,"ns":120,"title":"Item:Q2912762","lastrevid":51561425,"modified":"2026-01-18T19:12:55Z","type":"item","id":"Q2912762","labels":{"en":{"language":"en","value":"Weakly-synchronized ground tree rewriting (with applications to verifying multithreaded programs)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086257"}},"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":"Q2912762$0AA4A3A1-85D5-4CEE-AA22-968965209405","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15d7bc6d4c75aeadbfdb0f30cc2c578676799976","datavalue":{"value":{"text":"Weakly-Synchronized Ground Tree Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2912762$48C7C179-470F-4138-8D6B-6E9EC6F52D3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d32d169d2e62fb9f9e4240bb51d194d9d07c04e","datavalue":{"value":"1365.68299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912762$EF4C4190-0D57-47B7-B99F-4524FD5C9244","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a7583c7c38f29c52075e552ff9cbddfb6706ec7","datavalue":{"value":"10.1007/978-3-642-32589-2_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912762$EF52CC2B-7CB9-442E-A757-E9B76EFE2CB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a44cdefd4d293b27f98e09d7b2678bf03c15fa66","datavalue":{"value":{"entity-type":"item","numeric-id":2912704,"id":"Q2912704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912762$F050B733-6633-4666-9CE6-A3A27B85AABE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2912762$3BDC0C6D-63B8-4A14-A6A9-C8031DF768CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912762$2D897A97-9192-4C8F-8EBF-2EDA6C3DA81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912762$59B2F184-8061-4D42-97E0-CF6CCDB2437E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f073baf88acc7627815406da9ff4e4cf2c3c6748","datavalue":{"value":"6086257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912762$43CA5C65-FCE9-4164-9013-67FA871BF5F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d16040d29a42a439381bf088783c9058f5cad35","datavalue":{"value":{"entity-type":"item","numeric-id":1708663,"id":"Q1708663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912762$6B0D5652-A891-4ED3-8D94-74B691B23BAA","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":"Q2912762$71EBB5B8-3A41-4A29-B727-058861CFA4B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac35601a9db4e2eb509887ac6232ccf24b10d63c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32589-2_55","type":"string"},"datatype":"url"},"type":"statement","id":"Q2912762$665478D9-0CFE-4D4A-9A9D-22146C7CE12D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3498c494c0867cfa28acb6d2ac0912272950fe0","datavalue":{"value":"W180544992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912762$350E7CD3-AB19-4662-AE2B-DEAE10D30480","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca2c2c78627a03bd150d620181bf9571a9f1024","datavalue":{"value":{"entity-type":"item","numeric-id":5915566,"id":"Q5915566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb2f31cf42caa999def3b24f88726df91d69ce5","datavalue":{"value":{"amount":"+0.7692781090736389","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":"Q2912762$5C7DCBBC-25D5-4954-B831-EEBA45B2B1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0dcf4689875d29dd56483def87b1a4230f8073","datavalue":{"value":{"entity-type":"item","numeric-id":5915901,"id":"Q5915901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb2f31cf42caa999def3b24f88726df91d69ce5","datavalue":{"value":{"amount":"+0.7692781090736389","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":"Q2912762$9F21FC93-4D8B-4209-8E0E-C716DFC53288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5beca64f2beda70aeb7ab450450f615b9bc3945c","datavalue":{"value":{"entity-type":"item","numeric-id":2866343,"id":"Q2866343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee561985e2b56a363822f30fd99081e8bdb9d350","datavalue":{"value":{"amount":"+0.7382891178131104","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":"Q2912762$9AECC5D2-CFDD-4209-8883-2CCC1E27AEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd74d5d6a5c3d9010fd1e765f74d375b82da1346","datavalue":{"value":{"entity-type":"item","numeric-id":5179057,"id":"Q5179057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e435b483b91a863f30d97fdbb0856073d8ecdf3","datavalue":{"value":{"amount":"+0.7284219264984131","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":"Q2912762$DA2B4736-D34C-4A5B-A017-B681FFC2E2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3002e80de70ea78c6d2daf270c43083a0664afe","datavalue":{"value":{"entity-type":"item","numeric-id":3393418,"id":"Q3393418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a7c32dc8c8da1c7ae6f0172ece0ffd7545a522","datavalue":{"value":{"amount":"+0.725817859172821","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":"Q2912762$7E6F64B0-C7FF-4ABA-8325-DD15C4847925","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2912762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2912762"}}}}}