{"entities":{"Q2856633":{"pageid":2867353,"ns":120,"title":"Item:Q2856633","lastrevid":51855434,"modified":"2026-01-20T09:43:16Z","type":"item","id":"Q2856633","labels":{"en":{"language":"en","value":"Extended Curry-Howard terms for second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220967"}},"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":"Q2856633$86726126-AF3E-4AFF-A3E7-CA4BB3C642E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66115c92cd3dceeacfdd61f29693bb4c2ed9ccf5","datavalue":{"value":{"text":"Extended Curry-Howard terms for second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856633$8D5C6F10-5B7F-4C5F-9A35-CF487BB48CBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48cd3ede2c0afe33895fb6ba39860226a889f865","datavalue":{"value":"1323.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856633$BB2DEBA4-F7D5-45CA-9207-26B0E0511FBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff92353fb34e95f211754f35aa330860b987a356","datavalue":{"value":{"entity-type":"item","numeric-id":740208,"id":"Q740208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856633$D29C9B65-C069-45B7-A12B-0E239BBFDDD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45da5aadb8800ba43f09f9cebbbe7dc2b44f0a61","datavalue":{"value":{"time":"+2013-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2856633$8F00A526-81CC-4896-B566-8C46C97B5C66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856633$B87E7E1A-E0E3-4CFF-B26E-36EDFE0FA01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856633$94F1EC8E-2E5C-41D3-B77D-93A3A3D0824E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856633$CA722257-880F-40EB-AFCD-EA95438B1F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856633$3104B5B0-02D8-4014-9DE8-85A76409B3D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb2cf201035dd3b712b4867ad09e7c117eca53ea","datavalue":{"value":"6220967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856633$017A61D4-B4CA-4CEC-B162-734CE511FABF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feac4878036376652fb2850261e6224d2a3b5ec1","datavalue":{"value":"Curry-Howard terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856633$EB1B0C0C-4A55-434D-9D09-ACF38C529AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6154a6f64b47d2876885db73e542c63aea87f09","datavalue":{"value":"extracting programs from proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856633$2E0790EB-0476-4477-AC44-D19AC251C2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856633$C68B35BE-CFC5-4361-A849-E99E0FA23D33","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":"Q2856633$96B92AD6-DAC3-4B9B-B05F-3CBCCFC0F3AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31e2152edca92f30d3d0ce3eabe84704a38dbfd9","datavalue":{"value":"https://doi.org/10.1002/malq.201100102","type":"string"},"datatype":"url"},"type":"statement","id":"Q2856633$CD3028AE-F235-4FC8-AFED-05D015B5EBAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a8a0b4bdd4ae8f763eeff08965f22d65b853ac5","datavalue":{"value":"W1552157091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856633$15E4271F-98E5-471D-9FA1-D77313C04585","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd20a7ccbe3607dc376a992d42d1ce47cd844da","datavalue":{"value":{"entity-type":"item","numeric-id":4764104,"id":"Q4764104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856633$2676921A-7AAD-4055-B7CA-AB3E353D0C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856633$44EDD490-B9F8-4104-8539-7181F527BBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341cf25e1331e9c3d9b625066b41f81f88fc1449","datavalue":{"value":{"entity-type":"item","numeric-id":5549033,"id":"Q5549033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856633$0B109552-876B-4E2B-9CA1-5E10E3F76928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"306c752b8a29469058e7da4e82d5171bd2beabe6","datavalue":{"value":{"entity-type":"item","numeric-id":1769440,"id":"Q1769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856633$8FA16F01-CFE5-49D0-960C-519C621DF300","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc71fa04e7a6bf9dd20e34af2292fc7833301e0b","datavalue":{"value":"10.1002/MALQ.201100102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856633$7B435E9B-7637-4763-8F2C-95219F5B44FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856633$A98DDC82-65E1-4D36-8341-1F7462B08521","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab8f2efce65f1bb0e13fc4caa073a89436edf6c","datavalue":{"value":{"entity-type":"item","numeric-id":1769440,"id":"Q1769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b57ba94723b0e0a3763420cad04a9b06b7ae4aa","datavalue":{"value":{"amount":"+0.810110330581665","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":"Q2856633$7FBBD081-A137-40F0-A020-A98902BF35ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b681b8f19e2d8c6c9e63744dd97ab3461df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":4764104,"id":"Q4764104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37cadb498b5b334e986bc458688cf47877c342b","datavalue":{"value":{"amount":"+0.7848958373069763","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":"Q2856633$B0157BA3-145E-4DD7-826D-A7CFDFDEF7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf2ef07dca3fc74019619692eb83bc0b769fc4c","datavalue":{"value":{"entity-type":"item","numeric-id":1580654,"id":"Q1580654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530a110a3c4f8cfbecc922f9d959f45237f66c4b","datavalue":{"value":{"amount":"+0.7565611004829407","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":"Q2856633$433C56EC-3289-447B-B44D-B03D23B3B6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3bdcf3fe87e8516fe8faad0d62d4e49d8f951ae","datavalue":{"value":{"entity-type":"item","numeric-id":851527,"id":"Q851527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab224ece36c3a48be0586e14d051cec0fda00e2","datavalue":{"value":{"amount":"+0.7458098530769348","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":"Q2856633$33F948D5-D84C-46A0-B223-5D3ED9C31DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"078d3620720a75c061dfe9e7f360309a56f22e98","datavalue":{"value":{"entity-type":"item","numeric-id":1390952,"id":"Q1390952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2df52dcda93cdc2040011aadf3291112d7ad1869","datavalue":{"value":{"amount":"+0.7453158497810364","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":"Q2856633$44A12455-20DD-42B4-8590-A8031320ACFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2856633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2856633"}}}}}