{"entities":{"Q5747653":{"pageid":7777204,"ns":120,"title":"Item:Q5747653","lastrevid":101722412,"modified":"2026-06-06T02:38:28Z","type":"item","id":"Q5747653","labels":{"en":{"language":"en","value":"A trustworthy monadic formalization of the ARMv7 instruction set architecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785346"}},"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":"Q5747653$2FDE6922-3CB8-4C43-AB0D-7D5AD86FA650","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5cc03258642903a5b6252c71a749826a86635ed","datavalue":{"value":{"text":"A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747653$6C131125-465A-474B-B9FF-F7F074A7FA0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"926e5bf4ddcd8f1c38a550901913bfb07084f458","datavalue":{"value":"1291.68341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747653$740B2594-452E-4719-870B-28D441662F6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc315156e811c78204a6cf035869c58a99f3b3ff","datavalue":{"value":"10.1007/978-3-642-14052-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747653$BD77504C-62A0-4F92-8BE6-F633FB9CC94C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30e84c1c161a78deee54f35997c4f862ecf81aa5","datavalue":{"value":{"entity-type":"item","numeric-id":172359,"id":"Q172359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747653$773D6101-A9A4-418A-95FA-BD90297FC20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747653$C99D275C-F835-413A-B6C3-644DB7814890","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747653$12173D15-0E27-4B7F-B814-0F9C37177EF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747653$FC0D665D-6589-4790-9262-A66932B519AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747653$55D75AF7-286E-41E6-B22E-9CDCFB2C6D07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2383e4f1e3666a759ae481c2216a5861f18fbfa4","datavalue":{"value":"5785346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747653$40AFFDAC-DC54-406A-925D-E9AC49CAE5D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad0c9888f19e605bfba04523c628f3bab7224e29","datavalue":{"value":{"entity-type":"item","numeric-id":14550,"id":"Q14550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747653$1336D588-3CCC-43FF-A08F-851DC54937D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747653$E7482D18-3C4E-49E2-8A37-F04FCCB55AC1","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":"Q5747653$90D739E7-C07A-4A89-A74F-7BAFCB3687F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2881913b1e179534f5c1ca38b6e4f7414d069b05","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747653$2F6CF893-C455-4E72-BF8C-FA345405FE36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91cdab0b0dd3fe724b5904f2282482e7e1a10f46","datavalue":{"value":"W1863850585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747653$9EAB8C21-96BC-4A72-8033-9344332DF6CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2dc9bd6dbc1f155afd372f6c99fa5e842bb1a5","datavalue":{"value":{"entity-type":"item","numeric-id":5045393,"id":"Q5045393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86137ecde5f045673c01be305a20f18d5ceee66","datavalue":{"value":{"amount":"+0.7740487456321716","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":"Q5747653$52856BF9-D105-4DFC-AC5E-7462153E0557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7fa846a4bb685e66c5f210b6da5ac9a633c63c8","datavalue":{"value":{"entity-type":"item","numeric-id":2938055,"id":"Q2938055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757f9c29e59627ca7622be441159d10896d27d5f","datavalue":{"value":{"amount":"+0.7723846435546875","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":"Q5747653$7F1D55CA-8C5A-4660-99B2-8DDEDDD7CB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69d43a21496ab28993cbdc8cb7ade250536a0eed","datavalue":{"value":{"entity-type":"item","numeric-id":2754045,"id":"Q2754045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13645b421c0b9986e71365c511067373d4a89c3d","datavalue":{"value":{"amount":"+0.7509631514549255","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":"Q5747653$2DEDC022-B9B2-4FD8-8A0C-1557165B231C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82591264ebb39f3da7354f5b26f0c8340e158859","datavalue":{"value":{"entity-type":"item","numeric-id":3508532,"id":"Q3508532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4ac631b1d58045e20e61426269c4e3ce8af005","datavalue":{"value":{"amount":"+0.7053672075271606","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":"Q5747653$C2944A33-BC8B-46C7-B099-1D0308F07DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e649264ee8c5f77323097969c0d9813410c2c8","datavalue":{"value":{"entity-type":"item","numeric-id":2754046,"id":"Q2754046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35e4727ed492ca8fe480fd1041e05809b8e1d70","datavalue":{"value":{"amount":"+0.6929600834846497","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":"Q5747653$E5140ED8-E40B-4520-B3B7-F766097E5D5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A trustworthy monadic formalization of the ARMv7 instruction set architecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_trustworthy_monadic_formalization_of_the_ARMv7_instruction_set_architecture"}}}}}