{"entities":{"Q1874284":{"pageid":1885026,"ns":120,"title":"Item:Q1874284","lastrevid":69170484,"modified":"2026-04-13T05:14:17Z","type":"item","id":"Q1874284","labels":{"en":{"language":"en","value":"Verified bytecode verifiers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1915475"}},"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":"Q1874284$DF035853-B31E-49E6-A053-9AEB300EE3E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6a7341e0f72ae9179824ec83c490c15a4c4621d","datavalue":{"value":{"text":"Verified bytecode verifiers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1874284$4FF9E4F8-13DA-4588-823C-501D7FE5541F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a1ecae6cc32777d6e40bbe630d027216e4dfd1e","datavalue":{"value":"1038.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874284$EB811A42-E614-4329-8205-9B40FD36C97B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9441616446ea1a2f5052b7439c2fb5e55431d72e","datavalue":{"value":"10.1016/S0304-3975(02)00869-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874284$5C462DD9-6A3B-4CE3-BD0B-1504528576C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$FE6243A4-0346-4F15-AD31-4A7B20C6D92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$533B4AC8-7B45-463D-A4B1-5A7A4C71DBDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$9C3924FC-DFEF-428A-9AB5-48C27B2BCB82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a6a59edb1a41421171fc7a476d9d545e0612d5","datavalue":{"value":{"time":"+2003-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1874284$E53437DD-B136-46AE-8EA7-768F9B00E295","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874284$67F33A9D-AC70-4FA8-A34E-E9D653966038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874284$8FBD45B7-1910-4FA4-A2C6-8BF829831DBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08590fcfc2743d5fd5cdeff45baa5b333edd319c","datavalue":{"value":"1915475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874284$E9E442D7-A798-44BF-A30F-46CCC661CF2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874284$185F7510-B9FC-4726-AD74-9EE4EA951AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b051075a63edf392ba037482a2459a65787fbde9","datavalue":{"value":"Bytecode verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874284$D4972F0C-6CD0-4CA2-9F8D-136C0CC73710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742acadec2058a1daf33969cf122f1e00d23a668","datavalue":{"value":"Theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874284$FEB3B793-B7C2-484E-B2C0-EBF388FA1690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e9e96ca0f4f3537f2a426abb05cdf567960b373","datavalue":{"value":"Data flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874284$4456CD04-52EB-4BD0-B902-3B5E28E60D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83102ea8b029e8d6c7ffd85bb47f9d50f3a6b562","datavalue":{"value":"Object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874284$F84AA672-348C-485D-BB4B-14E1C9082397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb71f5a81c438518518a8766357d67afbf35b04d","datavalue":{"value":"initialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874284$A91B511B-D47E-4949-A58A-B0585311AC78","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":"Q1874284$21D1CBA9-6A47-40E9-9E0D-0879070EAFBE","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":"Q1874284$95154D82-14D4-4489-9099-7BCEDF6DF64D","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":"Q1874284$0B4758F7-A25A-4A36-87C4-F74F6C06AFE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f9ad7602cc5d595ae9bbdf775b25418df2d804","datavalue":{"value":{"entity-type":"item","numeric-id":2763680,"id":"Q2763680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$3F3EAAD1-E65F-42EC-B0CE-29B14EC6B05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf9c74e5474866e8055b46dc283f59e88bb8f91","datavalue":{"value":{"entity-type":"item","numeric-id":4736986,"id":"Q4736986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$4FF30209-54E6-49B9-9269-469C887363D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$806683E1-A159-4774-80DF-D76A304173A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a5b685e8dd1e3529fc57c688335416be78b104","datavalue":{"value":{"entity-type":"item","numeric-id":4551130,"id":"Q4551130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$26E866EF-834D-48B4-A6CF-4A7F14E75657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"457ec7f8d8ad09bea0919e00b524ba7bf9c4a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":4808836,"id":"Q4808836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$FE70FAE7-986D-4073-931F-13F93DAC5D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9affe4da33f5df4bb36b99afc0594a184027a99e","datavalue":{"value":{"entity-type":"item","numeric-id":4222945,"id":"Q4222945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$C3C1F626-0DA4-4E45-B6A6-40D674E22DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e7bd92b6b8e1793c9a322d28f926d29c9e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5178887,"id":"Q5178887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$7881848D-6001-421B-A300-E5D62659C6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$40078E22-1227-442C-BBD2-A6A4B4F74306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d689c6ebe5f4ce66342ea706faf5cd9a7eae98","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$B42C0C03-C3E6-40E4-8EA2-CDF1EE5731ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e11351b325b025afb4cff06a5be0701786c5477","datavalue":{"value":{"entity-type":"item","numeric-id":2752051,"id":"Q2752051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$E600A657-33ED-44C3-8212-DE5FD4DECE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874284$759E93AE-7D4B-4297-9D4D-031BE0B29DCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41797bb3993e5aaf7cc90203c8621b0e47cd7634","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00869-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1874284$D3A1D92A-A7F5-43A6-AD15-9C684FA75147","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"613a08337ce8c6e584c0f36d6c257ac9a70d32d6","datavalue":{"value":"W2675276594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874284$1A2B199E-949B-4D60-B465-C0856DCE64EA","rank":"normal"}],"P1643":[{"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":"b85ffcf5411f79178a1f84a3cde1b1154befa499","datavalue":{"value":{"amount":"+0.9907262325286864","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":"Q1874284$8B3F83F4-6F40-4B7C-B2E0-CB31745054A7","rank":"normal"},{"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":"75093f5aa9aa8eb1c8d45baf32a708c03699b630","datavalue":{"value":{"amount":"+0.8893590569496155","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":"Q1874284$457E8511-A516-47D4-BF3B-1E278CFD8D4F","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":"d84894128bc7621023508e3d2c3fff0f073543da","datavalue":{"value":{"amount":"+0.8615952134132385","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":"Q1874284$50DB1D58-86A9-4BF1-860A-9CBB4DD37D45","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":"250da322a0e00714d7e36dd049f20bd8c694ba23","datavalue":{"value":{"amount":"+0.8506978750228882","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":"Q1874284$0F0D3E85-0087-4931-BE80-E3EBDA09FCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34bc0afdd4fcb94ae7fd47d3cc674f62c5a912c","datavalue":{"value":{"entity-type":"item","numeric-id":1405993,"id":"Q1405993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50872685c23a4180bb248efe8ff0ea70c7da3776","datavalue":{"value":{"amount":"+0.8495654463768005","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":"Q1874284$A117FDBB-0D81-42CF-A4F1-9DAF0DCE03F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified bytecode verifiers.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_bytecode_verifiers."}}}}}