{"entities":{"Q6166149":{"pageid":13301031,"ns":120,"title":"Item:Q6166149","lastrevid":94156700,"modified":"2026-06-05T06:01:31Z","type":"item","id":"Q6166149","labels":{"en":{"language":"en","value":"Modular verification of SPARCv8 code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721436"}},"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":"Q6166149$EF4ED338-68F2-49AF-AB9D-8D798D71DF9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66ed98ee410ec4b6ad7f876f974acbc388501eaf","datavalue":{"value":{"text":"Modular verification of SPARCv8 code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166149$AE0EE1C8-63AD-4F62-919C-D39501DB1E99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80d237c319d28c52bcbae25d3298fe08aa338fe0","datavalue":{"value":"1519.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166149$5A8FCB23-3FDA-4A3B-ACDE-5A1701E7453E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12d8b5bb655e4ff6468c1c84fd7659692929995c","datavalue":{"value":"10.1007/978-3-030-02768-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166149$7B20C880-79C9-4780-A716-70B3DB4F012E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166149$41E44A1E-CB3F-4711-84EE-6C96A1063EA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166149$B1A9D4BB-0768-46CE-8693-F799C771BF09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166149$BD7EFBF5-EA3E-4FA1-814C-18092F96D0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166149$79E21BF1-0961-4D2E-968E-B5D66799CE02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"273733a59573a500d8f713760af61d70229dcd52","datavalue":{"value":"7721436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166149$6BCAD635-F144-4079-9A50-EEFA7084CF56","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":"Q6166149$DB56AA24-154B-484B-85AF-31920B863274","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23d64c0c04aa1529bcbe7b9b84e11eb4ac850d86","datavalue":{"value":"https://doi.org/10.1007/978-3-030-02768-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166149$FDB052F5-8362-4F15-9980-77C14BEE824E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f75bcd088f20c179e67c6506aed92b114a23e66","datavalue":{"value":"W2897181877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166149$5F010D3D-7FB9-426F-B772-C56D10F96EB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ed7ae54210088547f50aa25fcf3f04d43110c8","datavalue":{"value":{"entity-type":"item","numeric-id":1630029,"id":"Q1630029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48782db15210324109468e0be4dbaa2164ec617b","datavalue":{"value":{"amount":"+0.7716910243034363","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":"Q6166149$E4C5AF7C-65AE-4110-8F75-7C9EDA204D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d85da01ce5c8c2828ef73396ab04705487b850c","datavalue":{"value":{"entity-type":"item","numeric-id":5178035,"id":"Q5178035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045de7b9ee0fb07fde16e280e193a39c7f60f25e","datavalue":{"value":{"amount":"+0.7631515264511108","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":"Q6166149$66339EC4-F9D6-4A69-B547-35D48B6B2122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d903d91f25eac697fdf75606052fc7c6d77f3b10","datavalue":{"value":{"entity-type":"item","numeric-id":2936788,"id":"Q2936788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16712700a840304ccfb6f604982cc25bc0f4f51b","datavalue":{"value":{"amount":"+0.7470806241035461","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":"Q6166149$9246481D-BEA7-4D9C-BC4C-DA7FDB70A8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35748ffee00ce724a7ead9e1f30b786018fda879","datavalue":{"value":{"entity-type":"item","numeric-id":5758130,"id":"Q5758130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb164b7b6fea45a1931472dc67c285b02a56e655","datavalue":{"value":{"amount":"+0.7445845007896423","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":"Q6166149$AB73206E-860F-4E3B-B8FE-F1FF6D16D814","rank":"normal"},{"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":"e81b764a2c63ef03b0a28d208eb0a6c2dae03861","datavalue":{"value":{"amount":"+0.7284027338027954","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":"Q6166149$F84138AE-1C58-4404-8B44-DC62DBB7E7D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular verification of SPARCv8 code","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_verification_of_SPARCv8_code"}}}}}