{"entities":{"Q3525079":{"pageid":5554983,"ns":120,"title":"Item:Q3525079","lastrevid":90347009,"modified":"2026-06-04T19:56:35Z","type":"item","id":"Q3525079","labels":{"en":{"language":"en","value":"Verifying Lock-Freedom Using Well-Founded Orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344405"}},"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":"Q3525079$D37B1F16-96EB-4A39-B284-C7F65B9EDD39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a53bab46f1d5ceee381cb0f8a226f876201a9869","datavalue":{"value":{"text":"Verifying Lock-Freedom Using Well-Founded Orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525079$35F23670-C9EF-459F-9E92-5F9D963B2EC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a4d7fa6c2179d098ad890891b5c2d9d4b01406c","datavalue":{"value":"1147.68443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525079$FB9F74E3-6FBD-4D12-B328-190972BC557A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cc0da3a2be527440967b2ad3c7e22b11158bd94","datavalue":{"value":"10.1007/978-3-540-75292-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525079$4ABFC4F0-82B7-4832-AF55-0A5DBDF867DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7fb66b0206130190f243440decd1e8cf3e7850","datavalue":{"value":{"entity-type":"item","numeric-id":264525,"id":"Q264525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525079$A7E0F4D0-5B08-475D-A3E1-3654AE5580A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525079$0B85E398-6C39-45A5-A26F-8924A2182E00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5455e2a6e277df376db235f9f0e564aaed31de9c","datavalue":{"value":{"entity-type":"item","numeric-id":3525071,"id":"Q3525071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525079$F6D5C9C8-2ECB-4DFE-A958-4EEE0EBC7CF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c6c778a05329d7667480e28a68302bbad05fa7","datavalue":{"value":{"time":"+2008-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525079$12544571-6436-40E7-B89D-30B8938EB6C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525079$3AA60DB3-FC54-43C0-8794-BFAE613F1367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525079$ECE520EC-EE97-47E6-A0D7-0894CF11C862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525079$9D31ECAF-F344-4862-B18E-9C79B2AC6B77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b269c73fc270a1f12514a9f5662ec99fbbda74c6","datavalue":{"value":"5344405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525079$36D011E0-F0C7-4345-BFFB-D828E16632AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525079$A38A5B8E-6DBF-4C8F-9E6B-12EA2E8BF4CA","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":"Q3525079$8DA035F0-CF66-49AD-B569-8C492AF04132","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc0509c3e33dbdb0f80e508ef0c961ccc1ce1ad5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75292-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525079$B2D81004-B11F-4A63-BC70-81DC1E845F9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67b4573b00c6ee1af357d44b3642b22fb1bfe387","datavalue":{"value":"W2145878518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525079$FE33F492-9FCA-421F-A83C-D569CC1A1ADE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2c707e0429cd37e71914fb5596f4c04745658f","datavalue":{"value":{"entity-type":"item","numeric-id":1001810,"id":"Q1001810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c63bd5a2a47deaeb04ff5f54434773ab70e9a9","datavalue":{"value":{"amount":"+0.8476316928863525","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":"Q3525079$7477354D-43A2-4E3A-A931-88C2EBF9F869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21c3ff73dd3bf3d5462cb18ad742fffa129735c","datavalue":{"value":{"entity-type":"item","numeric-id":3575281,"id":"Q3575281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac500c19dd1a8480efa1646a1da601d8c2ad635c","datavalue":{"value":{"amount":"+0.8192814588546753","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":"Q3525079$EEA1FE8C-79C6-40AD-B6FD-10E6D32C5112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e078f661dc01c272b365581dacec8472435e05","datavalue":{"value":{"entity-type":"item","numeric-id":3105753,"id":"Q3105753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c69e57e3809f3dac8d93005da1b4d7a8332f29","datavalue":{"value":{"amount":"+0.779172956943512","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":"Q3525079$2C140A5B-DE41-41B5-B5F3-D1002A51BCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d23a4a0c11e40676294c1dc3739a3cf32536ba","datavalue":{"value":{"entity-type":"item","numeric-id":5312931,"id":"Q5312931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3ea614932384213d438547c6a6b865bf32b969","datavalue":{"value":{"amount":"+0.777488648891449","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":"Q3525079$77FEE094-D23F-4E6A-9E99-685CBDF2921E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying Lock-Freedom Using Well-Founded Orders","badges":[]}}}}}