{"entities":{"Q5945700":{"pageid":8122502,"ns":120,"title":"Item:Q5945700","lastrevid":93481286,"modified":"2026-06-05T04:28:18Z","type":"item","id":"Q5945700","labels":{"en":{"language":"en","value":"An approach to the specification and verification of a hardware compilation scheme"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1657419"}},"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":"Q5945700$73BC61D7-0BAD-43A2-BEA4-B67FF1DE9807","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c647a73975a1d5a9d7843fa745ee236fda461f3","datavalue":{"value":{"text":"An approach to the specification and verification of a hardware compilation scheme","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945700$6CBBFDC8-9FE2-4689-8AE9-B0692FABCE69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d4c28cd875fa95659d7fe8a2e24269ba45c5d95","datavalue":{"value":"0988.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945700$FFD0A6D3-654E-42AB-BD35-C764DC996554","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03d78479cfc0c7c45fd2cac93bc570b6eef05197","datavalue":{"value":"10.1023/A:1011184310224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945700$AC0D928B-289B-4256-9661-F4E9D124F2D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9b1590a06a8608ee57a702a70afc7fd9d1149d","datavalue":{"value":{"entity-type":"item","numeric-id":207988,"id":"Q207988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945700$67794E5C-F30C-4D00-BD44-7D908B2FAA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945700$88DF2D56-7893-460C-8C32-79DD55AEAF12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"249abb720dacac094ebb61d7e5e8103f75c0ea6e","datavalue":{"value":{"entity-type":"item","numeric-id":165775,"id":"Q165775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945700$52FA4130-970A-4B27-9337-C6E937CD0711","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac706b748d18db4c8ad233b94727176526ac6a7","datavalue":{"value":{"time":"+2002-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5945700$392113BE-7158-4F43-AF16-15CD7B34F9BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945700$4FB25E5D-DA48-4B90-9450-67EB5BCD48F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945700$CECC80DC-ED15-4DEF-9E2B-74879FE64685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3cb322112ae56aec500b334b7351f32fb107365","datavalue":{"value":"68W35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945700$C6265E88-4A4A-4148-A5D9-5E6E8F68CAC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27c8585896212ca07c8922a2720b7a4e2a95a3f4","datavalue":{"value":"1657419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945700$6E5F950B-083D-4234-B42B-6C9496DE4E0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd18d08ea4c51d84ee07c27ec0713a42ab151a7","datavalue":{"value":"field programmable gate arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945700$8D17F17E-0AFB-4E3A-BE6D-5BC507FC4605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8ba42d6baf1e32df8fe2d47407c67f62dd1016","datavalue":{"value":"Occam","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945700$A2DF1BDD-EB60-4A2B-BC45-81D0E18916E8","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":"Q5945700$33BB48F6-8C49-4954-B273-EE93934EB44D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fefa5b91e8faabc32e4042a9ae5bee8c07f0ff8f","datavalue":{"value":"https://doi.org/10.1023/a:1011184310224","type":"string"},"datatype":"url"},"type":"statement","id":"Q5945700$C1720391-EC70-4F71-8F18-859090B11F2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f15ccadd979e8a1bd19bba2990d00de254e4d1b7","datavalue":{"value":"W1554024275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945700$DA70DE62-73B5-46BF-8C7A-13AA4E2DFB23","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3d0590f5f7d6e584b0b15d73298056e28bb04541","datavalue":{"value":"Q56939936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945700$619D58DB-87D5-46D0-894F-CDFDB2CA5E19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbadd5b3c8ca410d0eaa625b7c911cd0c83d0367","datavalue":{"value":{"entity-type":"item","numeric-id":4942020,"id":"Q4942020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73d4ecf4acc113d6a26923dbef211926816478a","datavalue":{"value":{"amount":"+0.7610411643981934","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":"Q5945700$8617864B-0411-458A-A975-3F32C4A557D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181a60ba70d4d089ffe1c5e40e760dcbf862dd45","datavalue":{"value":{"entity-type":"item","numeric-id":5945699,"id":"Q5945699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73d4ecf4acc113d6a26923dbef211926816478a","datavalue":{"value":{"amount":"+0.7610411643981934","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":"Q5945700$E3CA3AF1-AD8F-413D-8EBF-1281F0DF6F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f009a307ce9755e2255ed29e035c2e77c0dff4e","datavalue":{"value":{"entity-type":"item","numeric-id":766178,"id":"Q766178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf6ff029f751e5c3d600964a84da027fdd2a0b6","datavalue":{"value":{"amount":"+0.751292884349823","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":"Q5945700$E25E45E6-E6E4-42A1-B677-83559DCB20C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f405c8fbbbcf8454b5857f04dda184c715ccb462","datavalue":{"value":{"entity-type":"item","numeric-id":1267038,"id":"Q1267038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09574d8ad4c75a033b4f4370bc9f193ac4e03b02","datavalue":{"value":{"amount":"+0.750141441822052","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":"Q5945700$9354A1C8-A035-4E60-A990-0FF03FD823E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ea0da66b44dec5f9a2e759ecd3bf5888881eb5","datavalue":{"value":{"entity-type":"item","numeric-id":2642982,"id":"Q2642982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82882fb8c6e1ad1d7ac7462c5034efcfe7e9c512","datavalue":{"value":{"amount":"+0.7254016399383545","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":"Q5945700$D0B92F94-E605-4A67-AEC2-CB931DFDE944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approach to the specification and verification of a hardware compilation scheme","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_approach_to_the_specification_and_verification_of_a_hardware_compilation_scheme"}}}}}