{"entities":{"Q1399005":{"pageid":1409745,"ns":120,"title":"Item:Q1399005","lastrevid":71098371,"modified":"2026-04-13T19:28:04Z","type":"item","id":"Q1399005","labels":{"en":{"language":"en","value":"Data-race and concurrent-write freedom are undecidable."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1961871"}},"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":"Q1399005$034A790C-3713-40CF-A16B-7E4B84B301FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a3095144f82bb04c4fd606e911dac23a0c2b873","datavalue":{"value":{"text":"Data-race and concurrent-write freedom are undecidable.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1399005$1A0F6C1B-B72E-4BD0-A62A-189C2B1F1BE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9eda9ee655dca1a2b1030b771335bde8a88080b8","datavalue":{"value":"1056.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399005$604B542E-378B-48B4-A883-2320164DEA5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e166b3c9baa11f4d30ce46464dd001ce44feefa8","datavalue":{"value":"10.1016/S1477-8424(03)00014-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399005$598BB264-C3B8-493E-9097-8BCCD0ACD698","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57e80256adc1812973fcd398640fd5948cea5e3c","datavalue":{"value":{"entity-type":"item","numeric-id":1399003,"id":"Q1399003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399005$49C8224B-29A5-4077-81CF-1A3FEE129BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51e8a8f35a2374ec98e51e43f14a455ee62c1486","datavalue":{"value":{"entity-type":"item","numeric-id":1399004,"id":"Q1399004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399005$7808ABD2-FB5D-4E0C-9209-4F4F0B38E076","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399005$E73DE633-C3EF-4B68-9BED-5F95C2FE3944","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8675d4e82e5e7ab948eb20cb416d2e93a38ea5aa","datavalue":{"value":{"time":"+2003-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1399005$85D2C005-398C-4BAD-8C66-32745DBE8732","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399005$7E6BAC88-17CA-4236-8241-2070B9BFFA58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8620ce4267f6aa50d0d8ad1274fbb3324c50510","datavalue":{"value":"1961871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399005$A0043B45-95FA-45C6-8AAA-DCB8815C5CA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b22f452301296ce1fd570302777b983185c9d12b","datavalue":{"value":"Concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399005$C75F4A8C-AD84-4E94-87FD-1C709A97E6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4353d449dbdb3255096e77becb52b8bada3a288a","datavalue":{"value":"Distributed shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399005$0D249495-F4A4-4517-90DC-D868A7D9AF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eee5b531b827d340fd5e45b644a81c495eb959c","datavalue":{"value":"Static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399005$F5E15EDD-3552-4CCC-AF14-A2DA9550AAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6f5ecaa2c70ea074ead24806c952d9e15330f7","datavalue":{"value":"Data-race-free programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399005$212552D1-2359-4369-AF65-B0C2C1874FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb8c41979253a261a8465b841c7a7bcd7068d4e","datavalue":{"value":"Concurrent-write-free programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399005$0D28A2BF-AF70-464B-A92B-4FA6623C667A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24faaa3ef958212f2d05f6c53e6d479c4b0aad51","datavalue":{"value":"Undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399005$C1C7ABCA-4D9A-4FE7-A6E6-23F50BBB5C33","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":"Q1399005$6DBF99C1-007B-47CC-A8FB-05043FEC7ABB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"475ea5d083fb5bd89962d85a5420e1d194f31549","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399005$787328B8-0F34-48F4-8BDD-478E78D2716A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e54e1eb346f4196cc1ac66f42c20d0558de23c2","datavalue":{"value":{"entity-type":"item","numeric-id":4715388,"id":"Q4715388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399005$41EA9003-6816-4BE1-B4F6-0EB6C4DF8406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399005$C96405D1-8D89-48FC-A143-E498AC42352E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ffe09abd00e380d36a5672911b5c06027f09c7","datavalue":{"value":{"entity-type":"item","numeric-id":5361400,"id":"Q5361400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399005$A41E320C-3A75-497C-8ED8-8EF39E8D0746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f1a2bf81f4948b599f0e2c54911aaef52d665","datavalue":{"value":{"entity-type":"item","numeric-id":5137003,"id":"Q5137003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399005$7AB16EA9-402A-4927-9C50-6DC9EBC01971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aed32ba0a75d1d18813e0c6c3da17bbd22487cb","datavalue":{"value":{"entity-type":"item","numeric-id":5524887,"id":"Q5524887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399005$FECCD162-5EF7-4977-9161-245B61AF95FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cffb14f80a3185a76f1a99ded32a55f4565d64a","datavalue":{"value":{"entity-type":"item","numeric-id":3723682,"id":"Q3723682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399005$E294EE49-BB41-4B55-8E69-6354C3E798A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd254b03215af4f4150a21ebfc520c08908dbf86","datavalue":{"value":"https://doi.org/10.1016/s1477-8424(03)00014-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1399005$34EA9EDE-00E1-45ED-B75B-4612C31605C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e8858c2a113d9efd55face105811ce4aa5c020d","datavalue":{"value":"W2045808495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399005$93C2BC31-B018-4794-8BF0-2EA20EF74927","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462dfad0e5bdbed064427d65ba474a3e4bcfe551","datavalue":{"value":{"entity-type":"item","numeric-id":3000580,"id":"Q3000580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46aec06c998eea87125887be32c5e6ef279daec","datavalue":{"value":{"amount":"+0.8120747804641724","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":"Q1399005$CA4FA4CE-1F38-47CC-B4E6-5251A545688D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f38db799bd2f61471fbf15b183e30805a684b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5883581,"id":"Q5883581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016311b78628ee2d4f62d47bf4bd387d6e074c94","datavalue":{"value":{"amount":"+0.7890885472297668","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":"Q1399005$4EDE020C-EADF-4FBF-90BD-D37CF6C1E03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c149a5139ce48406d8619599a444ff5093027b","datavalue":{"value":{"entity-type":"item","numeric-id":1623168,"id":"Q1623168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9a6114cf1184d41f035df3f82062dced42986b","datavalue":{"value":{"amount":"+0.7526022791862488","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":"Q1399005$644CE36A-3928-419E-9D54-D5485BC7A873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637c22a48ae2b0053e68989dbe169654adc18eda","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f1c1f8be231efc91f3a09bed1b4adc69119f04","datavalue":{"value":{"amount":"+0.7485825419425964","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":"Q1399005$48142124-AD4D-406D-BF83-FA8301411C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef762977f4a2917b28ec00d9999e2245a7862553","datavalue":{"value":{"entity-type":"item","numeric-id":5233246,"id":"Q5233246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f6c89f4a7f7562ae402918193f0f007a4c4bd0","datavalue":{"value":{"amount":"+0.7424145340919495","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":"Q1399005$586EF93C-557D-4188-A64E-68893E1E4EDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Data-race and concurrent-write freedom are undecidable.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Data-race_and_concurrent-write_freedom_are_undecidable."}}}}}