{"entities":{"Q5429339":{"pageid":7458913,"ns":120,"title":"Item:Q5429339","lastrevid":40740692,"modified":"2025-04-04T13:10:22Z","type":"item","id":"Q5429339","labels":{"en":{"language":"en","value":"Comparison Under Abstraction for Verifying Linearizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216254"}},"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":"Q5429339$6F9E2B7E-DA29-4DD4-A81C-8D09D918DAC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"314f264e29b46ce078c423db42c58840fc21ae84","datavalue":{"value":{"text":"Comparison Under Abstraction for Verifying Linearizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429339$A6F93F8E-E4D3-483F-91B7-1CCF46CB4D97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d8cefd5cdbf12b9e3f7194da64ae5bfc5ab9c96","datavalue":{"value":"1135.68462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429339$4A35970B-F6F8-4CDD-9F46-EBFBF4D4AEBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bace752297d2e97a8fc7cd9cb4fcddea4014b759","datavalue":{"value":"10.1007/978-3-540-73368-3_49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429339$DEBFFD31-07DF-49C4-8426-16BE8A7F5BFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4279ea3669b650885b2370d72cd494a2c3d1db13","datavalue":{"value":{"entity-type":"item","numeric-id":5429338,"id":"Q5429338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429339$14860235-A609-43D1-8AEA-D39A2F1BE424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5713d682d296f1e75a239a1684f9b620ca3af428","datavalue":{"value":{"entity-type":"item","numeric-id":615950,"id":"Q615950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429339$B5286886-7FAF-49AB-A0FC-9D47ABBD2546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429339$5DC0D4AA-3ED3-49ED-A855-43A8FBD981C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429339$0CA7B296-3151-4ABE-89AC-A6C4EF2C48D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429339$73D63F4D-2C8C-4323-AB41-5E33F8D23016","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429339$4F52070F-C648-4491-936F-06F6126BF983","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429339$09F25973-ED88-4607-8B12-B84BA5206C84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429339$94781668-650B-46CB-B804-993C81775B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429339$70A8FA5D-A1CD-4039-BABF-3D878506E635","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ab7bcefe10639521fe8c16a37898f32211e9129","datavalue":{"value":"5216254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429339$45E8492A-28B6-4174-9EAF-1AD74A78398A","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":"Q5429339$03690C37-7152-4B3A-A6A3-7832131B803E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f469a609ee989ee41f94267ae4fbd9a2fa704a33","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_49","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429339$1E540B47-7BC6-4790-B020-7631CEE5CA3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dce9f6addecc826b94a041e382e986a31a8c306e","datavalue":{"value":"W2109717427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429339$918A9728-6648-4FCA-8560-324A089C2F25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6164f88065b5a08a964a93a48aaeca48b6fd3ef1","datavalue":{"value":{"entity-type":"item","numeric-id":3600484,"id":"Q3600484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe71e27fd852a6d618aaaea4260eb3297ebc861","datavalue":{"value":{"amount":"+0.90248203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429339$2A7508F1-902A-48E5-BD0E-CC35CC3EB501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f49f60f78df0c06f8e28295f2790089b8caaf6","datavalue":{"value":{"entity-type":"item","numeric-id":3557084,"id":"Q3557084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81120355066dc4ded12741315fcbe56f22319303","datavalue":{"value":{"amount":"+0.8894912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429339$AA0586F6-8E6A-4320-B9C6-1FD2AAB62BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6a39b4be850bd6b4f8a173eed2addfd438ca7a","datavalue":{"value":{"entity-type":"item","numeric-id":5899021,"id":"Q5899021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d4cbdec94993e15c13f679a3c0aebe34ade61c","datavalue":{"value":{"amount":"+0.886701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429339$0FE0A17E-DA96-4ED0-B9CD-4079743BA96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3803df52b52ec59e2cf94518ee63166db2f3fc71","datavalue":{"value":{"entity-type":"item","numeric-id":5016209,"id":"Q5016209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5aa9f9700719ff40ab3c1e0739999000e47ad48","datavalue":{"value":{"amount":"+0.88596094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429339$D77A438F-06B5-4509-959C-8C515E94C432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d348f84822cd865aba0991afabfb5e97bed490e5","datavalue":{"value":{"entity-type":"item","numeric-id":5176190,"id":"Q5176190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2e85be7c51f42bd85d3d1815076f5a2b0f0a62","datavalue":{"value":{"amount":"+0.8796847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429339$99528607-AAF0-4A44-9884-2D657212C74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f759f321f17edf59634b6b68731cb858a7d50353","datavalue":{"value":{"entity-type":"item","numeric-id":3608884,"id":"Q3608884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81a4af0bfebec5d5799aec6a3dc05eb4437cfd4","datavalue":{"value":{"amount":"+0.8754144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429339$80FB3A7E-46AE-4A19-997D-A4B3C38E1A95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429339"}}}}}