{"entities":{"Q2209539":{"pageid":2220282,"ns":120,"title":"Item:Q2209539","lastrevid":71553183,"modified":"2026-04-13T23:01:11Z","type":"item","id":"Q2209539","labels":{"en":{"language":"en","value":"Formal reasoning under cached address translation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268891"}},"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":"Q2209539$120D9285-DAE0-4B83-82B7-6F253401D61F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d77104a145f1edc992fd0551cde0cb51ecef4587","datavalue":{"value":{"text":"Formal reasoning under cached address translation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2209539$E41168A8-403D-485C-B8ED-B5C463389FB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b77841caebfc542f39f3d19f0d7b0d45dbd9415","datavalue":{"value":"1468.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209539$37122740-C3C4-4C95-A74E-DC4FA00159E9","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":"Q2209539$2D9EE506-FDB8-41EE-A3E9-467D5AC70FB9","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":"Q2209539$E9C68EDF-CB70-443E-AAF8-A13D7D04CB0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209539$76A1121F-1E2F-4A3B-A3FE-F8EF24F11EF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2209539$1138415F-1A64-4EB9-9C1D-13792006E0D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209539$0AB682F3-2E98-4322-9BB9-2BF0CA0C1A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209539$347BBD6F-BB88-45A4-92FA-2D68DFC30C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209539$E69D7361-563E-42F7-9827-3DA4174D5C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209539$1D3474A2-07B5-4985-B8AD-940B304FA1C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64b15db7849cdb8f6679c9479270fc6b3af39ee2","datavalue":{"value":"7268891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209539$0AA95149-8FFB-4BC8-9D86-52DB826D655A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74d91018d64e7975357c40c8884e93e6bb95e86b","datavalue":{"value":"TLB","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209539$24C4EC01-01ED-4756-9F2F-0FDAFB54419E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a53a5277efc8d00cb32017ca5dc3c4a474d1f615","datavalue":{"value":"cached address translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209539$3C721A9C-B08A-4DF9-89EC-19BBBB154F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209539$DC06DCE5-CCA7-441A-9B35-E6A7151603EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2afbc400e64b6fd04ac277b02af13eb5c488dbd","datavalue":{"value":"Formal reasoning under cached address translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209539$3B29480D-FFA5-4D21-9425-2014D718CB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38a3cf2c16016d15fb412fc995c20529629bcc4","datavalue":{"value":"ARM","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209539$487AE10F-97D2-4825-9285-B1800F1D9472","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":"Q2209539$42C8A928-D716-4728-A655-430E680DE9DA","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":"Q2209539$7EBECA56-E7F2-4EE3-8008-0AD54C8CE7EA","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":"Q2209539$CFB757CB-0D4C-4008-A059-698763EFD220","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":"Q2209539$77263322-326A-4FC4-A7FB-1BC0EBF59201","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":"Q2209539$177EBF9D-DFE6-47EC-8963-EE143A8222EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209539$6110C705-852B-4E5B-BC91-D9C3CC6A814D","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":"Q2209539$C3A8B142-1FC6-4259-8341-1BB060E30CF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f7774456f347d24e44d92eb4bc4303f18487e34","datavalue":{"value":"https://doi.org/10.1007/s10817-019-09539-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2209539$55D33EAB-F872-46DD-ACC1-9C267DA3A2A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e003ce0ec959e02458060a32142c683d0412a1f1","datavalue":{"value":"W2999427823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209539$42A9AEB4-8B13-4459-BE9E-ED98C243CE0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21387004d9d4106c0db82a8d6f4d4d8e49c4522c","datavalue":{"value":{"entity-type":"item","numeric-id":1791136,"id":"Q1791136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209539$DAAB3121-BF4A-4B25-8FCB-D3BC8DEEEA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7a034de51887ed81c8292b48b3d2011ef72d78","datavalue":{"value":{"entity-type":"item","numeric-id":736848,"id":"Q736848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209539$4EC5DA5C-B9A3-4B22-93EC-454EA34BC971","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":"Q2209539$A999A1C2-8096-4FC5-AF63-B8B40A5108FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73901d66c4278581e8cce3d77cced49f915057d4","datavalue":{"value":{"entity-type":"item","numeric-id":2819848,"id":"Q2819848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209539$66108459-EB64-4228-9E99-FEB04D67C470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6ada3d9d7ac6a3fcb8a7741037de335e01f8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3183535,"id":"Q3183535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209539$D8A8C007-058D-4014-8B47-95AF5BEF9130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fe4f7bbdf41a15f375fda905d86bb957912ea","datavalue":{"value":{"entity-type":"item","numeric-id":4247084,"id":"Q4247084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209539$1C71B2AF-0CDA-472F-ACE7-192654D60229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209539$5BFCC289-81CD-4939-BC4F-C003F0ECCC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209539$569B1355-8F1D-4CEE-9291-5E253222580C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7935e82d244c2efa70e1ff7dfa6cb753107dc50c","datavalue":{"value":{"entity-type":"item","numeric-id":4645755,"id":"Q4645755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209539$E32F5078-02EC-4ECA-BDC2-AFF95492DFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9488896a1741754fcc407ac5a8682a52d2bf4375","datavalue":{"value":{"entity-type":"item","numeric-id":1791200,"id":"Q1791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209539$04576471-5E45-49B9-92D3-C8AF5056E517","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b7816053565898a19b5d0462c2034085b6c90c74","datavalue":{"value":"Q126318699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209539$D00882BA-EC77-46CB-B02E-8E80F041963B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24ea4c34f64c35eefd70b67716d611d164833687","datavalue":{"value":"10.1007/S10817-019-09539-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209539$86ABB903-66EC-45A2-B238-5D5E43E3363C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d72004d320151c7934afc057e36b2258c40215","datavalue":{"value":{"entity-type":"item","numeric-id":1791200,"id":"Q1791200"},"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":"Q2209539$45EE88A7-8D0C-4537-B62F-46D64B676AA1","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":"da65f2f967555c264b3f420c7aea98ec00137733","datavalue":{"value":{"amount":"+0.8922156691551208","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":"Q2209539$05774F4F-8A73-4220-ABAA-C309E4E97DAB","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":"23f231c86f1c3a3cb69c3bcd2a1331b48050110c","datavalue":{"value":{"amount":"+0.7173372507095337","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":"Q2209539$C230105C-8A2E-4BDE-B245-E77754CC128C","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":"62bce52a43e111c0ceeddbce1b0e9ac3f0338429","datavalue":{"value":{"amount":"+0.7002934813499451","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":"Q2209539$AF230D94-BBA3-453F-AFF0-D0C2B3439423","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":"3b5d41932608e2e5c0675b9e320748c424f24503","datavalue":{"value":{"amount":"+0.6913830041885376","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":"Q2209539$3E421EB4-C507-402A-AC1B-DE39884E5AA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal reasoning under cached address translation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_reasoning_under_cached_address_translation"}}}}}