{"entities":{"Q6860015":{"pageid":20656723,"ns":120,"title":"Item:Q6860015","lastrevid":84252215,"modified":"2026-05-14T05:36:25Z","type":"item","id":"Q6860015","labels":{"en":{"language":"en","value":"Verifying software emulation of an unsupported hardware instruction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158258"}},"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":"Q6860015$B8FC72D0-B47E-4E47-AE82-9042A924F4A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d864bcd5d0b7afdd1b843834f8f7a27a8b98dec6","datavalue":{"value":{"text":"Verifying software emulation of an unsupported hardware instruction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6860015$5C6B3381-2395-4D97-81AC-11007F8C4408","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0963b1d604ec724441c593462074d0a0efe3f104","datavalue":{"value":"10.4230/LIPICS.ITP.2024.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860015$C1FF3241-DE01-44BF-8C2E-2708A1DDAD34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"254d1a10b5ff78dd2586e2acfe07a5d775b68eba","datavalue":{"value":{"entity-type":"item","numeric-id":1663235,"id":"Q1663235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860015$80F5C695-A25E-4553-8ECE-2BCAF291E237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b79819ff81a74987ebd3fd51fb54c3d9e9318c67","datavalue":{"value":{"entity-type":"item","numeric-id":6258021,"id":"Q6258021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860015$F397B4AD-2A76-4B52-A624-744947EE0215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d957a3f31f9610e79e212a1ae2ae0004027dee9c","datavalue":{"value":{"entity-type":"item","numeric-id":1702890,"id":"Q1702890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860015$9A191085-6DE1-46A4-BD13-8138ACE295B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6860015$44E3D870-F80D-4DAF-9010-9687098D209B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860015$59D7B6DD-18B8-4EA8-9337-A257592A043C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"039c8c8d9e2682ad4a448d10ccbbd70c741785b6","datavalue":{"value":"8158258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860015$7FAA4464-0C0F-44C9-A1DD-E6774C538B61","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860015$590A5D9D-8D2B-41A3-9081-14D6637FD5B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860015$57DCAE6C-F559-47B5-886B-E592FAFD8B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2acaf1f498ed3b9b2b60df2d9b0cb806f3b0dac","datavalue":{"value":"software-hardware boundary","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860015$B6769263-6982-408E-B835-A8579FA9C536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860015$3A114312-7B50-4643-9278-0230213008CC","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":"Q6860015$BF46596A-3A13-4B1C-905D-AA4B8AC2051E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db1a4e5dc42421c546d4010b6ec0e33d7f4d940","datavalue":{"value":{"entity-type":"item","numeric-id":5458324,"id":"Q5458324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860015$87B504F5-E9C1-4751-B6AA-C66E1A0E6270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec74d20684f0db92c7b7c4239af905bf28ce3849","datavalue":{"value":{"entity-type":"item","numeric-id":1663225,"id":"Q1663225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860015$9BBAA51D-0167-4E4F-BCE5-4D3212472A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d93e889c52c36a6fb58e10f9eb9b5078b5353ce","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860015$DC07D371-F035-419A-8A47-BF5AB176CEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53733d004facb870bfc85e0dadc9daec51b504d7","datavalue":{"value":{"entity-type":"item","numeric-id":4916058,"id":"Q4916058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860015$593EC170-2661-4400-9472-D1BB1AC44A86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying software emulation of an unsupported hardware instruction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_software_emulation_of_an_unsupported_hardware_instruction"}}}}}