{"entities":{"Q6589552":{"pageid":14200709,"ns":120,"title":"Item:Q6589552","lastrevid":55729930,"modified":"2026-02-17T21:48:25Z","type":"item","id":"Q6589552","labels":{"en":{"language":"en","value":"An ACL2 mechanization of an axiomatic framework for weak memory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7898677"}},"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":"Q6589552$E287B8AE-DDCD-44CE-829A-BC650C852029","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d4a5e7a0348cb48681559e1c985c80cb65c06a0","datavalue":{"value":{"text":"An ACL2 mechanization of an axiomatic framework for weak memory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6589552$ABDAF3F4-B10D-46C7-BD90-29BD2A6A2D00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"494cca31c33b552d819b6caa7e9f849469e0b64b","datavalue":{"value":{"entity-type":"item","numeric-id":6589546,"id":"Q6589546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589552$2E3BAA70-F440-4062-AC2E-DE0266648275","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37c9edf3682f8ce3a18f69639bd1f0b09ec55ee0","datavalue":{"value":{"time":"+2024-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6589552$A132FB28-19FD-4CFF-95CC-23601345D045","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589552$1FBD8134-13EB-433D-A62B-007A09704D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589552$711B72FC-7E8E-491C-BC47-90C38CEB371A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589552$0655E7BF-EBC0-4BA8-89D5-DCCF8B54F515","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa351ab4227ac3ee33911550a59325c1d00582b2","datavalue":{"value":"7898677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589552$89BDFF04-1FBA-4FBB-BAB7-08C4620658BA","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":"Q6589552$FF72FEBD-0E0B-41B8-94C7-5D43E89C4ADD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5c4d98746c357e8f7255c633538699f75f50b31","datavalue":{"value":"10.4204/EPTCS.152.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589552$AAC2989A-59D3-45F4-9820-8771EFAD3DC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad022efa1d722e2c55c06d65f8653af371f9168c","datavalue":{"value":{"entity-type":"item","numeric-id":2441720,"id":"Q2441720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef13266e4f2b3b2c8c9ccf2c709d83150ff31f6f","datavalue":{"value":{"amount":"+0.7778797149658203","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":"Q6589552$3C2FDDD0-89E3-4562-879F-037AA978508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d35681e391fdf56041687e513bd455b5a835f5","datavalue":{"value":{"entity-type":"item","numeric-id":5056374,"id":"Q5056374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e95404adf23e9862c8e3afe05b2724821830bed","datavalue":{"value":{"amount":"+0.7703981399536133","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":"Q6589552$AA0E5B54-0826-49C6-8873-0E2B4EAC5F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a05355ee9e643278d508aa84a113c5e6e15b99","datavalue":{"value":{"entity-type":"item","numeric-id":3179387,"id":"Q3179387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1eba7f313b0e8a380ccf613e1e2266dd634f93","datavalue":{"value":{"amount":"+0.7337157130241394","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":"Q6589552$247E5082-0892-4D86-BE90-0D9F01110F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d30037af43d01fb3905a98802cc9591d9b3e6a","datavalue":{"value":{"entity-type":"item","numeric-id":832723,"id":"Q832723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f223c1cd85551688ce9205d04987b4ab5d6c7eb1","datavalue":{"value":{"amount":"+0.7336469888687134","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":"Q6589552$A8A4F07C-7124-4D25-981F-4A232C6D892D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e387f8de5131b4b9f1488f9882fe6e5797d4838","datavalue":{"value":{"entity-type":"item","numeric-id":5206951,"id":"Q5206951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4c6d2a8416ff03d784b278620e1c36b2e46b4a","datavalue":{"value":{"amount":"+0.7321878671646118","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":"Q6589552$7141ACC8-2A0A-43A2-91B7-8204C9E9C472","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6589552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6589552"}}}}}