{"entities":{"Q4645755":{"pageid":6675336,"ns":120,"title":"Item:Q4645755","lastrevid":41724407,"modified":"2025-05-07T14:48:08Z","type":"item","id":"Q4645755","labels":{"en":{"language":"en","value":"Reasoning about Translation Lookaside Buffers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7000002"}},"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":"Q4645755$49565962-0AD8-404E-9F9E-73AD3BBA3CB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf14e2c0250e4bde47b8b0d43b456ca0b91a1f06","datavalue":{"value":{"text":"Reasoning about Translation Lookaside Buffers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645755$E15D3E67-E093-4738-82B4-0F4AF140DF9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acff606964923c98d125040a2d240b1aad050bb7","datavalue":{"value":"1403.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645755$9D7F67AC-9BEE-4580-92AE-F2BA91D598CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d56212a6ca7d448973e039e7997cf182a80bde2","datavalue":{"value":{"entity-type":"item","numeric-id":2870168,"id":"Q2870168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645755$63C2C536-1489-40BB-B206-5027603E5DAE","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":"Q4645755$C12E3DBE-1AF2-4309-B516-634E735E32DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645755$F649FB6B-A969-4BF8-9202-04BD5FC47B41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645755$C6D2D147-E21F-4CB4-BED9-6C3E39CA5A48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645755$DCFC3837-8D63-4BBD-9AA4-1FCE5B694623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645755$A1DFC628-0506-451E-AD31-9FD01A675299","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb55eae6e6ce03be548c0afa6061fe934cc269b1","datavalue":{"value":"7000002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645755$E88B75D4-B566-4905-B02B-5573D728307A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645755$70AF510D-F9AB-49C0-ACAA-CDD173B134BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd36ae649b8f054ade6df25a80e692184b82414","datavalue":{"value":"memory management unit","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645755$4C0FD791-12B8-41CA-A82E-837044A8D5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c7e463edd64cdf18c7d816e3d9e9c164a7208e","datavalue":{"value":"operating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645755$7DD20331-5579-4910-8077-83B71B0B13B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645755$F02F951B-7588-499D-A609-6D2D479DA08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645755$158A9A39-ACA2-481D-850F-195B616139D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386dcaeb7ee538d41df65ef4ac62ca775cf07d69","datavalue":{"value":"translation lookaside buffer","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645755$B4205915-8566-43A4-8600-59CFF02EF8B6","rank":"normal"}],"P1463":[{"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":"Q4645755$46B08C76-7ABD-405D-8207-B37EF1693A9C","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":"Q4645755$F722093D-2A3B-47D5-BB22-F951729693E3","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":"Q4645755$FB834AD1-48BF-4B68-947B-BF6D9D6919A6","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":"Q4645755$C549749B-C89A-415F-AA89-B0A3D91F9E41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40f5711dff81eec511dd53f64b37ae40380ec10d","datavalue":{"value":"https://doi.org/10.29007/c2f1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645755$E397E408-A062-4996-8514-B8D03EA5B99C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3aa195cbf38f3aad12d87e43c7c24e50957fb454","datavalue":{"value":"W2665977086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645755$227AEEC3-E47D-49AE-9876-B0D957F31FCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7bbee54a0fe205077a1cea91593830c41040576","datavalue":{"value":"10.29007/C2F1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645755$757FC25C-BD86-40AB-90A3-0681C6093090","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":"3f9055c440805c647e34e0381e2e1e4ad42f6e4d","datavalue":{"value":{"amount":"+0.8061811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645755$80138EAF-EEB7-469E-B48A-2E3AED1E5224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c214f7d645096a5d36849c0c953284c54be2e32","datavalue":{"value":{"entity-type":"item","numeric-id":3777486,"id":"Q3777486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695f4f3c7ffb4ba8a21b29fceeb7192f2f6a5161","datavalue":{"value":{"amount":"+0.798233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645755$1414C943-B2EC-4F3F-8310-7AE42367F161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f9d6a1665c7bfdeed9ae64697a00621a436b076","datavalue":{"value":{"entity-type":"item","numeric-id":801659,"id":"Q801659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4959e430261536bdb051d5f97552288737e52b8","datavalue":{"value":{"amount":"+0.78971905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645755$C2898E3E-A677-4BA5-991B-AABF9C42E4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f28d68753f1b4ea44498b8e5c7029064df3f67","datavalue":{"value":{"entity-type":"item","numeric-id":3588375,"id":"Q3588375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77709b2aff5493b6af4c6f5bdb76a3707a863c1","datavalue":{"value":{"amount":"+0.78331506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645755$C8B65653-5DF4-4914-9EB9-5B70BD5EC4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb103a5412864d3a75ab81149a60d2a5b340495e","datavalue":{"value":{"entity-type":"item","numeric-id":706619,"id":"Q706619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ac17913f6cec18ffb8fbdb4c6e4691bae6417b","datavalue":{"value":{"amount":"+0.7830106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645755$8EEEDB72-890A-4FE4-8768-62E14ED66BC0","rank":"normal"},{"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":"211dc6f013a221a1f3a10ecef5a509f14f754bd7","datavalue":{"value":{"amount":"+0.782233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4645755$9DA7A91F-D8BC-4D70-A94D-6F90F9F010E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645755"}}}}}