{"entities":{"Q2945632":{"pageid":2956352,"ns":120,"title":"Item:Q2945632","lastrevid":52344266,"modified":"2026-01-22T09:47:15Z","type":"item","id":"Q2945632","labels":{"en":{"language":"en","value":"Improved tool support for machine-code decompilation in HOL4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481863"}},"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":"Q2945632$6452B1A8-FFE8-4DDA-BA2F-98B97DB315B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c8f09c3da578811f240c45d2c4b7fc43888c822","datavalue":{"value":{"text":"Improved Tool Support for Machine-Code Decompilation in HOL4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945632$C64E91BF-7533-4AAB-8EFB-F02A501F8767","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"028ed55aca42552d3703184afc1a129b23a19220","datavalue":{"value":"1465.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945632$43F5736B-4E4B-45B0-9F3B-FEBDE3DC032F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fe53801b230fa89c6b0eb0396f1c22b4beec99f","datavalue":{"value":"10.1007/978-3-319-22102-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945632$D58ADA89-7B9F-446E-B33B-67631D4E7AA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30e84c1c161a78deee54f35997c4f862ecf81aa5","datavalue":{"value":{"entity-type":"item","numeric-id":172359,"id":"Q172359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$1CF32ABB-3C45-41F0-8669-C4DDB3B57778","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$EBA6F7DF-E9A4-41A2-B186-C50149D3135C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945632$60A61269-AD36-4716-A1AD-7B6100119262","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945632$8D74D431-A53D-41A7-9C5F-5691608A2FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945632$53B462D8-161E-4CD3-A306-AA685C066F38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"324b90c4188d06ff815b7d29fdd39647fa193d60","datavalue":{"value":"6481863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945632$20B77DB6-AD66-43C2-B568-E64CD5DD42D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34f9cb359241516883d2e895731824bfc5d80800","datavalue":{"value":{"entity-type":"item","numeric-id":35126,"id":"Q35126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$88A41335-11AF-4189-9C79-69638FF15516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61c2f486dc1b6a94dcf7f6d557b47e6cf2b00825","datavalue":{"value":{"entity-type":"item","numeric-id":55278,"id":"Q55278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$5177F77A-160B-42DF-BEAE-F7EBFB3474E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$D7740689-6CF1-4869-A935-270C5191546D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$0B709885-345E-4CB0-AE13-56B918394051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7eb07cd41b504c05edbd7024727873caa47ed4c3","datavalue":{"value":{"entity-type":"item","numeric-id":25036,"id":"Q25036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$FB632409-A952-4F80-9323-795745ABDD28","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":"Q2945632$4FD89968-B5F4-4389-9DF4-E0E489E263B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"648ffac5c4bb5d4593a1995908a8ea5d3f2abd67","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22102-1_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945632$1FB714D1-6D87-42DD-A993-76A3C6BD8828","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87fc468678c957125593cd07f64ae07d6c488b39","datavalue":{"value":"W2166304444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945632$B8077419-B7A7-47D0-B5C1-ED602344C6F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"879dcd858f7bcfe1ef3910bf97ce3d345da5b737","datavalue":{"value":{"entity-type":"item","numeric-id":3088019,"id":"Q3088019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$10EB10B0-B43D-4C1E-B2A9-26FA387677E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c51840355e08753d0377af591c495ff9f8053cee","datavalue":{"value":{"entity-type":"item","numeric-id":5747653,"id":"Q5747653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$3920E596-3F42-4B9C-A961-18C8B3D951E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf06957483d96f85ec0bb9bf6a5c5b9186a884d","datavalue":{"value":{"entity-type":"item","numeric-id":2931805,"id":"Q2931805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$3F2CDDCC-2229-40D2-85CA-FA210E2EE6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$53C061EC-CBCA-497A-85C2-F6D5A0D3C218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac30c585b3eca0009fc86a02535b9a25c0d03553","datavalue":{"value":{"entity-type":"item","numeric-id":5758130,"id":"Q5758130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$4AA348FE-D9C3-46DD-8C9F-3767F381D48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55e0a58381c15f5903e387200484cc6e3cf6cde","datavalue":{"value":{"entity-type":"item","numeric-id":3523175,"id":"Q3523175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945632$1677FCF5-E064-4B81-93FE-47CC96467029","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"658c346f98b426736c4d9db531ee3a9755ce903e","datavalue":{"value":{"entity-type":"item","numeric-id":2763683,"id":"Q2763683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e82196019eecac9d2f6b854adb475ccc1352eef","datavalue":{"value":{"amount":"+0.7127146124839783","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":"Q2945632$72453837-7D28-4E8E-AE65-258BBF9A929D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8b9f7343efe63e57ddd2bd2ef0ae5831271484","datavalue":{"value":{"entity-type":"item","numeric-id":2324018,"id":"Q2324018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6aa7fb454bfb7ba3aaa8863ad92b19e18800d8d","datavalue":{"value":{"amount":"+0.7049162983894348","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":"Q2945632$A18D839B-4379-4571-8DCA-B23A37766131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5240345605b6df958dc529fb8dc1a54b30d31b3","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70023fea863f386120bd81a36b2c7db0c8cf8b75","datavalue":{"value":{"amount":"+0.6925641298294067","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":"Q2945632$AC7EF93E-345D-4EE3-94EB-F33DEF66A80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa95cbe1616b98cd37b5b0f0beebf790a9929aae","datavalue":{"value":{"entity-type":"item","numeric-id":2723406,"id":"Q2723406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc943954f337ca53441e45b9a9d469f240a8c15c","datavalue":{"value":{"amount":"+0.6911773681640625","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":"Q2945632$50F28744-9240-4C11-9D18-044971189031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82591264ebb39f3da7354f5b26f0c8340e158859","datavalue":{"value":{"entity-type":"item","numeric-id":3508532,"id":"Q3508532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7a06a326a13537b8e76e45ac9adfece68e1bb6","datavalue":{"value":{"amount":"+0.6825993061065674","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":"Q2945632$70D3F997-4C90-4D3D-B590-554DB1DB9EF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945632"}}}}}