{"entities":{"Q5458324":{"pageid":7487883,"ns":120,"title":"Item:Q5458324","lastrevid":50333792,"modified":"2026-01-13T20:27:09Z","type":"item","id":"Q5458324","labels":{"en":{"language":"en","value":"Formal Pervasive Verification of a Paging Mechanism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262364"}},"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":"Q5458324$66CA0E86-ACCF-4845-9844-493C34992C3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80e7e0d8d2faa1ab871c15bbc1b7b8b51a0e1b28","datavalue":{"value":{"text":"Formal Pervasive Verification of a Paging Mechanism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458324$0FA4AD06-1F0B-46B9-954E-001E869B6A24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14703c168605bf5255ec2353855dad43e6645e65","datavalue":{"value":"1134.68394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458324$6BAA2D93-3C66-4C26-8899-0BF7E2984439","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a7ffd5b27d051d6e42f34c68f206fa37a5cb8b4","datavalue":{"value":"10.1007/978-3-540-78800-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458324$D8C9DC54-022D-40F9-8890-993DD5E62923","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"121ebc550732324a563b7891cb358ad4077c955a","datavalue":{"value":{"entity-type":"item","numeric-id":835774,"id":"Q835774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458324$918F3BB2-E5F7-4798-9A62-DC636BC58ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa9c0912ece4e82f4f9a482c387448e9bc57b15b","datavalue":{"value":{"entity-type":"item","numeric-id":835777,"id":"Q835777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458324$73EF85A6-FCB3-4E76-9721-8AD1C370C0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07f0d7b1aad29069090e8530126f2596b7c35dfa","datavalue":{"value":{"entity-type":"item","numeric-id":835778,"id":"Q835778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458324$54C7985A-9618-4566-AD0D-2B694BF14B9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458324$22C29B46-9A9D-4A06-93E2-666E8A85E51B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458324$D2684713-1700-4D14-BE58-27E994CAF271","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458324$CEA75148-061A-4BA5-A3E4-E94B03B71AEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4abe7af52957699d2fad5e3b2545f9b77c3642c","datavalue":{"value":"5262364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458324$8E037420-F827-4E8B-BFF4-D02F080D267A","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":"Q5458324$065008EB-B4F4-4B07-BA48-9B7EDB1EA976","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f420bea4ac872d6810361c1f47b0141b38866906","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458324$F10A74F4-5230-4858-9A59-02E72E1EC173","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6fad47b9e1f46aa63926c7c183bcf9eafd31bdd","datavalue":{"value":"W1523275077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458324$96159F0D-8DBE-4E72-B4D9-30BFD5D04929","rank":"normal"}],"P1643":[{"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":"07db2fcc0e101c0d38eea5bf63b44528d72dd1df","datavalue":{"value":{"amount":"+0.7852232456207275","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":"Q5458324$05FDBBA4-DBFC-4CFF-AFCF-518A687EC17B","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":"313ec3de58deaed5f15fce58696b1faf9690fee0","datavalue":{"value":{"amount":"+0.7780758738517761","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":"Q5458324$2CEB61BE-5873-4D33-91E2-7E0ECAE6A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81c2ddeba7944cdb91d156797bab90cd6e16463","datavalue":{"value":{"entity-type":"item","numeric-id":5387859,"id":"Q5387859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775c7e944d650b3e5bdcd1b5ff8104d04ec669bb","datavalue":{"value":{"amount":"+0.7303997278213501","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":"Q5458324$E099DF07-8CDB-41F0-84B4-AFDF97E75E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983366cc153cae27be16c2535db5be25ad3578a6","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc80b3472aa58b77d8b316194935f6774da37d16","datavalue":{"value":{"amount":"+0.7158982157707214","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":"Q5458324$FC830414-B39E-40DA-9EA7-21C00A288417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8122fc1ac1790b906d43e546d7c89783729b9995","datavalue":{"value":{"entity-type":"item","numeric-id":835780,"id":"Q835780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4cb08247b5244036d0350cd736eaf008924cbb1","datavalue":{"value":{"amount":"+0.7149073481559753","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":"Q5458324$A22FDCDD-7BB2-4BE1-8341-127FD964B5AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458324"}}}}}