{"entities":{"Q4883280":{"pageid":6912859,"ns":120,"title":"Item:Q4883280","lastrevid":46437936,"modified":"2025-12-24T19:10:44Z","type":"item","id":"Q4883280","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 895269"}},"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":"Q4883280$DC50EC1B-F2F4-4E62-802B-3FFE3782E3BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"084b09d5a56a8d62d6def013fce34f05a46063f5","datavalue":{"value":"0848.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883280$F1B50C65-5AFE-454E-AA19-FBA644ED24A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4883280$9184D95D-F034-46BD-BAFA-C47A28B0720E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3795412637b3de2331b3ff6904fdddc88e823af","datavalue":{"value":{"time":"+1996-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4883280$FCF60C77-A3CA-4BEC-B7BE-FADFC5B51854","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883280$4D254C1A-C921-4FFE-A426-AC38389832AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883280$4738071B-8A69-4045-AB51-39B3770BA6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883280$50285327-0296-4053-B1DD-3E76D8F50770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883280$F57CA72E-802F-4F2C-B527-7D70CB0AF629","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0326c490336251ec064215ffcb377592acd9f17c","datavalue":{"value":"895269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883280$209737FF-0FE0-4DC8-A59C-75300AD5EDC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a57cdb981c9e2091800858e3db65130275dffa6","datavalue":{"value":"computational content of a proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883280$67042BCA-9E52-474E-A7D4-95C648FC128A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ce570d335d14ea20e1cf7a95c3d939cff0f1d34","datavalue":{"value":"negative realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883280$E03A6953-8004-4E7B-B71A-014FE6D25FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e5c1d09bd2d372c9ca45f05810bdcf5a728927e","datavalue":{"value":"functional program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883280$E57AD8AD-67EA-47AB-BBDD-4528E559DF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60b084977723a87404f4616c40bb8fa0b3e69d36","datavalue":{"value":"extracting programs from proofs in classical arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883280$44F9BA7D-57BE-4A67-8F8F-8ED3B721F8B6","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":"Q4883280$9D705D09-FC80-4F19-A5C2-7F1AB6DF02FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd717f4b364c057469372f99f8840236b942a9db","datavalue":{"value":{"entity-type":"item","numeric-id":5957850,"id":"Q5957850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068119d1a59db5d22e58b1b4e32e87c9310cdefe","datavalue":{"value":{"amount":"+0.8642767071723938","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":"Q4883280$2AB51540-19C4-4D49-A4EC-CA1A9DE99C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c64f6636386f48a39eb167327ecb52b30231284","datavalue":{"value":{"entity-type":"item","numeric-id":2752052,"id":"Q2752052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e2cf0dffdcd26131d6513d46364d94da609e04","datavalue":{"value":{"amount":"+0.8547223210334778","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":"Q4883280$D564B895-46EA-4CFA-9680-960EEE60AE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0037b042d10908455dbd830bb139aacf188ace7","datavalue":{"value":{"entity-type":"item","numeric-id":2482844,"id":"Q2482844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79f6bce050b9ba0463afe729ba7b901117e9edb","datavalue":{"value":{"amount":"+0.8539035320281982","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":"Q4883280$87F3A8EB-BED1-44B9-B1B4-F2025C1D4088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76beca1e87233711001bf84c18fa7740126cc524","datavalue":{"value":{"entity-type":"item","numeric-id":3637195,"id":"Q3637195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef752fac59d6bced3b330ca1016ec87d42915bb","datavalue":{"value":{"amount":"+0.8438901305198669","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":"Q4883280$F61FCDD1-0A6B-4631-A45B-E4D214606406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d21890c1496138948b96dc35d29ed108a275c","datavalue":{"value":{"entity-type":"item","numeric-id":2852367,"id":"Q2852367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3886d7b3d703cfe828e14e4eccad003aedbe630e","datavalue":{"value":{"amount":"+0.8384025692939758","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":"Q4883280$3164E8E2-6D15-4B3F-A700-09CB053E185F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4883280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4883280"}}}}}