{"entities":{"Q5348933":{"pageid":7378507,"ns":120,"title":"Item:Q5348933","lastrevid":101078858,"modified":"2026-06-05T23:49:53Z","type":"item","id":"Q5348933","labels":{"en":{"language":"en","value":"Certified assembly programming with embedded code pointers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6763195"}},"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":"Q5348933$C84F4713-1A76-466A-ACB3-0C305ED62075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13d62ec88db26a407e34af7959efef763ed5bb78","datavalue":{"value":{"text":"Certified assembly programming with embedded code pointers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5348933$ACDAE7E8-FD61-42CB-8285-091BA3DEF1EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c2092b29e5db1e39e70906b5de8230db56f8393","datavalue":{"value":"1369.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348933$85D6B99C-194F-49FC-AB20-1C6516CBD84A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83a30bca093720579e8dab23f5a59f29cef1d690","datavalue":{"value":"10.1145/1111037.1111066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348933$F1BFD6D8-3611-460B-870C-55763F82140B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c2bae226c690398c00479b659d51ac794d76be7","datavalue":{"value":{"entity-type":"item","numeric-id":1826464,"id":"Q1826464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348933$4FE49176-3D65-4B6E-81D0-6354432EB8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348933$207D0A46-1F66-4A05-9C14-2E26F78F240F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64c4180a3d83913a5dd41ebbd11bed14b06b65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5348908,"id":"Q5348908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348933$BD891ED6-ACDF-4ACC-A46A-F6924AC779DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f737878d1472b1d610bb956e674a63f02e9cd714","datavalue":{"value":{"time":"+2017-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5348933$9F7657D9-CDC0-4213-8A58-9412936C20EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348933$851415EE-2E39-4060-B933-8750A2338AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348933$DB0F60CC-412F-4E96-ADD4-BC1D8EE848C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e5ea333997357f75ec70111aeb069b525c04151","datavalue":{"value":"6763195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348933$5CC57A1D-EDF5-4EF0-AC5B-128CBD2AAD5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88001df1231d9854fc180da314ab32025cc27e45","datavalue":{"value":"embedded code pointers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348933$FC14D346-A7D4-4279-B645-580E48F2DEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3dc896052e56d420496bcd412a3e3ef4322f80c","datavalue":{"value":"higher-order functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348933$73146682-66F3-41D0-9C64-F4000611AE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348933$1258294D-CF86-4CC9-9011-6AC46C5B7041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90ba581de713a3df5c41b7c4f044c0002164b31","datavalue":{"value":"proof-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348933$FAAE33BE-C60B-4E52-B282-AE1E3168DE61","rank":"normal"}],"P1463":[{"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":"Q5348933$AC0BF29C-D667-4C8E-9EBF-255240C228AE","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":"Q5348933$4703EF14-1BFC-41EE-BC76-51834C372FC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8aadbac846ab5acca7c642d10fa4b0e32237b5a3","datavalue":{"value":"https://doi.org/10.1145/1111037.1111066","type":"string"},"datatype":"url"},"type":"statement","id":"Q5348933$8D9B9A4F-AFDC-4BC9-890A-E8AADCDE9434","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c299e954e2818cae2eaf5b8ccabdf63e087f23c8","datavalue":{"value":"W2165970356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348933$5CC7BD8E-48DE-4058-A0D6-57A87B58AA08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9207cc8a9d5215981c8d9bce1501b69ed721dd3a","datavalue":{"value":{"entity-type":"item","numeric-id":5703864,"id":"Q5703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e311330b0f5215d2c764b6642430368ce974c11a","datavalue":{"value":{"amount":"+0.7476275563240051","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":"Q5348933$3753F27B-03F4-400D-97CC-F71434461013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8aa156adc6e85f5b95f26d4166e2b3caf748d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1887734,"id":"Q1887734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6710af174528736b1bc37afb88604ee6547a643f","datavalue":{"value":{"amount":"+0.7450230717658997","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":"Q5348933$0D91FC39-BB58-4438-AAE8-54F78FB35B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0e20e561c0a94c18d17dcbff1b8e67b357e42f","datavalue":{"value":{"entity-type":"item","numeric-id":4823138,"id":"Q4823138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2217ab5749fa1626044d1a5b6bdd36f8a83b418","datavalue":{"value":{"amount":"+0.7416448593139648","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":"Q5348933$D744F014-4D15-4AB6-AB67-C62CB4639A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0afaebf81a24ae9728a7f6a4d1af65f7f730ee48","datavalue":{"value":{"entity-type":"item","numeric-id":4417905,"id":"Q4417905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809b422e836be01cca34425388b497b81e26ab43","datavalue":{"value":{"amount":"+0.7365518808364868","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":"Q5348933$659EA239-BC50-48E5-9D7F-495FE0E846CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc263c08637b696bc78907fabc836af09196bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3593496,"id":"Q3593496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85bc542a4fa37c1e7d35866521dcd6c13023a349","datavalue":{"value":{"amount":"+0.7364189624786377","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":"Q5348933$713B0022-9649-4D28-91FC-F9629B3F024B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certified assembly programming with embedded code pointers","badges":[]}}}}}