{"entities":{"Q2432233":{"pageid":2442976,"ns":120,"title":"Item:Q2432233","lastrevid":49952311,"modified":"2026-01-12T06:34:42Z","type":"item","id":"Q2432233","labels":{"en":{"language":"en","value":"The verified software repository: a step towards the verifying compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067134"}},"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":"Q2432233$B5D8E839-FDC7-42F4-9729-F107396E75A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c76c5b408bc9d6e90f5a90483b916b166eeae3e3","datavalue":{"value":{"text":"The verified software repository: a step towards the verifying compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2432233$858E4995-0EA5-4A93-AA91-0B36EAB2C88B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c9e37e7df33731239357ebd41859564b855e888","datavalue":{"value":"1103.68452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432233$C5F0A5DE-05CA-4736-87E6-83072FD20998","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e68a352a839ddf5efd0728fd0f8c251cb684af4f","datavalue":{"value":{"entity-type":"item","numeric-id":2432232,"id":"Q2432232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432233$1EE46D2B-8C90-4229-AD6F-B3AF9046033F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432233$D99D188D-985C-4CA8-8980-BC5605BC1CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432233$A3A5ECD6-C36B-4689-98DD-F30816B84081","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432233$7024C826-D223-4FBE-8096-D9A48F3269C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"524490ea1b25be9690e11f6569cdb524b84ba54c","datavalue":{"value":{"time":"+2006-10-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":"Q2432233$CBAD32A2-6A80-49B6-935C-AC787659EFDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7067a51590970a4ca6d07f08bd385101733247d4","datavalue":{"value":"http://purl.org/net/epubs/manifestation/12376156/GC6-paper-20-12-2004.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2432233$6A8CFFFE-2DC5-4942-81F1-C37A522F5B02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432233$761B1027-67E7-49AD-88D0-E820AA654EC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cb5543a35b45bde7134b3b90c03c1c835cb46cb","datavalue":{"value":"5067134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432233$DC3F840E-C6AF-4968-A26A-236CA67525C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0af71c9642a7e065076aa43439cdf2711bc3f623","datavalue":{"value":"grand challenges in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432233$124D069E-E0A7-430D-B527-B7CFD2B186A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432233$9C613CB4-9D03-45C6-80F1-62027319F189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2284745d58a1e39c709f275c7ea6f712b319d53","datavalue":{"value":"verifying compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432233$E905E6EA-989E-47BA-85E3-AF731BA5768F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"127282cd7c24626ba4913e02f82ef416038e00dd","datavalue":{"value":"verified software repository","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432233$4B3AF605-8A95-4460-A153-046D88E6C5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432233$637432AB-BA22-459C-93DA-4FB2F1D156E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2caee3670e666fd6264cc65a2e1cc3b74e14c793","datavalue":{"value":"assertional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432233$11C592DA-D846-44F8-B863-375D04423D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dffc2b5816bbbc9c1c53426339d58fcc9739c7fa","datavalue":{"value":"tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432233$38A4B408-61D0-4109-9773-488E22FE76DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33eafb37194a2f6cc4dccca718f60886d4565f1c","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432233$95D5E029-88C6-41EE-9C6C-33403BAEC4DA","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":"Q2432233$EE98FCEA-B277-4DE3-9EAC-264A573E87A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432233$B56C3B9A-23B0-46B2-8AD1-F8256CE2EB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432233$5ABDB034-AE3D-4515-8A0E-4C3666D42222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"272b1a9e09e3e0c648f0668682ab92d2e1d0ba63","datavalue":{"value":{"entity-type":"item","numeric-id":22226,"id":"Q22226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432233$E2752352-230B-439A-BDE5-BFD5B59FD08E","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":"Q2432233$345D23A6-B9A3-44BD-8684-691897C1D0D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baebf5371901f120cbb2c1b4e1740b8ff732d1c8","datavalue":{"value":"W2163743319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432233$D97ADBFA-64BD-4C6C-81C2-46EBBA5428DB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d0eec8766d05319028c068edd591b16d2c2894bc","datavalue":{"value":"Q123197485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432233$8EE38561-1466-407E-8CAE-7008A07C4341","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f174305fa7fc97ecc33934aa71a783fa7edf8bd2","datavalue":{"value":"10.1007/S00165-005-0079-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432233$7D9842E9-9A22-4BAA-9951-BEFFC53FDD88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e731b1ab1d24a7e831d6e96e139492400c47f7","datavalue":{"value":{"entity-type":"item","numeric-id":5711511,"id":"Q5711511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9a725179a6a494cc7a2382fd23b7b8e5191673","datavalue":{"value":{"amount":"+0.758097231388092","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":"Q2432233$C4BBE250-DD2D-4E5C-A93B-241CC6FCCEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68eac9af76447b305b35b7b74fc1a0677e3894da","datavalue":{"value":{"entity-type":"item","numeric-id":1004296,"id":"Q1004296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007c34bc76e4b2bb8965e287ba1275070108d360","datavalue":{"value":{"amount":"+0.7498462200164795","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":"Q2432233$32B6764C-5CC6-43FE-93D0-E8D6D5ABFDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e5511c15d878b2757b1c0d41fa1af2be59fd32","datavalue":{"value":{"entity-type":"item","numeric-id":4417801,"id":"Q4417801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014cfb0497179e8c7649efb40b50c76b94c9b7cb","datavalue":{"value":{"amount":"+0.7468176484107971","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":"Q2432233$573758AE-4DD8-42A6-9046-5A1384A3ABBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b247565fd34f906c1708cfd2fb10fd7373feaef8","datavalue":{"value":{"entity-type":"item","numeric-id":5408525,"id":"Q5408525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bac21e3d8daf05e1bdb8b74ee3e211380e6bb6","datavalue":{"value":{"amount":"+0.742392361164093","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":"Q2432233$E0B89B79-6B90-4C09-B167-015203DA7C2B","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":"965a453d8755751e890ae5b6adc39badf8767afb","datavalue":{"value":{"amount":"+0.7370500564575195","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":"Q2432233$FC9B8787-5400-4E90-9B62-FF442B2E7A94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2432233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2432233"}}}}}