{"entities":{"Q2164258":{"pageid":2175001,"ns":120,"title":"Item:Q2164258","lastrevid":57754521,"modified":"2026-04-01T07:11:11Z","type":"item","id":"Q2164258","labels":{"en":{"language":"en","value":"Proving linearizability using forward simulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571394"}},"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":"Q2164258$32E6E069-20BF-4855-B3A6-5AF21F6AC602","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ce2bc0f438e3769dbaa8809d45ee0391d255052","datavalue":{"value":{"text":"Proving linearizability using forward simulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2164258$A927CDA1-85DA-4CA1-8040-35CFA4800D0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4c702fb03b3bff892f5a19458901c9ad5717a5c","datavalue":{"value":"1494.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164258$2C7D180B-482C-4D4B-B64E-75F165A08C83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e222cb0612ef05a5f6f63728d216944befb163dd","datavalue":{"value":"10.1007/978-3-319-63390-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164258$B3BB696D-FF0D-4391-A038-7A4E2520F672","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164258$91A84CB4-7261-4FCA-AED9-606920CB68E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b66229959229db7b6e0853a5e80675d257765900","datavalue":{"value":{"entity-type":"item","numeric-id":1641010,"id":"Q1641010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164258$D6094796-FED0-412C-B101-648FF25DEB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164258$4A7EE978-4C43-4BCD-961E-BCF3DA0AD3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ade2e4ca7131e43c6fa40bcd6a114283377750fc","datavalue":{"value":{"entity-type":"item","numeric-id":2164257,"id":"Q2164257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164258$033E6707-3407-42AC-AA5D-11ECB8FB091E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2164258$3336AB92-72F1-4636-9AC6-F6A49F4DC15F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5471e4c71c9678be44c7cad506878a5f7f0e4e3","datavalue":{"value":"https://arxiv.org/abs/1702.02705","type":"string"},"datatype":"url"},"type":"statement","id":"Q2164258$ACEC8266-BA56-45FE-8D43-C2E302FAD8EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164258$8CE4816B-F56D-48E9-A2D2-F10448665D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164258$63748330-6379-4FE4-943D-5F7B77918A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164258$F920F727-BF1D-4B29-8462-F93803A121D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80fcaf36733d62b7dadd45c7cca3b2957f74668a","datavalue":{"value":"7571394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164258$6FC16004-D237-4D50-AAD0-236C2DBE1323","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":"Q2164258$C207F236-0C6A-4FE8-BA0C-0AEF020351FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94c9c1ddb4d04887086cb215275fde8db641aaa9","datavalue":{"value":"W2592567368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164258$99DF8387-A83C-409F-94A7-E4A8749B6522","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe37730f014137665e3503d6006520dbea031ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ea5518a0ef8712faaa99c38e5d14715601edbe","datavalue":{"value":{"amount":"+0.8733847737312317","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":"Q2164258$4D7531F7-602C-4107-BD65-FF57E5148534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef896335a236046a69e40d814b99d8c75b41a062","datavalue":{"value":{"entity-type":"item","numeric-id":2842111,"id":"Q2842111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06cb9092bce5410dd3494d996295a74c4cbca94","datavalue":{"value":{"amount":"+0.8528205752372742","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":"Q2164258$93B233C0-BF67-4EA4-B92D-57BA65E01F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc0d1144d70c0b6cd329c4c6118b815cc0993b6","datavalue":{"value":{"entity-type":"item","numeric-id":5246726,"id":"Q5246726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6997bbe5cfcb22a59a2e5b389f8ddf46adb241ce","datavalue":{"value":{"amount":"+0.8522768020629883","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":"Q2164258$0C7F5EE6-4D9B-48D2-A713-31EA1C1E7680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513bd6c3b0e99fb62412c2b47379263f09e6d95b","datavalue":{"value":{"entity-type":"item","numeric-id":2988662,"id":"Q2988662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6cdeca1ca5a135fdff996e7321b2ad22a8f6a96","datavalue":{"value":{"amount":"+0.8398323655128479","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":"Q2164258$9FF17551-8575-41AF-8AAE-0A0EEA765AE0","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":"ab19c226e1fb409b534d2061f0de591c1237f594","datavalue":{"value":{"amount":"+0.8197866082191467","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":"Q2164258$98CE83F0-86E0-47A4-AB05-2022A738F249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2164258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2164258"}}}}}