{"entities":{"Q2911646":{"pageid":2922371,"ns":120,"title":"Item:Q2911646","lastrevid":84977069,"modified":"2026-06-03T05:24:25Z","type":"item","id":"Q2911646","labels":{"en":{"language":"en","value":"Parameterised pushdown systems with non-atomic writes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6075093"}},"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":"Q2911646$C0099A0B-0CD9-4243-A9E6-C36861D45F54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cbf27a71a94e2c868ffb3ba9becd88562978aca","datavalue":{"value":"1246.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911646$6DB25A98-C6E6-4BA5-9B47-E7FF7A640A49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72f214c7e4c9d7d2da34077ac7597802081f608d","datavalue":{"value":{"entity-type":"item","numeric-id":1623277,"id":"Q1623277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911646$25B35476-FDB3-499D-913E-F6E695FABD46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84149e6dc3873f818774d0b131b454e3227c5f2","datavalue":{"value":{"time":"+2012-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2911646$D74DA6FB-6609-4411-919B-83859E5BAEFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72891e1f333394b8232e9108d8122fea8ec0726b","datavalue":{"value":"https://arxiv.org/abs/1109.6264","type":"string"},"datatype":"url"},"type":"statement","id":"Q2911646$DFF65D25-919B-4BA9-AEA7-F3AC2757B4BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911646$51E32D73-0CD7-43B4-8986-09DAC5F436D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911646$E67AAE6D-D1F7-48B0-A657-E5A8CF1FDC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911646$BA1FCB0E-A35A-4915-8F03-DCD877013DCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b02df25ce256dedcb62c280504bda507e53d09a1","datavalue":{"value":"6075093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911646$6ED3A1C2-CEC6-49D3-8A21-69E3019D1DF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911646$54FBB851-F974-40B1-95C9-4DD358E362BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911646$0108E7DF-5C59-4E74-80BC-BD92D8A244CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911646$ECAFEA30-1131-43B5-838A-4A993EA64A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911646$1C0FE7A8-E039-4E2B-9A58-14DAFBF0A0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"786316180d3575e14989554b556adc9a73c68c37","datavalue":{"value":"parameterised systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911646$E27AD826-0F77-4C1B-B848-B8D89B0DCE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e80bdee460a443de74c4812b2e37e217b78f701","datavalue":{"value":"non-atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911646$47CA2D6F-50D8-4886-9F63-29C6AC0D85CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911646$239893DA-D5BB-495D-A73A-B34891D80B16","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":"Q2911646$DB65AE77-1C1B-49B6-8CE9-B7C81628CCFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a86fe8bd111ded3d2fdc18102ce34222ced526f","datavalue":{"value":"W2154109182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911646$67BF5FE2-CB22-42AE-9228-891CCEE5EAFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"926ce115a3e0410db763aa3633f8b6e9afacce23","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2011.457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911646$DA7F45FE-BB27-4308-8F5B-59CC275CDA71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af6c55349f15aa7ebf56cd42f245ed7bf82014a4","datavalue":{"value":{"text":"Parameterised pushdown systems with non-atomic writes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2911646$876E7851-7767-46C8-B318-A4C83818505D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9feb15707eaf661f225b7df770a18c0f1437f98","datavalue":{"value":{"entity-type":"item","numeric-id":3541030,"id":"Q3541030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84738823f4dae6b38f2005e2e891aa9f668265bd","datavalue":{"value":{"amount":"+0.7844300270080566","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":"Q2911646$9436CC9C-26FE-4565-A575-279A05B729BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb492f3a744c276b7ffd4c481bb1baf3a481b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59ff9c783b1086b5ecb1ba602b63841f6fc82b3","datavalue":{"value":{"amount":"+0.7613784074783325","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":"Q2911646$CE82B922-6F0C-4271-BD1B-7AA47B8728D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea5e9dc265d8af16e3e6270e4de21e2a42b0f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5900852,"id":"Q5900852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028765b67038e4cd6664e703f38520bf718ef1f2","datavalue":{"value":{"amount":"+0.7603058815002441","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":"Q2911646$378D5AEF-F325-4298-BC0F-D106F20A8A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4910f3bf61d6ade4acee8ee9c24f769bf892d0bf","datavalue":{"value":{"entity-type":"item","numeric-id":2961580,"id":"Q2961580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe12a5957e7ae9ed7179826013e58583e141fe4","datavalue":{"value":{"amount":"+0.7482153177261353","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":"Q2911646$C5E39AF7-1D97-4B70-B6E1-59920DD09D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fdffcc9edd95c99bd1b419a189f03a4e9847de3","datavalue":{"value":{"entity-type":"item","numeric-id":2164219,"id":"Q2164219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a146c0fec0635725afee46b2fc9dcec38ef3530b","datavalue":{"value":{"amount":"+0.7398390769958496","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":"Q2911646$4E0094C1-C5A3-4477-8B30-34F64B3573B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterised pushdown systems with non-atomic writes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterised_pushdown_systems_with_non-atomic_writes"}}}}}