{"entities":{"Q2996163":{"pageid":3006887,"ns":120,"title":"Item:Q2996163","lastrevid":85348247,"modified":"2026-06-03T07:15:05Z","type":"item","id":"Q2996163","labels":{"en":{"language":"en","value":"Herbrand's theorem for prenex G\u00f6del logic and its consequences for theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884903"}},"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":"Q2996163$352EB3DC-6659-4DF6-8EC1-ECAAFAA4B374","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28641b970cd44571756b4602e93f3c1a5cf15814","datavalue":{"value":{"text":"Herbrand\u2019s Theorem for Prenex G\u00f6del Logic and Its Consequences for Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996163$59EF9CE9-E943-4BDD-8401-A88405DDFB65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5756bfb85dae0593fa79d75b21f0ab67e297936d","datavalue":{"value":"1275.03098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996163$FA3E94C9-E5C9-45BC-8179-D9E38159C120","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41376db9457d24cc2d3e591fbcd970e92d9accba","datavalue":{"value":"10.1007/3-540-45653-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996163$A17BBB55-ADA7-48C2-B150-70CD6848BA76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996163$3B299FC3-F1BB-4E8D-8863-DF03DD8EA029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996163$C293F8D4-54E1-4228-B9F4-816BC560655E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996163$F46CBB8A-ABAA-48CC-9D5E-D0E2E60D24E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996163$5C95620C-F143-4FEF-B6DE-ED4A5373B31F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-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":"Q2996163$C82FAC5D-C39F-43F6-A4CB-DA66D0A1AA55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996163$109B4973-BA28-4F96-84A9-ED7DDCFF4703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996163$90BB068F-9B9B-44A7-941A-73515015B7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996163$835E13FA-317C-41BD-94D4-7C95296E0504","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e262685e21b9700c74549f8979f80f2f8662b50","datavalue":{"value":"5884903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996163$CF85426E-86C2-499D-A831-3922ECD1B4FC","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":"Q2996163$0C5403BE-2BDE-4278-BB47-BF049A7A9B11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db4fa9b334c742a79af0a188c38ac7050793835b","datavalue":{"value":"https://doi.org/10.1007/3-540-45653-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996163$3137AAC3-788B-4439-B995-F1BD579A59FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5e3e2e5fa50141913a5a73c43c2232c60ad17d6","datavalue":{"value":"W1546296649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996163$2B01DB6C-236A-4E3E-8456-CAAEE1F51BE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a0f6aec4ff3da4690ff60bcfee5d939b1e855c","datavalue":{"value":{"entity-type":"item","numeric-id":2881087,"id":"Q2881087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1424e749c226e65e5fca114e4e7fa2f043bf31d","datavalue":{"value":{"amount":"+0.8626037836074829","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":"Q2996163$42EE9FCE-C662-48D1-AD04-88971FD11B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dcb2c264f263d0da99a24ff32fcffaf9bb08a36","datavalue":{"value":{"entity-type":"item","numeric-id":3586034,"id":"Q3586034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e83b8c6b0dd85afb7b8e307b719d14eab4a705b","datavalue":{"value":{"amount":"+0.8286839723587036","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":"Q2996163$8B881259-3088-4CAB-B5E4-C7EA98C3E3E4","rank":"normal"},{"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":"c969327fa8a1742345f9a6f2e468efb8140a83d1","datavalue":{"value":{"amount":"+0.7865171432495117","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":"Q2996163$C9BCDF57-3AA3-4A48-9AB2-0C9C43256556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2699e2396a71aa7b2566fe9b5b81ab17d2d8ad2b","datavalue":{"value":{"entity-type":"item","numeric-id":4291037,"id":"Q4291037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c969327fa8a1742345f9a6f2e468efb8140a83d1","datavalue":{"value":{"amount":"+0.7865171432495117","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":"Q2996163$5B084DEB-E910-49BE-ACAE-8F755CEB6323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95330b6380a0d5189187a11071d582fd9182a70a","datavalue":{"value":{"entity-type":"item","numeric-id":2502163,"id":"Q2502163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2aaed42655e7077df8f05132647f5c82cb22740","datavalue":{"value":{"amount":"+0.7745060324668884","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":"Q2996163$15819DD9-98A3-4A9F-9AC3-B52B9D872891","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herbrand's theorem for prenex G\u00f6del logic and its consequences for theorem proving","badges":[]}}}}}