{"entities":{"Q3508532":{"pageid":5538436,"ns":120,"title":"Item:Q3508532","lastrevid":50395418,"modified":"2026-01-13T23:19:47Z","type":"item","id":"Q3508532","labels":{"en":{"language":"en","value":"Hoare Logic for ARM Machine Code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294876"}},"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":"Q3508532$B80081D2-26FB-48D5-9C20-45E9A9599BD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"225cf6491fe9e37e0133fe60594538746eab60f4","datavalue":{"value":{"text":"Hoare Logic for ARM Machine Code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3508532$9A882E26-F6B5-42D9-AD74-54B3DE390C26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c6e74e668d40acfd8c605011e5b012e20977fdf","datavalue":{"value":"1141.68373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508532$0BFDC03F-2608-4DED-81EF-575562F025A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eded41814c7934c1be2c90dedc86039cc878de3d","datavalue":{"value":"10.1007/978-3-540-75698-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508532$B1EEA0B0-440B-45CF-BBF4-D8AF359771B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508532$F0F1D6E4-F460-4C0C-967B-7BC2081CAC0D","rank":"normal"},{"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":"Q3508532$E322E649-DC72-41A9-921D-ECFE252CE94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"931e30a40c8472ba029c509504f463b9cccdfd3d","datavalue":{"value":{"entity-type":"item","numeric-id":436371,"id":"Q436371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508532$9B0DCBC3-E348-4EB7-B2C9-A5430CE50D82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508532$3103E789-1C3F-496E-9B78-03BEE107D2DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3508532$17D936A9-B97E-496C-8F6E-5354AFAB9465","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508532$FA425B4F-CBB5-4D56-A47C-A496A7D572ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508532$37283FEB-CE3E-492A-B6BC-4E7355405A08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0b7b1f9ec798ca8c6d7b313bf7770c974a16bb8","datavalue":{"value":"5294876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508532$29C65D5F-6F90-4A7F-8215-4515605B5CA7","rank":"normal"}],"P1463":[{"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":"Q3508532$EDBED33B-B0A4-4D4A-A6DB-EC6B7AB6FC6E","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":"Q3508532$25223D7A-2031-4B44-BF78-1682FAB96C08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58b741c02cfce9bab15c141a40358df1058f756e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75698-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3508532$3C0CC831-7C49-4C9A-81E8-D26EC6778F26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27752bbb905e6a18256fa300a9b0084ce765a7bf","datavalue":{"value":"W4237950468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508532$AB104C58-6586-4E75-9B72-DFADF91C2933","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35748ffee00ce724a7ead9e1f30b786018fda879","datavalue":{"value":{"entity-type":"item","numeric-id":5758130,"id":"Q5758130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893b3c20c21f9cdc573951a29a9ba9823e0cc708","datavalue":{"value":{"amount":"+0.8868796229362488","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":"Q3508532$F1BC08A0-0490-4BA7-AA89-17469510DACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849f75c5a6e8b0c6538786d519488b33480e2443","datavalue":{"value":{"entity-type":"item","numeric-id":2038040,"id":"Q2038040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c27229b0fb034373163362c4a603dd3f643e2df","datavalue":{"value":{"amount":"+0.8230533599853516","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":"Q3508532$DAAF1744-410C-4664-B304-905505CD5219","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":"b37e7be37e4c58005cdf1580cde79f36941f41ea","datavalue":{"value":{"amount":"+0.7728751301765442","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":"Q3508532$FD8FCBDE-9B5F-460D-B8C9-8D30649AEE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfec3ced7587ca1876c7fa59a35e6c50dc496243","datavalue":{"value":{"entity-type":"item","numeric-id":2931805,"id":"Q2931805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9216e0952476f14655dec7718807c20b5667a98","datavalue":{"value":{"amount":"+0.7378577589988708","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":"Q3508532$87D6F278-4B66-47FD-8CC7-E5AEC0850B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7fa846a4bb685e66c5f210b6da5ac9a633c63c8","datavalue":{"value":{"entity-type":"item","numeric-id":2938055,"id":"Q2938055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e661a4093a7e6eaa1deedc1337e816edcfbbb5","datavalue":{"value":{"amount":"+0.7348917722702026","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":"Q3508532$018C9A1C-0FDC-4A2A-BD4C-16F77CF41BB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3508532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3508532"}}}}}