{"entities":{"Q2281647":{"pageid":2292390,"ns":120,"title":"Item:Q2281647","lastrevid":57816891,"modified":"2026-04-02T16:04:06Z","type":"item","id":"Q2281647","labels":{"en":{"language":"en","value":"A generic logic for proving linearizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7147574"}},"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":"Q2281647$07D7E0F1-1CE6-458A-92CC-4B06D0BF4938","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c1e550b1596432d2779a0fb651ecd2c20da972b","datavalue":{"value":{"text":"A generic logic for proving linearizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2281647$91422ACD-7B8D-4645-8874-0C3FE5569C20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df884015efe804e8b130ae2b84b59126c4c8f4ba","datavalue":{"value":"1427.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281647$7AA85F06-0633-4CCC-AE49-02A20787B0BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a41515db8a56dc7d34d385eea72f70723cdef8ff","datavalue":{"value":"10.1007/978-3-319-48989-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281647$9432AC35-F504-4B6B-8672-F628675C0584","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0b018eb7f4d73fd3ac75cf826c4379e152ce705","datavalue":{"value":{"entity-type":"item","numeric-id":2281646,"id":"Q2281646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281647$C510D611-FAEE-46C6-92C0-66AECDB392B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d3b3601c7e7b6bbc38fb51cf988b66428601d6","datavalue":{"value":{"entity-type":"item","numeric-id":1664152,"id":"Q1664152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281647$2A1D92A1-6E7C-446E-BBE4-8066D5666A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd33ff146caa74aefde0dc36311b64aaa0675018","datavalue":{"value":{"entity-type":"item","numeric-id":2151271,"id":"Q2151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281647$90D7CFA8-CD5A-4CAD-9C0F-7F57F30C7749","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19ec05f4cc07189117a4725b428f63f5643b194","datavalue":{"value":{"time":"+2020-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2281647$CF8635C7-00FD-404A-A823-DF5E6F3E3C30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cdc94be95168ffad06452477ecd3159d6b2b5bf","datavalue":{"value":"https://arxiv.org/abs/1609.01171","type":"string"},"datatype":"url"},"type":"statement","id":"Q2281647$7CA116CA-C3A2-4424-9E34-DF1F84E464A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281647$3EB889AC-88B9-43BD-BADE-063F588090BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281647$F15E705D-6512-4976-8414-2AEDA1A57FD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bfdc219c9fd6bc09b26e6a519360e931abd2d65","datavalue":{"value":"7147574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281647$3B2166EF-A0AC-4A37-9064-E7E591DCF343","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":"Q2281647$78C45E43-8FC3-4D95-B6C2-6D83B9559180","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08a1c30b003db97f55b1dbaddd6f8ea47a042c26","datavalue":{"value":"W2551973123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281647$BDFC0FDA-B7D6-45CC-A88D-9DEF705AD560","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59794ce866fcce34268e65630d3559b3e3405dc4","datavalue":{"value":{"entity-type":"item","numeric-id":539223,"id":"Q539223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b4469fcd5d90722a27b3840403bd79d5606019","datavalue":{"value":{"amount":"+0.8203296065330505","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":"Q2281647$3FF6C119-1EB4-43DF-8C9C-74CCCAF49EAF","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":"317616f7a16c681297c3f66206f6af7f832c4f82","datavalue":{"value":{"amount":"+0.8018522262573242","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":"Q2281647$ECAFAEA8-4CCE-440E-AA4E-48C121438721","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":"c43fa2baa179ca3e9132e5bca4db3f5f672fe4ee","datavalue":{"value":{"amount":"+0.8017131090164185","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":"Q2281647$084610A3-6E01-46F8-8554-75469D880000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d530a29393b1a7f3332c42d3013562fdd3083526","datavalue":{"value":{"entity-type":"item","numeric-id":5891172,"id":"Q5891172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4765f3929d8d9bf565303ee3f32d578f6a4248","datavalue":{"value":{"amount":"+0.7989292740821838","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":"Q2281647$54E7452F-A3BB-4C8D-B897-8578ED8D65AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1679c87d0c8f2b895a42c3c0cded90c537d6d84e","datavalue":{"value":{"entity-type":"item","numeric-id":5891776,"id":"Q5891776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45dc2bd8316b7fe9708d78c42ab131b10f15a8f","datavalue":{"value":{"amount":"+0.7985771298408508","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":"Q2281647$8B0FE941-82B1-4518-9C70-23ABE3DE3405","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2281647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2281647"}}}}}