{"entities":{"Q2794380":{"pageid":2805118,"ns":120,"title":"Item:Q2794380","lastrevid":52479326,"modified":"2026-01-22T18:37:53Z","type":"item","id":"Q2794380","labels":{"en":{"language":"en","value":"Bounded TSO-to-SC linearizability is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6553409"}},"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":"Q2794380$4AF5D686-2195-4A70-9FEF-9E498E0A4F68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b39690313e3c53f45d0db83ce7950a6d54b284a","datavalue":{"value":{"text":"Bounded TSO-to-SC Linearizability Is Decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2794380$5597ED74-1BBA-492A-B98F-A4F018EE4C82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c8727414343339216eed4342ddc7d1d102d20f4","datavalue":{"value":"1442.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794380$B58BBC3D-3A54-48C1-BBE3-CE1378B7875A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bde81de308b48c75637c43f0fb0822a0aa99135d","datavalue":{"value":"10.1007/978-3-662-49192-8_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794380$5068B7FC-7255-46BB-8EBD-411B4C419849","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43e2ba97257756817bf8e0c85c99a5af719b8fbf","datavalue":{"value":{"entity-type":"item","numeric-id":1629744,"id":"Q1629744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2794380$BB210309-BA36-4A4E-8DCA-E699A2431C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d72f515ec80d1b19b3d664fd0e36daa0f7979e8","datavalue":{"value":{"entity-type":"item","numeric-id":1629745,"id":"Q1629745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2794380$60233E47-B3B6-4200-9FE4-1723DAAA76E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45eb5845738d745b2dbbb5ab59e85b9cf6c44ed2","datavalue":{"value":{"entity-type":"item","numeric-id":6243074,"id":"Q6243074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2794380$CBED25D0-F8BF-4D36-8BAC-68719986A96B","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":"Q2794380$CF6FEAFC-F6B1-4B14-B08D-6D8E09418F3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb99c7dca7fc19ab88781c20d2306850c8d8602","datavalue":{"value":{"time":"+2016-03-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":"Q2794380$5246448B-328D-4DF7-B8E6-F41477AECE63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794380$3708F578-0063-4C05-9BB3-7AF975035825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794380$7D27AF55-5203-459A-B0C3-58357F2811A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a9f8fb18d6cbdf78e60975ba73a9264c8869d89","datavalue":{"value":"6553409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794380$FC4C2AB5-3D95-4627-B8FE-C0748B25E1E6","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":"Q2794380$39612C75-8542-43CA-968F-ACDC6B1726C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4855fedbc4daedca51f90c1cc7eec804713c0b7d","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49192-8_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q2794380$B9D3E3DD-3BBD-4764-A363-8CE613369F08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0c3fb0efb43a97e7408726b7b1fb3cc4b8be65a","datavalue":{"value":"W2406588521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794380$E1C6B086-35E1-440F-A20F-99319F1D8DCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"701fe3ab147500a23517f27ab7c9b2253ae2279c","datavalue":{"value":{"entity-type":"item","numeric-id":3460573,"id":"Q3460573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d0b169af695853acb700ca2c46ead55504bcf9","datavalue":{"value":{"amount":"+0.9116437435150146","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":"Q2794380$26ED30E2-EC91-42FB-B040-74E7A070FE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a460448f30636d0c5017ab6805a30fc7c45587","datavalue":{"value":{"entity-type":"item","numeric-id":1629746,"id":"Q1629746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a38ba0edbc42bf7e95c3aa3f57c914e7655938","datavalue":{"value":{"amount":"+0.9055802822113036","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":"Q2794380$E0E29469-EA40-44F4-A730-04104F4B3581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74bb5f99edbd883eab6a2a56003424421306974","datavalue":{"value":{"entity-type":"item","numeric-id":5170741,"id":"Q5170741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13102dc75c0c832c8e00bdae73b6ea94cad15ab9","datavalue":{"value":{"amount":"+0.7937551736831665","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":"Q2794380$6B29E82D-5AC8-43F3-8B28-CD3084414B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed112cd7ef82a4341cff03840ee5b9eb990ca4a0","datavalue":{"value":{"entity-type":"item","numeric-id":3459426,"id":"Q3459426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c3c892c0ef2cdc229eea4cd4c1b26f8b7c489a","datavalue":{"value":{"amount":"+0.7828428745269775","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":"Q2794380$B970616E-0EB2-4B59-8700-0DBC263AE96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8382678546a1bd28bab11224146a5898a58b87c3","datavalue":{"value":{"entity-type":"item","numeric-id":2892722,"id":"Q2892722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b2edb9d4a70f2f15a3ef8c91f4dac8083822d4","datavalue":{"value":{"amount":"+0.775448739528656","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":"Q2794380$C765610A-31D6-4264-93D9-1CAE112FBB7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2794380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2794380"}}}}}