{"entities":{"Q2287118":{"pageid":2297861,"ns":120,"title":"Item:Q2287118","lastrevid":71768211,"modified":"2026-04-14T00:25:09Z","type":"item","id":"Q2287118","labels":{"en":{"language":"en","value":"Mechanically proving determinacy of hierarchical block diagram translations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157064"}},"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":"Q2287118$245FABE8-2EE1-44A7-943A-B1F4D0ECDC81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c00c5bf768685dfbac6f4aca84f368a55af25f0","datavalue":{"value":{"text":"Mechanically proving determinacy of hierarchical block diagram translations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287118$040DB6A4-8484-4EB0-825B-2E237A18A974","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a6e22df5cd0c5ed59a6e9ef660495c5dce2cf43","datavalue":{"value":"10.1007/978-3-030-11245-5_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287118$FDE91192-97B8-4021-97DA-D331B753EE5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03dd836c35062b353c773aa5bb9f8bbbab8cff00","datavalue":{"value":{"entity-type":"item","numeric-id":432147,"id":"Q432147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287118$F84F63E6-9E59-4C93-A060-9766F2361543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45f3f10d52ab34b882a3a13ad999780a12af774d","datavalue":{"value":{"entity-type":"item","numeric-id":2287117,"id":"Q2287117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287118$F6DF570A-1C39-4CA4-9466-0FAC26DAC14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf4ee0b9bc858ae7a0b4fa5b4ccb84cb74f589d","datavalue":{"value":{"entity-type":"item","numeric-id":169910,"id":"Q169910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287118$7DBC6898-341F-4DD8-8014-4C2EC08CF128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e303adb2b0a1f1bcfef4359b3361358b8f766d","datavalue":{"value":{"time":"+2020-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287118$18A79A7F-2DC6-42BF-B742-CF09958A840B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a68efe6a5ff37ca2dda8a4c01930f529e7aea215","datavalue":{"value":"https://arxiv.org/abs/1611.01337","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287118$12E8B221-7F4C-43B6-A13C-0EB00B76312D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287118$B0644DCD-9A3F-488D-B84B-119C9DF09977","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61f3c549a1c52614f058cc2384004ee1e8a73358","datavalue":{"value":"7157064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287118$57056ADC-7882-4856-BDD6-B42279A4B0A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287118$449A15EB-2ADB-45A5-9A1D-5B8488210DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287118$5AF75A3D-305C-4F67-8CED-006FC0C395BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287118$C9457529-391E-41CA-B83E-9AD533D2DF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d06e651b0b14f8e4e4de5e4ed42a2d55a39ed60a","datavalue":{"value":{"entity-type":"item","numeric-id":31982,"id":"Q31982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287118$FECDBE5E-E361-4B9E-837A-99E93494A2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287118$42CEE25A-70DF-414C-B9E8-F1A27002D039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287118$478AC74E-BA4F-426E-9DBD-E758046CBFA6","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":"Q2287118$F69D8EA8-CED6-4E50-8F7A-5A38CBFBABF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfcf7878b51d77d3d9183a03f093bb441acd05cd","datavalue":{"value":"W2797117664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287118$35F0EBC1-64EA-47A7-BFDE-1FB234B5D790","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119b2ce3aa135b39583fdaf9c50a36c12214bc46","datavalue":{"value":{"entity-type":"item","numeric-id":434480,"id":"Q434480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdddf54299a5e1adf872e3988e47c24b31ce87ce","datavalue":{"value":{"amount":"+0.7354292869567871","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":"Q2287118$BF547D97-2E40-4D94-916C-8577AFD71F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf6de385ca0dc701309036b221c6446e4ad1fb9","datavalue":{"value":{"entity-type":"item","numeric-id":2847845,"id":"Q2847845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95aa9d3b335077f9443db4fdf8a63305a377c59","datavalue":{"value":{"amount":"+0.7062241435050964","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":"Q2287118$2E4F73EA-03CD-47DB-A480-F6F0287F9C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b256fbd870bdd2a67f49eea121827cca963ef26","datavalue":{"value":{"entity-type":"item","numeric-id":4600381,"id":"Q4600381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd6d1c542dc2e9fbcdaa05a3694c2c358fcd189","datavalue":{"value":{"amount":"+0.6912366151809692","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":"Q2287118$6688140C-1E94-4A26-ABC4-482C51F1A7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e859911f4f015f6d400a31050482917aef84d14","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25df709b3ed75ad7c78ec3c9c409012897deb89","datavalue":{"value":{"amount":"+0.6907674074172974","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":"Q2287118$F08DF412-F8BA-45D5-B37F-48F8ED425EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd878339f0eb07087b6396daf9a134907762719c","datavalue":{"value":{"entity-type":"item","numeric-id":469998,"id":"Q469998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94bfbffefaf7a460fa1984ac44ec3e93d255b834","datavalue":{"value":{"amount":"+0.6837472915649414","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":"Q2287118$C891C566-7DC7-483F-A978-40BE775683DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanically proving determinacy of hierarchical block diagram translations","badges":[]}}}}}