{"entities":{"Q2938158":{"pageid":2948878,"ns":120,"title":"Item:Q2938158","lastrevid":52170896,"modified":"2026-01-21T02:19:29Z","type":"item","id":"Q2938158","labels":{"en":{"language":"en","value":"Reasoning algebraically about refinement on TSO architectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385969"}},"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":"Q2938158$CFD960BC-F87F-4B93-9FF7-9D4328AAB0C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3b620ce17e7228d05d10ccc9d87970b470f7d15","datavalue":{"value":{"text":"Reasoning Algebraically About Refinement on TSO Architectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938158$CA4D244C-9259-4A71-AA11-2F8E55B15A2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c22425c5eb7c9fe8f9a8d2a564ccbc91b5d0a7e3","datavalue":{"value":"1432.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938158$DB8B3C4F-AB84-47C1-A226-9C8152C5ADF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53d8dbbb8c1fb849ad045fcc5cf65dea2dd1c11b","datavalue":{"value":"10.1007/978-3-319-10882-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938158$9BB3A282-1D61-4DE0-AACE-C11709E00297","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938158$B61494BB-9556-4A70-8C2D-75D976A3E8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938158$5C928AC3-573C-4900-B425-E676DBE8089B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a643bb4d6b134508bc8c5fad926d147e7d14ff57","datavalue":{"value":{"entity-type":"item","numeric-id":202498,"id":"Q202498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938158$66EBA2B7-808D-4BCF-B76F-4B8EB969C06B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c440b8d1d21e884d119c2788cfaf3e8b7186450a","datavalue":{"value":{"entity-type":"item","numeric-id":2938145,"id":"Q2938145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938158$23C04F15-A2E6-4509-870B-E2A7AA96565C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938158$ED19B171-4071-4937-9FC5-BB72D6AD7EDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22584bdb319690a03416fa32385ae47c6af9e0af","datavalue":{"value":"http://eprints.whiterose.ac.uk/113097/1/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938158$7ABA24F9-B5E6-4977-8A6D-A765B58B50BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938158$10AC679F-984E-4BA0-888E-538E43C676FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938158$BF133888-4B5C-4D28-9E1C-9FFA54C4A48C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af8c90cbf3a3e296b6c8ed15863b3295788c4456","datavalue":{"value":"6385969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938158$D3441D14-8FEE-4EDD-A9FE-434DE406EC55","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":"Q2938158$55CBDD3F-76FE-40DE-B221-A8ACDF2B0021","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e59b1bc69f9fa0ed85bea0acfc43a20da7d431a4","datavalue":{"value":"W1532883852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938158$6957E1D8-406F-4608-8D88-FBADFD579A82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dcbe17e18de08b97c8faad62c2d745f93dd257f","datavalue":{"value":{"entity-type":"item","numeric-id":2851906,"id":"Q2851906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca8733359b11c4ec26fde2dc51cefdd97989312","datavalue":{"value":{"amount":"+0.7902224063873291","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":"Q2938158$280B1D76-CED0-4F1E-B0D6-C0E0FCDAEF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a8765abea0aad4b57ce8ba9d0556c6bfc5877e","datavalue":{"value":{"entity-type":"item","numeric-id":3130550,"id":"Q3130550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8684e19d33a4911ae601be493e8a21f8227a392","datavalue":{"value":{"amount":"+0.7842938899993896","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":"Q2938158$A046CFBE-E15E-4EC4-BBE9-CF8889E19C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061dd9cc02f7def0e4835eafee7b938d701cd8d8","datavalue":{"value":{"entity-type":"item","numeric-id":5747665,"id":"Q5747665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d34d49fa46e12fbdde764e606c383298b1f4d45","datavalue":{"value":{"amount":"+0.7713500261306763","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":"Q2938158$F9C5D58E-B172-4FB0-B938-F6A75E7CE960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f622db5bb0f5c382014ce87b12b61615e3aa4b0c","datavalue":{"value":{"entity-type":"item","numeric-id":6039412,"id":"Q6039412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e527363c8ca9a5d0dedd7494154a3fa111b5cb","datavalue":{"value":{"amount":"+0.7694690823554993","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":"Q2938158$9D0F70E6-42D9-459F-B6FB-F118010D5EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637c22a48ae2b0053e68989dbe169654adc18eda","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d7b5040b461f50e85ad7f168c143a99a7c335b","datavalue":{"value":{"amount":"+0.7570292353630066","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":"Q2938158$199E6B72-09F5-417F-BF81-16BD1B4D8595","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938158"}}}}}