{"entities":{"Q5048997":{"pageid":7078574,"ns":120,"title":"Item:Q5048997","lastrevid":98335769,"modified":"2026-06-05T17:15:32Z","type":"item","id":"Q5048997","labels":{"en":{"language":"en","value":"Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614665"}},"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":"Q5048997$4D8BE37D-20B5-41CE-B3FC-88E94920E905","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87069d02191e64da83b7be1f1c8925d29bc95dcc","datavalue":{"value":{"text":"Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5048997$991C0367-F972-4B67-92C0-F1009D884D33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69d1599f93288c5faa9d14fffcd96691fb143d72","datavalue":{"value":"10.1007/978-3-030-51054-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048997$0FCA5E67-B98D-4F4D-9234-FE3D24EB7417","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd22af850026676982d2d243b86cdd14bc9a72a","datavalue":{"value":{"entity-type":"item","numeric-id":2819860,"id":"Q2819860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$BD56E0A8-FF51-4332-BCE8-11F00F0C9DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c1fed578da6ad0c9dcb2cf2818de291b14ebd95","datavalue":{"value":{"entity-type":"item","numeric-id":244135,"id":"Q244135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$98D9D378-8927-4F66-9CFA-240CB7E5529C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2925d733af62343b50741933d1d093dc5f330d","datavalue":{"value":{"entity-type":"item","numeric-id":2819859,"id":"Q2819859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$C4633FA6-C0AB-4872-AC30-D74B7CF1389F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed360e5a5b6485d0ec642ab4e5a8b7cc72636740","datavalue":{"value":{"entity-type":"item","numeric-id":1791168,"id":"Q1791168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$883459C0-ED56-4AA2-83B5-B5643F6C3AE4","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":"Q5048997$49F23735-74C8-47BA-868B-189444631C1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$6A24FD85-37C1-431D-86F4-75C4499EA6E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5048997$4E05C4E8-4E2C-4FAB-B78C-2E6FC689F9E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048997$822C14F9-653B-4166-A79F-EEB2694F84BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4a18618ad84a6a4a185f17d88697035d0ec4e1f","datavalue":{"value":"7614665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048997$367435D2-480B-4B53-A049-29BDDF5B7B87","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a05d1abc95315b149d3510f92824f5e33b81569f","datavalue":{"value":{"entity-type":"item","numeric-id":40244,"id":"Q40244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$8BB37AFE-7980-4A15-A626-ABE22F0218E8","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":"Q5048997$BC391645-646D-4B40-9917-68C7E85D5684","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":"Q5048997$B26B7E1C-C9A7-4E90-8DC0-778A9F6E3A06","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":"Q5048997$D9697C04-7568-4C28-BFD6-C3286181F935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6afb9e05f24776a03d7fcd415baf7b99112468c9","datavalue":{"value":{"entity-type":"item","numeric-id":34519,"id":"Q34519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$376E21CA-A340-4EC9-BF78-5F42E2DB88B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$175AB1AC-15E1-4FA8-B186-09A29D40F868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8859dd07b075ca56b99edd7026e1e517c43d961e","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$0FFCF7DD-BD1B-41E0-858C-C6CC342836F2","rank":"normal"},{"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":"Q5048997$231024D2-BFAB-4EA5-9500-C4A992BD0218","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":"Q5048997$900C5259-6AAC-4FA4-800B-4FA9CE9E0A87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76b46fb1640213ad1922878744f960027186b3fa","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5048997$7FDFC224-466F-45B8-A04B-FDF3156E4024","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a6e7828cd5fbd1fcfee77e3b1780f8ff4fe0622","datavalue":{"value":"W3037570434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048997$DFFA22DD-8B5A-4161-A0F6-076B7502B658","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1196f5e17dff99bc1a9d16ec3c58ef966832597d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$BF586A8D-5EDC-4F8B-A4E6-3CBF05A51DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89594204a2dc3c58c834b5a8e9a37ca270048fc8","datavalue":{"value":{"entity-type":"item","numeric-id":2819861,"id":"Q2819861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$E5811C8F-9686-4667-B7BD-9DA0CF36D724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb6a694c413940271a785e87645155d12c05123","datavalue":{"value":{"entity-type":"item","numeric-id":2914735,"id":"Q2914735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$4EBA484B-67D6-4F5B-B960-777B64281521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46bace28fbebf820c63fed72ed21b2a304c9cac3","datavalue":{"value":{"entity-type":"item","numeric-id":1799129,"id":"Q1799129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$465050AA-41A4-4047-BBDF-48525E70A4A1","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":"Q5048997$BAE1432C-B072-40EF-AC8A-028C12E5FD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$880F75F8-C97C-4625-8E53-ADD613A1C25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bf0527cae45caf1270972ff5ead3c89685a7ab","datavalue":{"value":{"entity-type":"item","numeric-id":5875431,"id":"Q5875431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$85EE1B06-BE64-4853-9869-64E7A8B9ED29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43d3a758c32c9727b6e7c98ee661a7017fcc647","datavalue":{"value":{"entity-type":"item","numeric-id":5276160,"id":"Q5276160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$81611031-3511-46AC-8831-6BD5AE090FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$6DD91685-CE54-42FF-ABF8-54C5567D8528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$75C9056C-2DA4-4962-BBCF-EABAE8701C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$ED2826A1-9CBF-40FB-B251-7F2E208E590B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6791f3e085b5e70981abdc04d407a28ff0f651","datavalue":{"value":{"entity-type":"item","numeric-id":5168887,"id":"Q5168887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$309D1E49-6C32-47B7-81A6-CEFF1D603A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fce7fd90eddca2321bf359269ac32e43f8175f5","datavalue":{"value":{"entity-type":"item","numeric-id":2819813,"id":"Q2819813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$6B439575-98DE-4B1B-A5E0-C1F90BCDA087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b78cda30b8bf7bbc1e02364c4dd5fa066a61862","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048997$7B16F2D5-16B0-4321-9404-BA37DE317A73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs","badges":[]}}}}}