{"entities":{"Q2894314":{"pageid":2905039,"ns":120,"title":"Item:Q2894314","lastrevid":79533092,"modified":"2026-05-06T14:08:11Z","type":"item","id":"Q2894314","labels":{"en":{"language":"en","value":"Parametric verification of address space separation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051134"}},"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":"Q2894314$D736001B-98D5-4B67-8334-1D08B904D06D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08d33ff4a28a5266e67d3614440873317ba69a44","datavalue":{"value":{"text":"Parametric Verification of Address Space Separation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894314$B2BCCEC5-0738-4815-BAD4-916B6D758EFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e33ad36c27d6f7a49f2cd97496130ea2dca8a30","datavalue":{"value":"1353.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894314$C11EB479-00A6-4FAA-9D41-9CA047DE1BA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca15b86a70df7fd4919f6c57beab98e543d2c6fe","datavalue":{"value":"10.1007/978-3-642-28641-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894314$A8F548E1-9F31-4D25-BA22-20E1213CECB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a09792f032081d33860f42a553eedbbb5daf719e","datavalue":{"value":{"entity-type":"item","numeric-id":2894311,"id":"Q2894311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894314$88A6321E-9CE0-4494-857F-4192BCD25D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894314$3849AA0E-A753-4D44-B1A1-BE55A6ACF053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e211c695368008413217636e920ea6dbeb72f3d0","datavalue":{"value":{"entity-type":"item","numeric-id":276484,"id":"Q276484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894314$BE681673-DF3F-488E-B936-19A23C074B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a3aff27289b9e512777b85e8009faeff4bc73ff","datavalue":{"value":{"entity-type":"item","numeric-id":2894312,"id":"Q2894312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894314$0851D5CE-2662-4E62-89D9-B7151C5C1051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9dfb76528d9ef4e34a468a0768ffa9bf18a7197","datavalue":{"value":{"entity-type":"item","numeric-id":2894313,"id":"Q2894313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894314$82049C8E-AA91-4AE8-86FC-0BFF684C1820","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":"Q2894314$190A13B5-F2C1-447A-9973-0A994EFDAD4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894314$5498B304-4608-4301-BFAE-4ACBA0E8A66F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894314$3F2C3386-B032-49AD-A9FA-82A984C88A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894314$C505E8BC-89B8-4C2C-9E17-9A6AD2BFCCBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e60ecc5151e93572782876b49eb49e83906cbc10","datavalue":{"value":"6051134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894314$DCB5478E-FFB8-444E-B51C-D331B938EB5D","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":"Q2894314$6C3A7B7B-C258-4F95-A012-C2EDB69DCF02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa447397e54ec50d0f8ccbdcc429b474ff0096df","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28641-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894314$9C486E06-F512-4CA9-8451-B5B281396BAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52e74359361bec164873aecec1478a0c6c347d97","datavalue":{"value":"W1575351678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894314$DF104EE4-C1F7-4335-9F74-986957C76A8F","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":"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":"Q2894314$0623120E-E781-4B1C-ACD8-3EC9E5A64AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e275c1a99869a76ee490b3efdd8e3243321e8c2","datavalue":{"value":{"entity-type":"item","numeric-id":2968409,"id":"Q2968409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17710e9ea1e88a87ca0577b105ed9da1bdfe48c1","datavalue":{"value":{"amount":"+0.7082459330558777","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":"Q2894314$2D704D08-8BFA-49C4-9F96-79B669525F8D","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":"b1a326d2430437bfa2aeea94f6b797452aeff47e","datavalue":{"value":{"amount":"+0.7071039080619812","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":"Q2894314$B1A622F7-CD23-4A0D-9FE1-8F86BC30C8F2","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":"41d6d623136ccf498e3367e5bacbf80ce1100987","datavalue":{"value":{"amount":"+0.6994633674621582","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":"Q2894314$65B4A61D-2CB6-4FF6-9DBC-F15B43D70D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a3f8a355563eb18ff564805dfffead5696effe","datavalue":{"value":{"entity-type":"item","numeric-id":5458324,"id":"Q5458324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a3968a235f6b4f0f812ab64a92b16619fa2443","datavalue":{"value":{"amount":"+0.6921489834785461","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":"Q2894314$0A7986B9-FBFA-4F23-A01B-6339AACCA9E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric verification of address space separation","badges":[]}}}}}