{"entities":{"Q5301852":{"pageid":7331426,"ns":120,"title":"Item:Q5301852","lastrevid":96004475,"modified":"2026-06-05T10:12:31Z","type":"item","id":"Q5301852","labels":{"en":{"language":"en","value":"Panellist position statement: some industrial experience with program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5494546"}},"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":"Q5301852$383B3798-EBE3-4767-8194-6395B0EEBD02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8328b7a66b32f34d774e88fc1ff4b90a3ebc58c6","datavalue":{"value":{"text":"Panellist position statement: some industrial experience with program verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5301852$3B45E205-2E86-4147-94DD-F36463E7AE32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62a2f298ef13dce5f9293d24ac43a1b966581c43","datavalue":{"value":"1152.68465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301852$2D1DF34F-90BE-49BE-B08B-3DE381D0F52F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a37a774c5c70c22552cc743f0b52f8ea2fce7658","datavalue":{"value":{"entity-type":"item","numeric-id":861712,"id":"Q861712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301852$4E3CE884-2179-4332-9940-6DF42DCC8E57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a13ffa206096651a7eda5901a1abc51007a10be2","datavalue":{"value":{"entity-type":"item","numeric-id":144519,"id":"Q144519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301852$5C6E7CBC-5421-4EA8-86A2-9911C7057CF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b2bc7aa69b4c70169eb342174f791402649e1a","datavalue":{"value":{"time":"+2009-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5301852$54C963CD-4A58-4320-95FA-C7404FFF3031","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301852$08AC15C5-91A0-4146-894E-D21720D4E47D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1dcddffe2c86f237ccd9b8bf4c373afeec689b5","datavalue":{"value":"5494546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301852$AB0FBB38-6B82-43C5-BB4E-8E58C6BC1A4F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301852$D2A5C9EA-390C-4EDF-B962-7A3BA66C3684","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":"Q5301852$BBAD5909-01CC-479F-B8D3-C5B995D516B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0212f9368d1746d4ac938e43849cd9509168796b","datavalue":{"value":"https://doi.org/10.1098/rsta.2005.1652","type":"string"},"datatype":"url"},"type":"statement","id":"Q5301852$917E3B31-50E2-41A5-B1B7-39EEDE41EE0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d3892a941ee73ad8bf102f46eea912e75012872","datavalue":{"value":"W2109552587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301852$1E9DA66D-18D9-49B8-9729-16C770E607A8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"60f9a3b977cf5e16873d10d311ef7341177d1a8d","datavalue":{"value":"Q81271128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301852$0BB0A71E-5F02-4654-96E7-35D0DBC2C267","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2066579596d2223983af2c6732c565d9ce9f0839","datavalue":{"value":"10.1098/RSTA.2005.1652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301852$1F4DB04E-161C-4F0F-A29C-3E6E80AC2CDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de17242b6a04abbc9f8b90f4ff3defe12df6a72e","datavalue":{"value":{"entity-type":"item","numeric-id":2783112,"id":"Q2783112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6e7d52f921c6b8d2285b9bda7484b76b947a27","datavalue":{"value":{"amount":"+0.8039228","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":"Q5301852$8437E245-7403-4937-B23A-37C1A0E8D953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf29e23f53d7c7abc497b6fe67277d16bdb4687","datavalue":{"value":{"entity-type":"item","numeric-id":3000569,"id":"Q3000569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150efbff8861f722c9f4cae873916baf833b65f4","datavalue":{"value":{"amount":"+0.7475561","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":"Q5301852$32582258-1427-43AE-A181-D7CE1CF1F60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5ed0e52b5d82a647f7ba2a77d50bf2d7fc5b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4286789,"id":"Q4286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398f3963435b2ead1cb142a4a0bf129e9c8d2eca","datavalue":{"value":{"amount":"+0.7451521","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":"Q5301852$C3E5FF27-73C0-4A56-A9CD-8E4D5E8FC363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6fa5b219cd9dbff8327c5381cd0da670c7baff","datavalue":{"value":{"entity-type":"item","numeric-id":2075784,"id":"Q2075784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57ed2c57422e54d56b927343457f304f0e36e0b","datavalue":{"value":{"amount":"+0.745039","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":"Q5301852$1852B991-7F15-4481-9292-ED798C6C938D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Panellist position statement: some industrial experience with program verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Panellist_position_statement:_some_industrial_experience_with_program_verification"}}}}}