{"entities":{"Q2154026":{"pageid":2164769,"ns":120,"title":"Item:Q2154026","lastrevid":54361556,"modified":"2026-01-26T17:04:24Z","type":"item","id":"Q2154026","labels":{"en":{"language":"en","value":"Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7556492"}},"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":"Q2154026$3A978D8C-C8BC-4BE5-8FB3-A03A35DC6D61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba2956d568e20922bfe2d4550a607bbbda82852c","datavalue":{"value":{"text":"Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2154026$D8346309-4637-4477-9014-3435C670D5F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a22bb49a34c042032cca1a63fabc8847c0a10d9","datavalue":{"value":"1498.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154026$2B36ED0D-4901-4ACC-AE47-189C105251FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2fe263a61167d2ee35afb92ce1c9650b8b38bc1","datavalue":{"value":"10.1007/978-3-030-91265-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154026$08362B51-113C-4519-A1AF-6A02036C8614","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cd2a00a16b735fadde6c795661d64ae7c34e603","datavalue":{"value":{"entity-type":"item","numeric-id":455817,"id":"Q455817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$BB348074-53CE-4573-9DCE-BA4D77DD15AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d80cc90e4177e64d10862621f6d70af7c5a84a1","datavalue":{"value":{"entity-type":"item","numeric-id":299201,"id":"Q299201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$33EBAF86-D9C7-4857-AEEF-C9C28537E36F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a10feb846ab08eff879cd9ad8918c74f60818d7","datavalue":{"value":{"time":"+2022-07-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":"Q2154026$2EC5996C-CDDE-44B1-804C-F7851F70DE52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154026$44F1C934-9710-412A-B975-19A48D4A3E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154026$F60449C3-F6F5-4016-8BB2-E4D4DA46DF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154026$50A8833F-770B-46AA-A32B-1EF89C752AD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef8c8af29a86faa7f8ddb675b63d2513f8fc5cd0","datavalue":{"value":"7556492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154026$F27C4B6B-EC64-431D-A0CC-D2B27E1172D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7bfb1d07ef6259fbdb3f3b16eb17c2c8f86edaf","datavalue":{"value":"relaxed memory model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154026$758BDB5C-5973-4C8B-8193-BE836DA1C9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8761826bdd034c81a9e00b7b467e88876c3e7f","datavalue":{"value":"MCA ARMv8 architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154026$D49EF619-74D1-461C-9D22-03AF142D218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e21b189b8fda2381751bdc4821405f20b794572","datavalue":{"value":"unifying theories of programming (UTP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154026$5C39B601-0859-4F9D-B1D9-88213BF46ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154026$528B3C06-262C-4187-B19F-45A59FE2D6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d70e9a57fea1dab5b0bcf4627c1c03b0a15c7d2","datavalue":{"value":"algebraic laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154026$EE770AE3-A593-41C2-9FA4-445210E08DDA","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":"Q2154026$8CFE94A0-D504-47F1-A0E7-5BBABFFB535A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28b5730bf01e4ac22e6ef7bbab0b41dc625c337a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-91265-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2154026$B1F4D825-F233-4CDA-9FE2-E94A7F85F0EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f39b7ad6934357b6dd37be97bc0b43a31283d627","datavalue":{"value":"W3212264767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154026$713CC37E-A27A-4375-B61C-414A23B0D6DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce14e8aa8657a4cf7f46e66406fbeac79ecd24d","datavalue":{"value":{"entity-type":"item","numeric-id":2024349,"id":"Q2024349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$2F2A1741-3E49-432C-ADF4-1B9F5832BC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d223981ae7810a035830c0eb8a6cb984aabc840","datavalue":{"value":{"entity-type":"item","numeric-id":4536898,"id":"Q4536898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$AA13E6C3-8467-4BA0-8425-B0353C4CD9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$76620DBD-F84F-4D86-8690-43E7402921FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$ACFD1537-5E2F-4FEF-9A5A-515ACFC588CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7086910f9358e43274a5a442f4c059a6d354ee4","datavalue":{"value":{"entity-type":"item","numeric-id":782494,"id":"Q782494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$83C22DB6-79C2-480D-9EC6-E8C385780A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eeb5e1114b269cf1ba2a2fd5618a6437e51dc5","datavalue":{"value":{"entity-type":"item","numeric-id":2130595,"id":"Q2130595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$E38D2C97-2DB0-48A3-9ADE-024CF12642B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$2B84C4FA-C5AF-4A88-B9B1-5F3A2C3976A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$3726809D-5005-47BC-BFCA-F3FD3FCF28B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ba88084cddb1f401de9e107d012f997ab5abe1","datavalue":{"value":{"entity-type":"item","numeric-id":652158,"id":"Q652158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$27C23ACB-6410-4E80-8BB2-8F92558C06AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4567f423ff19d5830db93e9fb1bead79b40739","datavalue":{"value":{"entity-type":"item","numeric-id":1209325,"id":"Q1209325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$324F2479-92BF-4B7C-B6C9-C68D5989177B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154026$6D4223C2-0490-489A-BC33-2FFD64AD6A48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8338724daa029caccb2c3016b9f8787797e2cc","datavalue":{"value":{"entity-type":"item","numeric-id":2830038,"id":"Q2830038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59579761bd39cabae1855b494ab1ce0af1b3ab02","datavalue":{"value":{"amount":"+0.7160359025001526","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":"Q2154026$4600C034-E9FF-4C13-A7A1-5BF7A8BAEBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5de172029ce7dc3bd7a18ce9d97236556b8ff63","datavalue":{"value":{"entity-type":"item","numeric-id":2819850,"id":"Q2819850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2d055176cd1ea4bb1f74d6dde9c9c1b926aca9","datavalue":{"value":{"amount":"+0.7129983901977539","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":"Q2154026$9D813062-4471-4851-B942-D8A89D3373E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ba515f3ce65aa79973d6874274320d201a0b02","datavalue":{"value":{"entity-type":"item","numeric-id":6045051,"id":"Q6045051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251a1f1b5599cf5618e83f851776b6c7aac5c95e","datavalue":{"value":{"amount":"+0.703874409198761","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":"Q2154026$10CAE6C7-E3E7-4619-A76D-923612E3BFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab707ec480b625f22a7a431f84e316008a712b0e","datavalue":{"value":{"entity-type":"item","numeric-id":2281648,"id":"Q2281648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3be728b4db0c0b76e2da2cc4752ce299e676761","datavalue":{"value":{"amount":"+0.7021281123161316","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":"Q2154026$2892E8FD-266D-47E7-A5C3-4346777DDCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042d341fed79e669004c539e0551cbea2745f4e8","datavalue":{"value":{"entity-type":"item","numeric-id":4986257,"id":"Q4986257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728937b687fa2481267eb5776130c3c856f9b9f4","datavalue":{"value":{"amount":"+0.6909471750259399","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":"Q2154026$012DE669-5EF0-42B2-93BC-306CC68AFEF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2154026","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2154026"}}}}}