{"entities":{"Q2461564":{"pageid":2472307,"ns":120,"title":"Item:Q2461564","lastrevid":50223056,"modified":"2026-01-13T13:54:09Z","type":"item","id":"Q2461564","labels":{"en":{"language":"en","value":"Memory model sensitive bytecode verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215467"}},"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":"Q2461564$FFD06F1F-2923-48FE-A49C-ED66EA1EDDF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dc2abea5cd16448f0e397f72cb0eb92db4f16b0","datavalue":{"value":{"text":"Memory model sensitive bytecode verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2461564$3B701F26-63DB-4B88-BCEC-C8D76A18DEED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98ad7f5e7e658e6ea07cacb2f01ec14102d268e6","datavalue":{"value":"1131.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461564$B6877B8B-54E3-4C60-B0EC-4CD1C90FE807","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4628eae15a5e069000da5673590fc20a7231a86f","datavalue":{"value":{"entity-type":"item","numeric-id":2461563,"id":"Q2461563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461564$9FD36962-A41B-4FEA-841F-DDAC723E9281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1073374c63e64fbc6ebe88f5ce70a10864f23111","datavalue":{"value":{"entity-type":"item","numeric-id":842735,"id":"Q842735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461564$ACF19DB6-E779-49F9-B902-B619DDE0D7A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461564$A54DDF8B-5892-4B19-A16C-C1986CEE9A3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2461564$9B3BCA07-8132-45FB-AFAC-ABE672C35E0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461564$3886BCB8-DDD2-4CF7-89BB-B5AA79050C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461564$BEF62837-F52C-44EC-B15E-07CE23E315CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b36bb72740918a5da8f979e82fb736bc75eddec","datavalue":{"value":"5215467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461564$A521DA2E-E39C-4DB2-A79B-2D74AE96979A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e05c27699490e4f3e52c4ecd9555acc7cdc1c6d","datavalue":{"value":"Software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461564$A0CA266D-0FAC-4C3B-B643-9960B1CE0AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6238d698732d7c5d85d8f8d500fc923578c383cc","datavalue":{"value":"Programming language memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461564$A5ABF3AE-34B7-49CA-A737-2CBE403478EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b051075a63edf392ba037482a2459a65787fbde9","datavalue":{"value":"Bytecode verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461564$D39D5146-E75E-494B-B552-992ED70EFB51","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbadd4e4506c89c4e4887c593e8d94aff649584a","datavalue":{"value":{"entity-type":"item","numeric-id":21918,"id":"Q21918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461564$651BE854-962E-474D-A5A6-CA4A13AE1D18","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":"Q2461564$BA021957-3EE5-458C-8B6F-F6F77B467C1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f94a15229418462cdc319b85cac3a7ad580c23eb","datavalue":{"value":"https://doi.org/10.1007/s10703-007-0041-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2461564$AB2089D8-1E42-46AB-9E33-1ECEA45522B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfe70f765687734b54e622e4523e56da5e1bca3a","datavalue":{"value":"W2122602877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461564$A1F9F180-B531-4CBA-9672-4D955EB7963B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a585b1284ab5ad9cc38b7f1d4f9d943eead175d4","datavalue":{"value":{"entity-type":"item","numeric-id":4023279,"id":"Q4023279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461564$7600DD20-B081-465E-AEFA-97A915AC4561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e637664223baed82911ee36f1459cc7b609050","datavalue":{"value":{"entity-type":"item","numeric-id":1888204,"id":"Q1888204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461564$E628166E-65ED-4CA3-9536-CDC9A45D695A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9df03d940bbd4c025d80e4f6d96f2a49bffb4fd","datavalue":{"value":{"entity-type":"item","numeric-id":3237973,"id":"Q3237973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461564$7BE7C50B-9966-4A32-9E2C-AEA619A247AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d3451bfa7a01037037f2a99b640d0d21e9ce88","datavalue":{"value":{"entity-type":"item","numeric-id":5312917,"id":"Q5312917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461564$5AA8329D-BFD7-4BDA-8D7E-83EFA06DD93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461564$9DAFD7DC-5B94-4BB0-9CF5-9CDE01B24019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad708b8e4e30e35c3846234774de37622f45350","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461564$27141124-CFE5-4EFD-ACF8-3712A0389DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75e3a18edd49cf57c4a9a5d5521d887ea9639b7","datavalue":{"value":{"entity-type":"item","numeric-id":3813266,"id":"Q3813266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461564$3DF3E678-C79B-4947-9030-4940D493974D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3704169e9d0a2361604f1cd798cd89503409f566","datavalue":{"value":"10.1007/S10703-007-0041-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461564$889ED0B1-92E9-4E70-9B66-452BF2AFA8AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c165bde94abd1c3fd680f0a1cfe01be560585af","datavalue":{"value":{"entity-type":"item","numeric-id":2894274,"id":"Q2894274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508a39efc3dd4d876af2ff1581a9f5b399046c2b","datavalue":{"value":{"amount":"+0.757520854473114","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":"Q2461564$313C9763-5E3D-4F69-973E-3B131055C3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7d0a1a06330f2971ad030396652994a00128f4","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c5115baa689ba13e2f0690353a7dbcc3d2306a","datavalue":{"value":{"amount":"+0.7505778670310974","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":"Q2461564$12E8BAAF-61FC-466F-B79E-40CF7348EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a05355ee9e643278d508aa84a113c5e6e15b99","datavalue":{"value":{"entity-type":"item","numeric-id":3179387,"id":"Q3179387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792fbbebbc3160c6538ca3b3ab7217ab746ed4cf","datavalue":{"value":{"amount":"+0.7490672469139099","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":"Q2461564$8D1FE698-A246-4005-91CC-661FB4CFC741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83af7e42b761354ff1aff3e2c151c0c831a4361c","datavalue":{"value":{"entity-type":"item","numeric-id":2931808,"id":"Q2931808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c341a36c85ab6af73d998e222532adbd7387deff","datavalue":{"value":{"amount":"+0.7404599785804749","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":"Q2461564$A501A483-27D9-410D-A81D-E95A6B1D1B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c33c5459aee600cf4d4743005ca61ff60fbdcc2","datavalue":{"value":{"entity-type":"item","numeric-id":1405996,"id":"Q1405996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27546f6479b08e914c381bd304b3f333b2aa39d","datavalue":{"value":{"amount":"+0.7398019433021545","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":"Q2461564$5615DC2C-A393-4847-A8AB-3412464BEB8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2461564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2461564"}}}}}