{"entities":{"Q1405993":{"pageid":1416733,"ns":120,"title":"Item:Q1405993","lastrevid":68630208,"modified":"2026-04-13T01:03:04Z","type":"item","id":"Q1405993","labels":{"en":{"language":"en","value":"Verified bytecode subroutines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1977868"}},"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":"Q1405993$B632F868-CB1D-4BBC-A29A-7D560D5F19DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"647ffe3103489babc113bf721256739a7f5245dc","datavalue":{"value":{"text":"Verified bytecode subroutines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1405993$FF8DD369-CAD7-4F99-A12F-C7F08FE8C206","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a77edc34e349f0ce6127a96752590b80f84902a","datavalue":{"value":"1031.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405993$D0AF9D95-BB93-425F-871C-1AD2324FDB0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb7bc9c435c7b5a8ce95acbb48e1e1eb5aa07564","datavalue":{"value":"10.1023/A:1025095122199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405993$F8B9376F-F98C-4E53-90E1-EEAF98C47827","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67b896c10f3227ea4049c79b99f5dbeb9cfe4fff","datavalue":{"value":{"entity-type":"item","numeric-id":1405992,"id":"Q1405992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405993$69E44BA2-6F91-42DB-AB1E-51FE129C4E0C","rank":"normal"},{"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":"Q1405993$761AC822-81D1-4CD8-A630-68BA4BE37FBA","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":"Q1405993$ACCB7DB2-C74F-4519-B3ED-65EF42644E76","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":"Q1405993$1319CED3-BC46-4686-9C3A-E27174AF4DEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405993$6A963E94-F127-4403-82CE-02A4F64AFEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405993$A8409667-1B2D-4DF3-82D0-1042A80823E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"444d250b50e3acbc57c5288e340391a639be057b","datavalue":{"value":"1977868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405993$EF0D5DB1-7310-45D5-88AC-23EC6D49378F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405993$9664D035-C533-45CF-965D-693F0E5CD54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2142f7b8ed09bf741df0b2311d5ef509818c0660","datavalue":{"value":"bytecode verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405993$C215025D-FDEC-4F18-AB6B-1EB9FE383574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816757b85adf8cf40b28662b4203cf83fd576dd5","datavalue":{"value":"subroutines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405993$A384333D-819A-4BDE-B50F-184B0AFBBA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405993$402071B8-5CDB-4092-B7AC-A47FC9149A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268f18e8564f6b5efc42a270395a1675187b18de","datavalue":{"value":"dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405993$EB535996-F2B2-4474-8EE8-8C08D79873D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405993$E0509A18-EE58-48C9-AA05-3A937BA1478F","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":"Q1405993$56C44ED2-E7BD-4365-A6F8-590C8439E0ED","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":"Q1405993$54E06A2C-20C6-4E6A-A151-A895AA90C384","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":"Q1405993$239F18F0-573A-49EE-A182-691DFFE4E134","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eea2df03c29e4a6845893b4d3c3d43320de01104","datavalue":{"value":"https://doi.org/10.1023/a:1025095122199","type":"string"},"datatype":"url"},"type":"statement","id":"Q1405993$CA0D468A-E91B-4566-AFFA-E763241C1F69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d4414498b0ea65008c1aaf5d2b16833fad179e4","datavalue":{"value":"W1696656935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405993$84BF7CA7-5882-4401-8F94-13D0DABF88A4","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":"7ab377125dcec998da63902bb7a86af186f6d2fc","datavalue":{"value":{"amount":"+0.8585849404335022","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":"Q1405993$7714B015-78C5-4F0D-B6E9-5B4F7F927F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb36254aca9ce96e4bf6f89f2ebcd90cb9cd50c","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"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":"Q1405993$A4B30BB6-2E9D-406A-86C4-9DF14162798D","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":"0d33bb115c7396274051a5dc44c69c1e7dc96b9d","datavalue":{"value":{"amount":"+0.8199658989906311","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":"Q1405993$A57B02D9-7736-4F93-8DF0-F8FC15CBF8A4","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":"341c489183436ec7ac62fe9046ec03bdd3795d34","datavalue":{"value":{"amount":"+0.8158124685287476","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":"Q1405993$99A9AB05-86F3-4B42-BF2D-0C1A8BB9B266","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":"88b7312c8e8a7853c94c1a932cf780072aa0b8ec","datavalue":{"value":{"amount":"+0.8029525279998779","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":"Q1405993$7D61D50E-0094-4FBF-83E6-235A7F166068","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified bytecode subroutines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_bytecode_subroutines"}}}}}