{"entities":{"Q3455070":{"pageid":5234470,"ns":120,"title":"Item:Q3455070","lastrevid":52406807,"modified":"2026-01-22T14:09:25Z","type":"item","id":"Q3455070","labels":{"en":{"language":"en","value":"Certifying supercompilation for Martin-L\u00f6f's type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515886"}},"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":"Q3455070$D9CC614A-69F7-46A4-9FF5-828B6748B947","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"daee31c76559815c9b1f771b1a3b652fa6d9970e","datavalue":{"value":{"text":"Certifying Supercompilation for Martin-L\u00f6f\u2019s Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455070$671AF6BA-1D4C-4229-BC5C-D0C17E0E155C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bb8f5c43f0a48a1cce2970d44b34ba62c7f57fe","datavalue":{"value":"1434.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455070$E04636FC-A6C1-49BC-AC43-A86302E9641C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4a6618441b96d6c1093fda59bd209ea44df6443","datavalue":{"value":"10.1007/978-3-662-46823-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455070$196D2BB0-B843-4EC6-BF8E-80174B5F5282","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d7c10756a1eedfe3f6da2c0e3f619e83b50a4d4","datavalue":{"value":{"entity-type":"item","numeric-id":3455069,"id":"Q3455069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$987DFE01-74A1-4EC7-9361-4E5587D3F721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d82be0e19edcf14a23f968da3c01d10aa666d2","datavalue":{"value":{"entity-type":"item","numeric-id":300347,"id":"Q300347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$E579AF12-172F-49BA-9D96-75477C1CEE81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$A1E8C2B0-0461-4F1C-ABCA-C66F52EED1D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455070$000B77D3-90A0-4A5F-A5D0-0CECB0A0EC5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455070$648762FE-1E50-4678-BD9A-297783AD5A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455070$BFBFB1B3-BB9C-4DD4-BA3C-731F24F05E26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7dce905f86d51439e828fc994d8c42113fbe84b","datavalue":{"value":"6515886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455070$CBBC689F-DD74-4A22-8114-645A2B6C1159","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":"Q3455070$405CBC11-933F-4E6E-A539-D3E0E5F97DC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be78b6fee66f2479ab4aca92b058287dd277a90c","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46823-4_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455070$B617B085-A912-46D1-B91B-EC0F76CE6F79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4cc7b9a5d792ca48960ebd1a08cf6055f5dacbe","datavalue":{"value":"W824467797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455070$5E431524-4CB1-4E4D-A031-A75791626EC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5700bddd5b497615cb8c41e6f2bbf5fb3735905","datavalue":{"value":{"entity-type":"item","numeric-id":4339016,"id":"Q4339016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$0749C691-FE39-41D6-98F2-BBB962F663FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$1FD3B715-6ACD-46EA-B612-1CE1433B28E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87f3fa34a5f70644bfed872e89f2e2f311b4a8a","datavalue":{"value":{"entity-type":"item","numeric-id":2371554,"id":"Q2371554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$7F5F6ADE-5D40-4B54-A2C8-386CD6988A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0834c6a82a92f8301a49a5eea7619039e9e139db","datavalue":{"value":{"entity-type":"item","numeric-id":1758721,"id":"Q1758721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$86F792E6-257C-433D-BF7A-9F498D2F4E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$C5875D0F-CF35-487C-BF11-6492F7ED3351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$718B114C-48E0-4994-B5E9-46BBEDB6B1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba85b98e8e346ac6a87314074cf35bf1d70516f","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$74595696-AD60-4934-BACB-830E59C708B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f881888043ac0e9ecc9e40d0e4e4f2c5675c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3002481,"id":"Q3002481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$EDEFBD5A-7961-4E05-8598-8EE640321543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77fd675a9bb858d24a0d9a2c89820e414795f4","datavalue":{"value":{"entity-type":"item","numeric-id":4511266,"id":"Q4511266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455070$29FDE251-5B88-4C92-A629-BE8A433ABF9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3738ad97587e0a80354753de21fac4c4ae01b2e6","datavalue":{"value":{"entity-type":"item","numeric-id":300348,"id":"Q300348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0adc6961786b2af471d1196abfb0a443ad1ffe39","datavalue":{"value":{"amount":"+0.969133198261261","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":"Q3455070$8A1781B9-E935-4DF3-A05A-3078C9259705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fded6805e2568fc0b3de393bd40f292890af5d9b","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c10a361a05c2601f4c59e6474048d55ae1a126","datavalue":{"value":{"amount":"+0.7467094659805298","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":"Q3455070$8654F904-3481-448F-9B9F-7B2548BBB7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2825bfa32d5f46b7e1e58bc1d8b777bb73382ab","datavalue":{"value":{"entity-type":"item","numeric-id":4428314,"id":"Q4428314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e1007869719e47f4fbe8595027a09dd2d9ad67","datavalue":{"value":{"amount":"+0.7398166656494141","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":"Q3455070$CED69879-1691-4575-9718-AD8BB31F68E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ad3bcac2eb462823232de5b8fdf66bee894219","datavalue":{"value":{"entity-type":"item","numeric-id":633302,"id":"Q633302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fefaccca9231d849b8bb558614fc5f730d78ffb","datavalue":{"value":{"amount":"+0.7301849126815796","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":"Q3455070$CCA3E499-5954-4407-AA2F-5954142B7D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8e8313287fd2f45b88eb76a392defdb2dcad27","datavalue":{"value":{"entity-type":"item","numeric-id":3713574,"id":"Q3713574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba284042d23240c67a01dcae5601387dfd6320e","datavalue":{"value":{"amount":"+0.720363199710846","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":"Q3455070$5A254746-0803-44E9-A76F-41A642DF3A11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455070"}}}}}