{"entities":{"Q1791200":{"pageid":1801942,"ns":120,"title":"Item:Q1791200","lastrevid":72966723,"modified":"2026-04-14T09:04:40Z","type":"item","id":"Q1791200","labels":{"en":{"language":"en","value":"Program verification in the presence of cached address translation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6947001"}},"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":"Q1791200$81E2B421-0630-47CE-832A-EDB0E93604E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7c57a629e392fdbe24da03cb1628ac27811f957","datavalue":{"value":{"text":"Program verification in the presence of cached address translation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791200$EC0C6D4D-8928-4505-BABC-B68F5E577487","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4866e05af49ceac2e5cf202373f23f74d8501d9a","datavalue":{"value":"1468.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791200$FED20EE3-D342-42BC-A4F4-C3368BE3E557","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cb65620700b1afbccde67010bc7f95cd9df7061","datavalue":{"value":"10.1007/978-3-319-94821-8_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791200$F1524091-09FF-4FA3-88DD-CFDB987969C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb8dee7df57228df373a371fecfa5f72521f041c","datavalue":{"value":{"entity-type":"item","numeric-id":1791199,"id":"Q1791199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791200$E1FE5BBE-3C1C-486C-BF04-B06635F60F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791200$681B993E-8262-4AD3-8F40-406572AC90B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791200$48E6146C-A302-4BB3-BC75-6A2806D8C014","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791200$CC1DC806-A69C-4570-81DB-0198AED59E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791200$89EEDBC7-57DA-414C-987F-2E36C33616EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791200$E0832BB0-F4D8-49D7-A8EB-A9F12ACF5112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791200$CD2C6A21-5CA9-4E96-BD88-1DB20ACFAD48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f987a26f0022ab7651548afe8f4effd4ac36e662","datavalue":{"value":"6947001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791200$37F731E1-C220-40E6-88F2-DB3AF1D6027D","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":"Q1791200$CB1C1114-BF6D-4DBB-A685-07DB5797B7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6cc8b602290f72455ceb0d513144a2973b9cf741","datavalue":{"value":{"entity-type":"item","numeric-id":33310,"id":"Q33310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791200$A9A84525-77F4-4B13-A326-20B4D0509F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791200$7DBE19AF-4552-4567-89EF-0BF4521F99B0","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":"Q1791200$ABFB5AFE-3989-4DF7-8A94-14FA366A8B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791200$1009C428-B31F-4D62-BE94-C6615C5D20A0","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":"Q1791200$D81A7FD7-1769-47ED-9000-7D85C16F284E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bad016ff1ecb6004394a1e3f117bb35668912c6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791200$E8205ECD-67BF-4305-BA90-117C2536750F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"382b79ca255339d6660c2da754c6cc09415b7ae0","datavalue":{"value":"W2811210584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791200$1FF10CF5-1F59-4C86-A545-9D1FC24715E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ac7d1320f3d5018d8a45a1ae332da065963d63","datavalue":{"value":{"entity-type":"item","numeric-id":2209539,"id":"Q2209539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08e70ba0bdd3d9bb19deb4009c126217898ee00","datavalue":{"value":{"amount":"+0.931593656539917","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":"Q1791200$4F8C47EA-DCF6-4F60-B984-FCB103A4D323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c3e8647db8f19cd48358eaadd0dbddd9e00b37","datavalue":{"value":{"entity-type":"item","numeric-id":4645755,"id":"Q4645755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7fe9cb6cd1c709214cdc5641bcc53b5c718e85","datavalue":{"value":{"amount":"+0.842071533203125","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":"Q1791200$09C28DC5-58F8-4822-B2DD-40C630CA3D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba83feba1be4951b2507336d05662777d195de9","datavalue":{"value":{"entity-type":"item","numeric-id":835773,"id":"Q835773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60b6c855e6e54a3d653448abba6c3e791578454","datavalue":{"value":{"amount":"+0.7290921807289124","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":"Q1791200$8B5ADB9A-6128-4E95-9150-FA273E70876B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17da9cef2f48ebf323095a26797b980b6702d1d","datavalue":{"value":{"entity-type":"item","numeric-id":2894314,"id":"Q2894314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4392fd8834b71397d171ab10798635941b23dc0","datavalue":{"value":{"amount":"+0.7188025116920471","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":"Q1791200$AF7F2A4F-CA92-400A-AAF3-4C931AC42924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f366e5466d4b0621aaf9bb2b1370668cd91fe511","datavalue":{"value":{"entity-type":"item","numeric-id":5493234,"id":"Q5493234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54802725bda2916fdc536aa9199c676862684e2","datavalue":{"value":{"amount":"+0.704759418964386","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":"Q1791200$34CD060A-FD49-4393-8648-BACBACDE53D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program verification in the presence of cached address translation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_verification_in_the_presence_of_cached_address_translation"}}}}}