{"entities":{"Q2432229":{"pageid":2442972,"ns":120,"title":"Item:Q2432229","lastrevid":49952305,"modified":"2026-01-12T06:34:42Z","type":"item","id":"Q2432229","labels":{"en":{"language":"en","value":"Provably-correct hardware compilation tools based on pass separation techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067132"}},"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":"Q2432229$73D2BC97-A20D-4DC9-9504-3D8F58C315F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"000541f17133f429ecec0a4402fd9c754792054b","datavalue":{"value":{"text":"Provably-correct hardware compilation tools based on pass separation techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2432229$D75AF6D2-B6EB-4D0B-9B98-76A1911EF1E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14d3c066bdb80cd886e808486a4df9406cd26016","datavalue":{"value":"1103.68455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432229$7A245F58-8C06-49A9-9D04-B357F692F1A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e798fa9d7ce3e68abeb6b19df950c2fd4599617","datavalue":{"value":{"entity-type":"item","numeric-id":2432228,"id":"Q2432228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432229$C1DBD4DF-76A9-4909-B413-6D46094FC68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4988851e188f3c37af47500bd4c4d38a4b366e25","datavalue":{"value":{"entity-type":"item","numeric-id":362564,"id":"Q362564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432229$04C1D146-AB59-4C27-BF58-F9FFB3E57338","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432229$F6DDB301-7E6A-40E0-997C-A9BE45BC4C28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"524490ea1b25be9690e11f6569cdb524b84ba54c","datavalue":{"value":{"time":"+2006-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2432229$82427630-A8EB-4785-B792-C8D4D784B942","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432229$95CE81CD-64F4-40C9-AD82-CC083922C8E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acee2ed32e0efaf88702b548f92b04dcd191e1fd","datavalue":{"value":"5067132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432229$DD8FAB6F-3BD5-4132-B154-B0775E764D38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e833b61c09ee9a7791b90a60239a95e2cca092ca","datavalue":{"value":"structural VHDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432229$45EBF132-753A-4F80-A6CF-5225A10DF9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6a57fda170049673d0bdfd3254d0851b68b486","datavalue":{"value":"flattening procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432229$293EFBB7-15C6-4F9B-B171-20C27CDAE57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87175e304ce1747dcfd96d018a66db8b260732eb","datavalue":{"value":"relative placement method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432229$24A0F326-D76E-4B84-BCF6-265B17C561EF","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":"Q2432229$4826033F-DB3A-4F57-96AB-7E1B7CA2C0E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f223c6e36a05d4105b73d51491e9a99720d00046","datavalue":{"value":"https://doi.org/10.1007/s00165-005-0075-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2432229$36055066-1D35-4E98-9834-B5B533B2265F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a6044105c46b10d26615c8deb53555e68994160","datavalue":{"value":"W2038833945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432229$C319499B-C015-4FB6-8603-C42B83C68266","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaefbb4dffc8b83bd0b0d51a3cd08ceb906f7c25","datavalue":{"value":"10.1007/S00165-005-0075-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432229$F26AA98C-55B9-47A8-B96D-BDBFBEB5ADC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e763e9a49e299f6a286c1f6d31d930389ee6e3de","datavalue":{"value":{"entity-type":"item","numeric-id":4787231,"id":"Q4787231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09209cbf4a7c5ad8796dd7e93c8ee79bb0de1641","datavalue":{"value":{"amount":"+0.9186331033706664","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":"Q2432229$3608E0A2-4087-4D03-9DB4-938F6EDA5C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1428a2fbb3339dab55195b66181a0eaf4379cce","datavalue":{"value":{"entity-type":"item","numeric-id":4427916,"id":"Q4427916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b840a83a8fd2b8f8d6fde75feffae02461b2a7ed","datavalue":{"value":{"amount":"+0.7950176000595093","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":"Q2432229$3BAF96AE-2682-48F3-89F9-B26AD63CA8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e3b7718d586fed80f9afd2835b62523fd1332a","datavalue":{"value":{"entity-type":"item","numeric-id":877830,"id":"Q877830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50610c7b390eff879694f45d6c66c8c2b8ef3a14","datavalue":{"value":{"amount":"+0.739823579788208","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":"Q2432229$46150D00-C088-4263-A978-FE9B5D2404CC","rank":"normal"},{"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":"d646c40ce63a53260d7357328344bed9511aab22","datavalue":{"value":{"amount":"+0.7259334325790405","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":"Q2432229$A7ABBB00-8864-4130-84D0-CBA3F04AD8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"108d659977cf7d500de463c42fc8ae3010c7f7ad","datavalue":{"value":{"entity-type":"item","numeric-id":3648710,"id":"Q3648710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d646c40ce63a53260d7357328344bed9511aab22","datavalue":{"value":{"amount":"+0.7259334325790405","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":"Q2432229$3FC9B10E-C3BC-4DF0-B56E-4FF070E86056","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2432229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2432229"}}}}}