{"entities":{"Q128377588":{"pageid":122357581,"ns":0,"title":"Q128377588","lastrevid":2219613519,"modified":"2024-08-03T06:44:00Z","type":"item","id":"Q128377588","labels":{"en":{"language":"en","value":"Formal Modeling and Verification of a Victim DRAM Cache"}},"descriptions":{"en":{"language":"en","value":"scholarly article"}},"aliases":{},"claims":{"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"65cb557022e2f68587863d5f5b22479312a0ffa8","datavalue":{"value":"24","type":"string"},"datatype":"string"},"type":"statement","id":"Q128377588$543445F8-AA28-41BF-ACD4-9B0E4CB932B1","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P973":[{"mainsnak":{"snaktype":"value","property":"P973","hash":"164832310be4891f578823bad5aa91d293b51fbc","datavalue":{"value":"https://dl.acm.org/doi/10.1145/3306491","type":"string"},"datatype":"url"},"type":"statement","id":"Q128377588$8245B2BA-650C-4254-AE19-DEC6F6EAAE29","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"f01273b42cf6d310ef1f55706c87d6ebf60c5dbf","datavalue":{"value":{"time":"+2019-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q128377588$65D7F384-EAD5-4392-8137-F6D84AA55F2A","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"4f02df9d81ebdb5f740b921b20228502660baae2","datavalue":{"value":"10.1145/3306491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q128377588$CBAFCA2C-988F-4C05-8CD7-C097D636EA5A","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"69d52212d282a400dfd773d3aea95b8e4f7c9e2f","datavalue":{"value":"2","type":"string"},"datatype":"string"},"type":"statement","id":"Q128377588$FB45F712-B3BA-4E61-8C27-49A30A6D53DF","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"84e9605f0082d93395731745f19566448d772384","datavalue":{"value":"1-23","type":"string"},"datatype":"string"},"type":"statement","id":"Q128377588$BF17EFAF-7B4C-4AB7-8C54-6AD70B5B9CE5","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"3e668f9c57f49b58a921bd68a2ee687702d10df8","datavalue":{"value":"Debiprasanna Sahoo","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q128377588$CB7DEBF2-3668-4298-87D3-5B6D9CBFAA93","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"3cc52b2c350285c72bd91e8f7048aca6daefdb30","datavalue":{"value":"Swaraj Sha","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q128377588$0053ED21-3BF8-4203-9AF5-8946A11A02F6","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"aebba47f0bca5f918b8927a107d55521d1f218f7","datavalue":{"value":"Manoranjan Satpathy","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q128377588$AEEDE9EE-0B9E-40A7-8750-4B38C7663931","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b4b76be8ed691e99f882e8ffe4e1b0bf8df72f8e","datavalue":{"value":"Madhu Mutyam","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q128377588$B620F504-BE3C-4992-9374-55B91488BAC4","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"51434a15966b580995900b25d5f9e1703eb94760","datavalue":{"value":"S. Ramesh","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q128377588$F0E58EF4-B287-4FD3-AED2-7148A8DDEBEA","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"de4ada7a857cac02d71840be62de2251d8d61918","datavalue":{"value":"Partha Roop","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"32387bd293902a2430b5bb680033d36ecea00dd0","datavalue":{"value":"6","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q128377588$C5BEA869-F090-4541-869D-88CCDAC1FBB7","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"bbaadc32464b8515c03cc15e2d5fb41e4b2e77ca","datavalue":{"value":{"text":"Formal Modeling and Verification of a Victim DRAM Cache","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q128377588$DE43C428-EC3B-4B52-89F5-8A0E20BD14D5","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"33e7d583da65861720692faf6dedcfb631fc07f6","datavalue":{"value":{"entity-type":"item","numeric-id":15757437,"id":"Q15757437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q128377588$04ECB323-6090-4F81-9A40-9268C4984588","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q128377588$AC0F1B48-59A5-4D9A-B8EB-647A506C2E24","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q128377588$F5A488C4-7DF3-4FC8-9A2E-1784ED0859EB","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}]},"sitelinks":{}}}}