{"entities":{"Q1709711":{"pageid":1720452,"ns":120,"title":"Item:Q1709711","lastrevid":53056157,"modified":"2026-01-24T03:27:37Z","type":"item","id":"Q1709711","labels":{"en":{"language":"en","value":"A natural proof system for Herbrand's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856652"}},"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":"Q1709711$78B947B3-CB87-4376-8A62-23B123A8355A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9cea4a4b4c344d090afc56a7404dbdd803e4858","datavalue":{"value":{"text":"A natural proof system for Herbrand's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709711$1BDDB507-BD1D-4B29-B55B-C61BBE4C9E81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"531db50edb13d4ba70f9ad70d8417397ef9b5561","datavalue":{"value":"1503.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709711$8199C786-8484-4AA9-B3E2-16A9DB7503BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"375cb98858150df079b6ab6bd7b7797ecdaa5991","datavalue":{"value":"10.1007/978-3-319-72056-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709711$50A16388-29E2-438F-9D14-CD5EBC7937A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7596d272164b7dca564ebd74a22ecc2d2c075c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1709710,"id":"Q1709710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709711$ECDE7B31-030C-44E4-A2FB-4A9D3C738409","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709711$17BE6143-F5B3-4D8E-9BF1-B69389750F31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709711$2F7E0B49-2F94-463D-8078-50D0B56C3B2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62c6108d1a6d63a59035b2c4f65dc97297ef0d27","datavalue":{"value":"6856652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709711$93B8B143-65D3-4BD2-A7CD-C15C5B26F5DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709711$7AC0C293-5D3A-437B-A728-44B7CD3A9011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709711$57EF4146-7419-4DE0-BFE8-0472910B5E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709711$15CDB400-197D-4597-A901-391D10FA520C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709711$0B8A6D19-6FA5-4A45-BE40-88707BFB7A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cb8fe57be181a3558af8742c9dff6736bd4642","datavalue":{"value":"expansion proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709711$A4932EE1-3F61-470E-9962-9B9C357A0436","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":"Q1709711$D910681F-5350-426E-B03E-761CA18ADFFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feda13d1a692cd3fe55f114349c79f1e5391f8ff","datavalue":{"value":"https://doi.org/10.1007/978-3-319-72056-2_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709711$40ACBAA6-E105-448F-8C58-DA59E8525C0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62c60f83828539927be2b267ed9a972c8552699a","datavalue":{"value":"W2768593493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709711$4BEEC9E4-61F4-4809-94A8-E593828F6AE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f224617a51a1d4e4d508c109efa999bab49997","datavalue":{"value":{"entity-type":"item","numeric-id":4942001,"id":"Q4942001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c586f945020835e8410e8cdf56945d341489054","datavalue":{"value":{"amount":"+0.7895544171333313","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":"Q1709711$D676B77A-022F-431F-8406-B11640A0988E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23363285bd1fe8b01d4abc595b5b22345d00673","datavalue":{"value":{"entity-type":"item","numeric-id":3406683,"id":"Q3406683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c586f945020835e8410e8cdf56945d341489054","datavalue":{"value":{"amount":"+0.7895544171333313","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":"Q1709711$B77FB125-5FFA-4B6D-B4D4-697CF8A3F3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c44e02d3ba1fb404b3e82a6a5ef631beffe17f4","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744f9e59fb0f75be9fef8ddff61c0ce08ff41729","datavalue":{"value":{"amount":"+0.7877110242843628","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":"Q1709711$759FDB2F-E058-4065-9998-378B3993A009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a346cc7391b3124b47922db21bccc3493f530ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3483288,"id":"Q3483288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65d93c7722e3328cbc42916d67912d703c9a689","datavalue":{"value":{"amount":"+0.7788860201835632","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":"Q1709711$6F09F5C3-65D4-4579-ADDD-0E7AF378D598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c143fa7014d6ab9009fa567823e114e3064b9a","datavalue":{"value":{"entity-type":"item","numeric-id":5236547,"id":"Q5236547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4878cc635894584d8fd39d22503719880a7904ce","datavalue":{"value":{"amount":"+0.7682294845581055","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":"Q1709711$64B111EE-9508-4C3A-80A5-E19FD001689D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1709711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1709711"}}}}}