{"entities":{"Q1405996":{"pageid":1416736,"ns":120,"title":"Item:Q1405996","lastrevid":68630235,"modified":"2026-04-13T01:03:05Z","type":"item","id":"Q1405996","labels":{"en":{"language":"en","value":"Bytecode verification by model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1977869"}},"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":"Q1405996$FF46DF4D-D8A9-4F7A-84D4-F7F1FF9F6404","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f45a3275080c11abebbb7eff977037a8ce53322d","datavalue":{"value":{"text":"Bytecode verification by model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1405996$7872B2FE-56C9-496F-B426-1D3C5535046C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ec5a9b19f2c30fe426e26b4007d862f41fae318","datavalue":{"value":"1031.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405996$435A409F-382C-4485-A338-3E2EDDD9C8F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efe8d4cbf0b5da49ad31e385ebd517dcd3e0e17a","datavalue":{"value":"10.1023/A:1025059508087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405996$39FC8B55-ED12-4500-9638-B383BDAEFBC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"216c3bbee331bb3268d1fb25b59225a0a959366e","datavalue":{"value":{"entity-type":"item","numeric-id":1405994,"id":"Q1405994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405996$A838CF60-3980-4A22-B03E-B4F1E2FEEE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7dee54bc109dadea24f162eadd4cbe90cd482f1","datavalue":{"value":{"entity-type":"item","numeric-id":1405995,"id":"Q1405995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405996$32AF31AF-387B-48CC-96E2-31C9AE7F50F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405996$EB8EAB9C-8CBC-4D3B-9F32-1E93F7B438DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405996$5342EF3A-F308-4B88-A870-96D893480202","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a3bd22b3255d28cafbe1a32be16f369f6f38fa5","datavalue":{"value":{"time":"+2003-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1405996$44850DFB-BA35-4C37-B230-245BF9EBB267","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405996$1DD9277C-7A96-4F52-8339-E1714CB1DA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405996$02FC0D5F-C29C-44AB-930D-6582FB31EB64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93259699d58ceacead8b174ff40438cc8eeaf10e","datavalue":{"value":"1977869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405996$73DC7C8F-5418-4BB2-9CF2-6FBDFCEA8E00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405996$03D92DFF-FE6A-43BD-8F01-FA9027C631A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405996$C3D3F7D9-C89B-481E-8EF1-8A7206E1AB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efce79918eb6695c12a657d79586fd5eccf3b28f","datavalue":{"value":"type safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405996$B58E07BF-420D-417C-98E2-025B3FBFF506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2142f7b8ed09bf741df0b2311d5ef509818c0660","datavalue":{"value":"bytecode verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405996$1F44EB8D-0554-4BCE-942F-E67E8D32759E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405996$F41FBD38-1707-4582-9966-5A84EC15FD5C","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":"Q1405996$B375BFEB-3D35-4CD6-9BCF-524C6CAAC689","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":"Q1405996$9C560FCF-16EF-4F79-A85B-BA4F059444A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7ae1f2b87261fe20389617d2950e3654e6da0d","datavalue":{"value":{"entity-type":"item","numeric-id":4484331,"id":"Q4484331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daebc3a1eb3cc69e219949aeb995d7dc99d50f87","datavalue":{"value":{"amount":"+0.98010314","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":"Q1405996$E02F0994-EC1A-4E7F-A929-2FE142114C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4c57aa0ee60c757fb7af46499eda4a2f6bc9c4","datavalue":{"value":{"entity-type":"item","numeric-id":4738465,"id":"Q4738465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97a9ec2192c7af6d0aca745ed0590c773697795","datavalue":{"value":{"amount":"+0.96205795","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":"Q1405996$CC101055-DD1A-4242-A4D7-B02FA0679064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d0167161e2a01a49e386a178ee30c19d14c7c1","datavalue":{"value":{"entity-type":"item","numeric-id":2461564,"id":"Q2461564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2778cb828405eefbddb4ea909457e0261b8a1a7","datavalue":{"value":{"amount":"+0.9237689","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":"Q1405996$1ECFBB4D-F847-45C8-A850-8361A9184D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5a37b1c080cc6749930416084e59c058a1126e","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe510852208f497ca2872ca57887d0b0e1bdce6","datavalue":{"value":{"amount":"+0.921455","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":"Q1405996$81C1FC59-365C-4CF6-815E-B78CDBB61C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f587aaea1b23749d2d2d79be6d2bfacf745859","datavalue":{"value":{"entity-type":"item","numeric-id":4818817,"id":"Q4818817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c97d408758ad7944baa5c866cee90118bacfb8f","datavalue":{"value":{"amount":"+0.91010815","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":"Q1405996$BDB237F7-3FCC-4B84-B0F9-FF8272C486E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af1a7f88ccf611b0db3e4f22e477109f6066aec","datavalue":{"value":{"entity-type":"item","numeric-id":1881665,"id":"Q1881665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058e44e66584b0a02c3f25ee33fe25dcfae2adbf","datavalue":{"value":{"amount":"+0.90505725","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":"Q1405996$D5E6B57D-9FE3-4394-B0BE-0AC30F3A3CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8713798982140d4820192ba0dbd970d03dde4b6","datavalue":{"value":{"entity-type":"item","numeric-id":5428882,"id":"Q5428882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c14341758d62f13dbace69af381ac125359d05","datavalue":{"value":{"amount":"+0.8974762","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":"Q1405996$26F30B9A-A782-4D14-8782-191E11043688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68bc0c6cc4965d32c7db8d601632ac735d4c10d","datavalue":{"value":{"entity-type":"item","numeric-id":1405988,"id":"Q1405988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ea20741a1859bb0aa13a78c0578f134ce21649","datavalue":{"value":{"amount":"+0.89622486","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":"Q1405996$98EBF00C-81CC-471A-8B2E-91537361E38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77eb3968c8eb9ece46d47cca1c1bd5735934a6f4","datavalue":{"value":{"entity-type":"item","numeric-id":1826470,"id":"Q1826470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be23967bc04aad78c39b85165e8a944147cc5d11","datavalue":{"value":{"amount":"+0.8871126","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":"Q1405996$89645E08-9E7D-49BC-AC9D-6A8814EE25E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bytecode verification by model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bytecode_verification_by_model_checking"}}}}}