{"entities":{"Q3460573":{"pageid":5239973,"ns":120,"title":"Item:Q3460573","lastrevid":52429217,"modified":"2026-01-22T15:17:13Z","type":"item","id":"Q3460573","labels":{"en":{"language":"en","value":"TSO-to-TSO linearizability is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527560"}},"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":"Q3460573$731CF2A4-AB46-46B6-8BE5-2247CC52BB33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7f6b293870eb74b98907430c9a307dc53c41af7","datavalue":{"value":{"text":"TSO-to-TSO Linearizability Is Undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460573$A308F6CA-65A6-439B-9C73-D926C43F67CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"772b2f63b3ff728ae076be368782335acc362e28","datavalue":{"value":"1408.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460573$1C86B771-918A-4444-A03A-A3B1BE6DD846","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3584208b9b59231cec9f2d63b07b9bf075c518e3","datavalue":{"value":"10.1007/978-3-319-24953-7_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460573$EFE62AF1-68B8-40FD-9C73-F11D5A391399","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":"Q3460573$90287632-D35C-4F3B-8519-D612BFA0C509","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":"Q3460573$5F798D41-0535-4305-BA94-8AAAD4555DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d33b408bec949267a60074306977bc4d5b9fc95f","datavalue":{"value":{"entity-type":"item","numeric-id":289840,"id":"Q289840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460573$B656C533-E142-4376-A86E-B5E14A240B88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460573$D3302145-1336-413E-8E2A-5D6F986EA4EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460573$E6D3A4E4-CEEB-4C5B-AEC7-6FFB90EF0E28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460573$2D1CB559-EDBB-418C-83A5-5FCA625FAA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460573$22C87FA7-5E9A-4EB8-8989-1FB46289A6D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"380a3fc16d97d74460e85b0290451380ebf7215e","datavalue":{"value":"6527560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460573$52DC1304-8136-40F3-B535-3CC353FF6DB2","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":"Q3460573$A812E845-F557-4FB3-AC6B-A1C5A803FCB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78a504e7adf2a1dd78c92e525b6a431d950752f7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24953-7_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460573$82D853A1-AEF1-4208-8912-082D5FE48B09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffb7a6a8fd2f27669287f541d0595052ad3030ad","datavalue":{"value":"W2404293746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460573$3B51DB4B-28B5-4726-B483-148E3F1794A2","rank":"normal"}],"P1643":[{"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":"8f8d3742908703e56d33040bc5a00a12a8186750","datavalue":{"value":{"amount":"+0.9951283931732178","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":"Q3460573$F3D630A1-7C88-4876-84DB-E7B8AD3097E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dea0bc116822732371fefdf8c2b966afb842c05","datavalue":{"value":{"entity-type":"item","numeric-id":2794380,"id":"Q2794380"},"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":"Q3460573$2F3703DE-45B2-4A84-B49C-1952671DC037","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":"5f2587c35826f2cf9a67b0a769fa16628e606e31","datavalue":{"value":{"amount":"+0.8189263939857483","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":"Q3460573$50CBD3EA-AB13-4DC0-BF4C-0B11F3C162F0","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":"f35880b4c9aee4e4754713c6ffc0e102fee04f67","datavalue":{"value":{"amount":"+0.7993953824043274","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":"Q3460573$6D4258AD-3649-4BE0-A7E7-BC5942311822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69c5b68bc1ccd8435b4c332daf5d8fc92c2ccf0","datavalue":{"value":{"entity-type":"item","numeric-id":3012938,"id":"Q3012938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed45630410f524be3ede8a4c3198cf851b55dd7f","datavalue":{"value":{"amount":"+0.7797524333000183","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":"Q3460573$6B38E99A-769E-4F0A-BFCF-5930DAF32EE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460573"}}}}}