{"entities":{"Q418158":{"pageid":419925,"ns":120,"title":"Item:Q418158","lastrevid":61693689,"modified":"2026-04-11T01:01:12Z","type":"item","id":"Q418158","labels":{"en":{"language":"en","value":"Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038302"}},"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":"Q418158$9768DC0C-5F1A-4F56-92B9-BA11A37EB507","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c324c238326e57be4fc69c705d36903e8906258","datavalue":{"value":{"text":"Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418158$6329363B-C9FF-4D33-89B5-1E9EE03C87DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6704b3a9b8fd1fbb4764f06c5454db1743a09b04","datavalue":{"value":"1238.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418158$DCCCF81F-D2D4-419B-89DE-4F1A954C0851","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc6cf44de11537031ff6047ee76a9f316eeff3b","datavalue":{"value":{"entity-type":"item","numeric-id":418157,"id":"Q418157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418158$D57B4898-E66E-46CC-8EC4-1956D5D09C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57da05f7a2528db77ce79579650b12005cc558","datavalue":{"value":{"entity-type":"item","numeric-id":1744403,"id":"Q1744403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418158$09A8901B-B5F9-4A5C-A76D-FA37A02155A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418158$59DDA940-EAE4-493D-8F8C-35AFFADC3929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd357d987d60d499edfc98e682fe931160623b6","datavalue":{"value":{"time":"+2012-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418158$3D15598B-541D-49FA-8224-F4AF4C950348","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418158$D92CFB73-7F1D-42F2-92AC-3A843B416990","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b8e94030f0c5e46b43b75248ad1b68b5ef41a93","datavalue":{"value":"6038302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418158$3DED01D4-011C-4EF1-81AD-C7814C465AB2","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":"Q418158$CB4A2E26-730D-47FE-9031-16587392F1A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7822cb9110bca1bc0cff375b9e1d7c697f335b5b","datavalue":{"value":"https://doi.org/10.1016/j.ic.2012.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q418158$BA30EBD4-CD22-48FD-B6E8-BEF9D610E89F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38df1b3844b3da9ebbaabbee3f71ea4339292215","datavalue":{"value":"W2072722957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418158$93BEEAF6-6D54-496A-96FD-7016C8D03338","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1485db05ab95e27719d3a55a67ea605e27f9d5eb","datavalue":{"value":"10.1016/J.IC.2012.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418158$B1EC8192-B6A3-4397-91D0-A81E315EABF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6bf3b393422388e723cce3d7daad5517c3322f","datavalue":{"value":{"entity-type":"item","numeric-id":964000,"id":"Q964000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48df19a799332f2247a1f8ee163471010bac8c95","datavalue":{"value":{"amount":"+0.936593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q418158$ECD86592-DD6C-4519-BB01-FE07C03BB823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccfdb16d787fa028d87c43187a0588fec07e7e0","datavalue":{"value":{"entity-type":"item","numeric-id":2118982,"id":"Q2118982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062320a2a6ad30fc24dc5853ccd6908fdf082b87","datavalue":{"value":{"amount":"+0.8674805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q418158$786F21A1-B2FA-4FD0-ABFF-80DB4BD118D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7168d0e438a80888de0bc6169b0acc0c92278ada","datavalue":{"value":{"entity-type":"item","numeric-id":4890395,"id":"Q4890395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f729c82bb0a13096e6d0c1f9641b5bb81ee1890","datavalue":{"value":{"amount":"+0.8655429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q418158$2496945A-F870-4FE7-ACC8-FFAD2B741147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78198f94043ac42cfa37d0c8e4fa17504c01c4a3","datavalue":{"value":{"entity-type":"item","numeric-id":509612,"id":"Q509612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6c4c3c8b138e50b71a7c962f300f177832386f","datavalue":{"value":{"amount":"+0.8618368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q418158$BE59CFA8-33FB-446D-B978-630CE69F7AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeaed2800cfe98af7711a896f2705a9c5f48fa3b","datavalue":{"value":{"entity-type":"item","numeric-id":4647120,"id":"Q4647120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e241adb134b4dd6363d2d05c791bcf6ede21fb14","datavalue":{"value":{"amount":"+0.8584398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q418158$3DA8DE27-CFBF-4ACC-8567-4F11A02900A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7484c043aa33b04a8939aaeab33247f5e04097","datavalue":{"value":{"entity-type":"item","numeric-id":4458706,"id":"Q4458706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ec76a2944e5700be98297b15404def5401e038","datavalue":{"value":{"amount":"+0.8535469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q418158$A17D37FF-41C5-4D7D-8B5C-4D9AE11E7681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f9a26e251b84fff0a71d7cd3f9392920ba7ef0","datavalue":{"value":{"entity-type":"item","numeric-id":6083023,"id":"Q6083023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb1cb9fe09ff40fd3eb7a8f2b84aa1b6cb5e991","datavalue":{"value":{"amount":"+0.8509046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q418158$6B0EAB86-B682-4B07-ABAA-71A1DE561926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"398c42214b50e5803e642110332503a7f32c8f1b","datavalue":{"value":{"entity-type":"item","numeric-id":904154,"id":"Q904154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac2412e2fdb06f02ce3e3c0462f6ca44f4a2b83","datavalue":{"value":{"amount":"+0.8499555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q418158$0CDDCA27-BA79-4699-B1D2-C5309615C674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02687a39fabe33d90ffb01838f9804095780bc61","datavalue":{"value":{"entity-type":"item","numeric-id":1821769,"id":"Q1821769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69716cec3480ad16a2ad2b6d178cfb941fe4afc3","datavalue":{"value":{"amount":"+0.84915525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q418158$BFBD5997-399A-41C3-BD7D-EF13CF852418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47140620a3a7d1343da245a058b23847a3b4387","datavalue":{"value":{"entity-type":"item","numeric-id":2893327,"id":"Q2893327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3442689cb95eca1599cd479555beb51060e536dd","datavalue":{"value":{"amount":"+0.84640837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q418158$E4900672-6721-40D4-BBB6-8991560F4C9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Corrigendum_to_%60%60Curry-Howard_for_incomplete_first-order_logic_derivations_using_one-and-a-half_level_terms%27%27"}}}}}