{"entities":{"Q5014064":{"pageid":7043641,"ns":120,"title":"Item:Q5014064","lastrevid":58397859,"modified":"2026-04-05T01:14:59Z","type":"item","id":"Q5014064","labels":{"en":{"language":"en","value":"The Russell-Prawitz embedding and the atomization of universal instantiation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438998"}},"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":"Q5014064$FD461177-51EE-43E7-9D18-4E33C3A6D71F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8d315dd1bfbc182e9bd47e384d7fb24f00d04bb","datavalue":{"value":{"text":"The Russell-Prawitz embedding and the atomization of universal instantiation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5014064$6B314CFF-9A8F-493D-819A-1E5F923B0E90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0907579e9e61c6a39c670890bedeaaa1a0a1d912","datavalue":{"value":"1494.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014064$77BBE2F9-A875-4E19-A071-903B957022AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014064$4456B3FF-3C75-4374-BF96-822956FA0A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014064$DEE99059-FE39-4355-AB5E-E6B38A038AB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014064$C61999F7-B98F-46D1-8904-E226AEE2EBC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-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":"Q5014064$EAABB949-F944-49E5-8E87-34C8B9D69ADF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a43e4c12739937e23f6573c8cf3fc8843b0ba345","datavalue":{"value":"https://arxiv.org/abs/1909.01232","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014064$ADB899A5-D287-44FD-AC50-3115BAA4ABCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014064$ED4A0CB2-59C4-494F-9F49-29F0F60BADF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014064$6687DEDF-96C3-4007-AB96-D5954CE5EC9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f9f7effaf1abd85d19738754183653914214f39","datavalue":{"value":"7438998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014064$4DDA0C24-CDDD-453D-93FC-0B83C6828494","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014064$5FB8F831-09D1-47B6-917F-C7AD7CBDA03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826cb17a61389397478ca005848e294acb35a0eb","datavalue":{"value":"system F","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014064$E807347B-1959-4795-BF8D-E8C7D7F8808E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff9a42c2d448578cdcaf1a17884eaffa4fdfe49","datavalue":{"value":"predicative polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014064$2CCA2DBE-F9B7-4C1C-850B-080B62558EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948f830c33b20e6887f3730f3cd5a3c96f91b9fc","datavalue":{"value":"Russell-Prawitz translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014064$F0123046-D7F2-42FD-97B4-CD2C2BEA04C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcab9163f53d6e5a171b7b1c65e7d87f375401bc","datavalue":{"value":"proof reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014064$055A4864-8D0B-45AE-9608-0F490065D733","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":"Q5014064$4BD35BE5-6A5D-4174-9FAC-63E74E596417","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aff03a93a1d5cc3ba3df09431ca65789aa790fa7","datavalue":{"value":"W3046138748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014064$51F1BA4A-AAB6-401B-A3EE-0111AAF8E1E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b119fe9d7ec285332461fcebff3065eafae95e0e","datavalue":{"value":"10.1093/JIGPAL/JZAA025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014064$D9458810-0B0E-4DE6-8C7F-9C2615E4B9B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb234f7ca7d1e070263eb9800aec279648345a5","datavalue":{"value":{"entity-type":"item","numeric-id":2186692,"id":"Q2186692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3826a8d19bd9cd0e543a2dd7df17839154c7a97a","datavalue":{"value":{"amount":"+0.8113070130348206","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":"Q5014064$5B6D8A9D-5ABD-405E-86A6-E40FF147114F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c8868ce9ea385ab16d856ab9e263fb8266b792","datavalue":{"value":{"entity-type":"item","numeric-id":4789042,"id":"Q4789042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efc4018e7e95fdc17997f8401eecd74334d6354","datavalue":{"value":{"amount":"+0.7710896730422974","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":"Q5014064$126D004D-970A-4D20-B06B-078D2B33EF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afde209622b91024c7baa2b68f142d4a557d278","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83693f21ad21e1428e498e1046d6215ed06da8e0","datavalue":{"value":{"amount":"+0.7384803891181946","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":"Q5014064$6F44416B-86F5-47EC-B6C4-E16A44164218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e2272ff914c60a7165e491e5adf7f7ae297c0a","datavalue":{"value":{"entity-type":"item","numeric-id":897484,"id":"Q897484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f4474276f6258139391926f587e97338a534df","datavalue":{"value":{"amount":"+0.7246500849723816","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":"Q5014064$3BADF9FE-8EF0-43A7-B426-522FB7695EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef442f081c9fc360f125e03e3ac575e7b4fbe05","datavalue":{"value":{"entity-type":"item","numeric-id":2957669,"id":"Q2957669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5893abf9a9ad2dd51feebefbfe7d38b031e1d2d4","datavalue":{"value":{"amount":"+0.719374418258667","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":"Q5014064$7B1677D0-6B2D-40AC-B60F-03E036CBDF78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014064"}}}}}