{"entities":{"Q3600484":{"pageid":5630390,"ns":120,"title":"Item:Q3600484","lastrevid":49654156,"modified":"2026-01-08T17:53:16Z","type":"item","id":"Q3600484","labels":{"en":{"language":"en","value":"Shape-Value Abstraction for Verifying Linearizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5505798"}},"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":"Q3600484$34C97821-A2AA-4A46-B969-1131B90CCD57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9827ef797cdf3c4d5b92588fad96d860d766ddf5","datavalue":{"value":{"text":"Shape-Value Abstraction for Verifying Linearizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600484$9389A0E2-0B90-49B0-ABDC-16F7B4C5D455","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53f634b52c14091bab0f9eca10a58d8a45a9dee9","datavalue":{"value":"1206.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600484$1148E960-AE7D-44A7-B2A1-B12287B9F19F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2af0b0111a5a335250c445205e23b96650d2493","datavalue":{"value":"10.1007/978-3-540-93900-9_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600484$D6F56004-A2C3-49ED-9EC2-102B29E6DEB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600484$AB6578F0-A192-453E-9211-B8CAA9AD4823","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":"Q3600484$504F707D-309A-4740-B1AE-A16E80F56FC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"862f3ea8dd1696c9694e62e0070fb4814c61ef07","datavalue":{"value":{"time":"+2009-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600484$49A11C28-7D24-4B28-8CBC-BCA2F821886D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600484$994669A0-378E-49BB-8AE5-9DBA7E84F869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da0da9452656fbeff0ee0d4f1287223a988ea34b","datavalue":{"value":"5505798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600484$F02F3C75-5FFB-4547-B785-111CA430B236","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":"Q3600484$79B4436D-DCFD-4E23-BBE3-B53C964D3B40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d358a9755b407e849c2be776f87aa0889cf8ca1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-93900-9_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600484$12A9EF46-8537-4777-BAEA-8FBF095B63D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c6ed148abcb49adad064e5b1cf65eccb5bda3a9","datavalue":{"value":"W71333976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600484$64B014DA-9D8B-4CF4-A214-22A161652FDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1143d92cac330c05d1073dfeaed8f41b1165b9","datavalue":{"value":{"entity-type":"item","numeric-id":5429339,"id":"Q5429339"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600484$D7A2CE9E-3998-49B8-BCF1-2A5E9E667A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38095857633fe0cde529009141d24c04ea58e4a6","datavalue":{"value":{"entity-type":"item","numeric-id":5404093,"id":"Q5404093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2115c90e0bcfc02de3c2863163b64ccae5e3f0","datavalue":{"value":{"amount":"+0.8902096","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":"Q3600484$82C4E1FE-995F-4A4E-9C45-CDEAD75976A5","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":"edba6a39cbe8b425c475aff9cb64d0a0f815e2fc","datavalue":{"value":{"amount":"+0.884254","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":"Q3600484$31EA64B1-42BB-45E3-B3AF-388F449B008A","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":"45614979240ff584bbde9f187b7ee4046f0578ae","datavalue":{"value":{"amount":"+0.8775742","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":"Q3600484$23F90133-D6D3-4C4E-BD9E-5A5EE07DAF93","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":"a0af5ebf9a85fb09d63fe49456485e8f26a21e6c","datavalue":{"value":{"amount":"+0.87286496","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":"Q3600484$10F639F9-BA2E-48D1-8979-BD59C223552C","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":"e7f32ba83221f29e5956eeec25d4243853ef628e","datavalue":{"value":{"amount":"+0.8663919","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":"Q3600484$7242041E-A04B-4224-A833-280BE9316D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3490f34d0d6ba2f54fad3208ae926689909c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1664150,"id":"Q1664150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83d50080f27453a68ffefca0fee4c11280b0290","datavalue":{"value":{"amount":"+0.8663064","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":"Q3600484$1FB6E5E4-ED93-4AD0-B2D5-9CF260622F40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3600484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3600484"}}}}}