{"entities":{"Q3575281":{"pageid":5605185,"ns":120,"title":"Item:Q3575281","lastrevid":49601956,"modified":"2026-01-08T06:03:04Z","type":"item","id":"Q3575281","labels":{"en":{"language":"en","value":"Temporal Logic Verification of Lock-Freedom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761635"}},"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":"Q3575281$64FFB5C9-2368-49C7-9045-EFB8B3F8BF8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9286e47f470c58330ee8e7d7182f08eb395ac78a","datavalue":{"value":{"text":"Temporal Logic Verification of Lock-Freedom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3575281$1DBA3794-9508-4EC7-92E6-EF56BF0C7671","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84ef86b163fee63c56cfffcbfd7f6fd9ddfea65d","datavalue":{"value":"1286.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575281$DD55C929-D63C-4484-9492-123305CDC1AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1198d6aa60ebaa593d0e0066849d712d4cff63b7","datavalue":{"value":"10.1007/978-3-642-13321-3_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575281$86067172-2220-471C-B006-A1FAD85672D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c2f13c8e7380a3c5fe8cbbdce81d17c5ae81b73","datavalue":{"value":{"entity-type":"item","numeric-id":539221,"id":"Q539221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575281$26595793-05C6-4BD9-B71B-C6798F95D35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b0bbf66f2451497efede4fba170fd07ad9ae801","datavalue":{"value":{"entity-type":"item","numeric-id":539219,"id":"Q539219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575281$EE3BBD69-58C5-4DB9-B3C8-BD3942373345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575281$8009A5E4-8CD5-4F3C-9A28-B512D5271457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfedb9e8f39a520fe833d6538db6dc39854cff4","datavalue":{"value":{"entity-type":"item","numeric-id":539222,"id":"Q539222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575281$65AEE711-B176-4427-8DAB-3E891BD6E831","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575281$A0EA148F-F88C-4FC4-AAD0-0761B6C810C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51a2685e131198f653c90b66922043417f7b2e3d","datavalue":{"value":{"time":"+2010-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3575281$375EA6B5-5A61-42E4-A0C9-BB8BACE5C56B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575281$3E900D03-F089-4FF5-8F8D-F1E0C81984F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575281$9D4446BB-E218-4AD9-A105-9C0E04F9C0B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8ab49e3037595d703e052b33aa8b37c51187d14","datavalue":{"value":"5761635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575281$E1C121FB-2749-4F8C-B82E-52BA76A6190B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575281$47C57929-7ED7-4FCA-891A-7CAF194C7CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575281$1FE451EC-26E9-4C4A-BCE6-0D14D1A013D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575281$D667F550-64D5-4ED1-B876-5496BE25CA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7304181fde15f2ff08bea8b954e64f699bd5523","datavalue":{"value":"rely-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575281$F7934911-3A66-40A0-8935-9689ADC37079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54d17d364c67c5f0118c15021cfc1638ad9e92b6","datavalue":{"value":"lock-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575281$57B484F6-43F2-4865-9A00-9FFCF1F6683C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575281$7C419C1D-3C96-4041-82B5-6CF6FAB3CA0C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575281$651FB059-BADB-42B6-AA8D-AB08EA961004","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":"Q3575281$0B93DABA-91E3-4B32-818D-236B1563F4F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01ac0b054738746b4e65e59343ecca734480026b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13321-3_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3575281$A693B417-1D1C-4B80-9866-023A138BF25A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"253cdbc2e17e0b78376e8d17af1245e3ac4481c0","datavalue":{"value":"W1513633483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575281$353C9E4A-754C-4110-8F34-AA6FB02533A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6223bf91c46c04c0011b1fe68d8bb668a4ff7a46","datavalue":{"value":{"entity-type":"item","numeric-id":4907867,"id":"Q4907867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcea971f1a70c05e1cd73e0bc5bcb523b6c7a267","datavalue":{"value":{"amount":"+0.90692645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575281$359D3CEE-647C-4314-9D53-C4F4381CA3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d73b38ccbae103af343ec26ab9dd269f852cf4f","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5583addd5dd654219b923f4b68e421c10259bd14","datavalue":{"value":{"amount":"+0.90247244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575281$D88624E1-48A3-46CB-ABE1-17424A4EB391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5637be22dba13cfeb1b0957da64ba14e7ba856ae","datavalue":{"value":{"entity-type":"item","numeric-id":3511234,"id":"Q3511234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0985b7cf7710def5f993c1db013152d299bbc182","datavalue":{"value":{"amount":"+0.9009514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575281$525325F9-E293-4977-82DD-2FBC19EAE0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e658fa9fb0af4df6d72ddd7f084c7dd3c6b025c","datavalue":{"value":{"entity-type":"item","numeric-id":4824484,"id":"Q4824484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd44b878a815e12314b2d13a82089702d5fe8e3","datavalue":{"value":{"amount":"+0.8971984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575281$454D0B3F-822E-4412-B1FE-54A4CC70142B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf237c0a6f1803b32c98b6887ec4b030eea4935","datavalue":{"value":{"entity-type":"item","numeric-id":1575841,"id":"Q1575841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8405eaff3a54d0dee5f57e53c9a4f00b383365a","datavalue":{"value":{"amount":"+0.8967992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575281$129C1551-A077-49D1-89CA-952808CAC438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afca3b29330b440d76c08f8e08f6d4bc4e8c7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":674008,"id":"Q674008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cccb9fdd9878ca6d49570132e239a3cdb66c06","datavalue":{"value":{"amount":"+0.89597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575281$E6C8D307-7B0A-4544-93E9-282B8811449B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e39742718b3019cf2de5e68746dd68d1677924","datavalue":{"value":{"entity-type":"item","numeric-id":3321430,"id":"Q3321430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a86f4aa68e33f918c70a6602ef16e8176f81096","datavalue":{"value":{"amount":"+0.89334047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575281$CE2966A9-3523-4249-B8FD-71F0683BD736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844611b28045e4d89e73d9c7828d2270a11c0b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4809041,"id":"Q4809041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1816994a0ea338a2bc3d12f57ab601942bc38699","datavalue":{"value":{"amount":"+0.892704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575281$B86C6773-9181-4924-BC90-7A2CD93D8A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd6430ddc07f666412f326375efcae8ea7ce9a5","datavalue":{"value":{"entity-type":"item","numeric-id":4508313,"id":"Q4508313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650b7a2db3c83e1623031ab402e65904d10cfbeb","datavalue":{"value":{"amount":"+0.89109236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575281$BABC1134-8F7F-4C9E-ABD7-6E472FD3B63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243f2d41877fa040d576610d4357b996e85a125a","datavalue":{"value":{"amount":"+0.89032567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575281$3D39BBE1-0F93-43F0-8B00-4F09AC7E68EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3575281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3575281"}}}}}