{"entities":{"Q6178471":{"pageid":13313359,"ns":120,"title":"Item:Q6178471","lastrevid":94085519,"modified":"2026-06-05T05:50:25Z","type":"item","id":"Q6178471","labels":{"en":{"language":"en","value":"Herbrand complexity and the epsilon calculus with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7790932"}},"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":"Q6178471$C56284FB-6A1D-4F08-A767-58C2786F6554","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3aaf133a0da0ce5106310fdfef4787877b06fd5c","datavalue":{"value":{"text":"Herbrand complexity and the epsilon calculus with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6178471$A14647D0-96E6-4F3E-BA12-21B8709C041D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e876e8b0b62c093be1b48036fdda4e6051620765","datavalue":{"value":{"entity-type":"item","numeric-id":3090882,"id":"Q3090882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$B4666134-5404-45B9-A983-9D1CE16756FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72dabc59d6ac55abae8a5d41136834dd0407ff86","datavalue":{"value":{"entity-type":"item","numeric-id":276250,"id":"Q276250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$3106D492-E6D7-482B-85B2-691D2FA77711","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$4D884414-32E4-4B86-81DC-8F50FF8B89B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ff89536e38dd1dcc6e3cce47bb2f12bcf1912f8","datavalue":{"value":{"time":"+2024-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6178471$709FF8DE-BBE9-4EF5-9D2C-2412CDFD6867","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178471$C1A70932-3C82-422D-A8DF-22B38A4D95C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178471$761BCC64-167A-41E1-95E6-C65C7960AF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178471$43D93D7A-444E-4D27-8C6A-EBAF0D3277EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0a62f473a3f607e2aa75dbc9c48cbdf997f3b1b","datavalue":{"value":"7790932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178471$BE4232B8-9BD8-4ED7-A514-CAA495BE3109","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1fcc2149df2f4e08e941cac356b653bcccb5a5","datavalue":{"value":"Herbrand complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178471$54DFA1E5-1661-4E57-A752-0552F5B5948B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4954a4a242e3a271260aa638f443a73fed0aa26","datavalue":{"value":"Hilbert's epsilon calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178471$14799043-86B3-47C9-A7B2-03A13F00785B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda86e0ffdf0ed711f6bf6bd5affbdb5b8eec799","datavalue":{"value":"epsilon theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178471$61B6C2C0-0663-4271-AF0C-AEB2D9FC7B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178471$00743D3E-688C-4F67-87CA-0B5514B1D14D","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":"Q6178471$7219C01D-C890-4569-A344-E3B37F90A7E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"572b5999990f20ff6915afc5b897e1ef17962b93","datavalue":{"value":"https://doi.org/10.1007/s00153-023-00877-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q6178471$75FC2AE3-E2F9-4CB9-A2B2-A0C878E8AAEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e4e5f807ae29b2f355ef239359591cc629df0e9","datavalue":{"value":"W4385380237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178471$8BDD6CCF-ED64-46A9-BA91-7A8CCDC47C84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cd297b30f9282e340ab6cd2f0cbf46cae1145e","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$C11B6ED7-5AF2-4F61-89FC-FA1A5BF7B688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98492c4789301c3cc74d78c8a616826720096e7d","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$7749EECF-8C19-456F-A1B2-9378525294E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c54fa82c3ea7723e51af93bb3b55f6886e7c2167","datavalue":{"value":{"entity-type":"item","numeric-id":5224489,"id":"Q5224489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$9D4908E0-1035-425B-A83E-FDA7EB8C1B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95b24bea94950afb4edb4a66a029b2090939f2e","datavalue":{"value":{"entity-type":"item","numeric-id":1709688,"id":"Q1709688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$EECED456-560F-46E9-9762-0F10E93CD8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67053791e49cd6e390aa53a7e29b27435f4aa6e7","datavalue":{"value":{"entity-type":"item","numeric-id":3261414,"id":"Q3261414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$970A2F7D-28B0-4537-AC7A-9E1A71BBE7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$24254F91-00A6-45F5-BB9D-9CA4C3030B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e2b29d9b4dadfb2f5b72715f7422f8e108a4ff","datavalue":{"value":{"entity-type":"item","numeric-id":1167721,"id":"Q1167721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$4C7A497F-AEB0-4E3D-8C55-AA3DC3664409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7edb173eb623a2d7d2975ef40e4ed2ede8faf0","datavalue":{"value":{"entity-type":"item","numeric-id":535160,"id":"Q535160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$7E523D4C-1334-4F9F-BE43-A110839DE856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d1a0de032c595e349c9f7630f1e6aaa97e0fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5082060,"id":"Q5082060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$69B1B899-2134-4A56-8719-65F076604A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d045ce731f9ccddd5b0335da9d4d4738f27310ba","datavalue":{"value":{"entity-type":"item","numeric-id":2503393,"id":"Q2503393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$328B0BC3-2E28-45D4-B278-E63BAB64078F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c833e925e29e625b8c1c5ef681a48dd2c2976646","datavalue":{"value":{"entity-type":"item","numeric-id":5213612,"id":"Q5213612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$A919A3BA-9286-4A10-9B74-DBF59787EFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b30375f07d768174ed094de7321528d2b3c51b","datavalue":{"value":{"entity-type":"item","numeric-id":2646541,"id":"Q2646541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$195AAB52-98FC-453C-8524-7929E9AD8772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90049b19da6424ee09d03afefd43087776bfde24","datavalue":{"value":{"entity-type":"item","numeric-id":5343336,"id":"Q5343336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$BCFC6788-E610-41FD-A1E3-EB18D4FD6787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e366e7b3eaee30c8a7b50e86a00285d250c8874","datavalue":{"value":{"entity-type":"item","numeric-id":2776806,"id":"Q2776806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$F1E1784B-5E5F-403E-B5E9-9A79490A1796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19db4913f630897f5881536409b9be392c4b9dd","datavalue":{"value":{"entity-type":"item","numeric-id":4857864,"id":"Q4857864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$63A30905-AE6C-41F5-B72F-2D072756364D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86fac08569f7a38c21f588c4c4150c24fe55be2","datavalue":{"value":{"entity-type":"item","numeric-id":4773682,"id":"Q4773682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$0A25DE61-A10B-48F1-9B7C-5755AA5A25DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90112062753233254cb2ebf8bcc9fa577d6d94f","datavalue":{"value":{"entity-type":"item","numeric-id":4527924,"id":"Q4527924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$86011B5F-C871-48FB-9B9F-DA349F0D629B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e50b837f340bfa619149e9271176c6a31bcc627","datavalue":{"value":{"entity-type":"item","numeric-id":5308439,"id":"Q5308439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$8254CAE2-F3AD-4963-8F35-C4706BF1E526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b20e64309aa4bc4429fc1aff3c5454eb9d97ad","datavalue":{"value":{"entity-type":"item","numeric-id":4628675,"id":"Q4628675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$331911CE-3D3F-4140-BFCB-BDC16961315F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a97dc13b9f1bf998625261d5e7261a63fdb36f7","datavalue":{"value":{"entity-type":"item","numeric-id":3257113,"id":"Q3257113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$09AA8312-0B27-4E34-A85F-17E292579B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b45cb94e678af0af29ccde58f37d92739bef609","datavalue":{"value":{"entity-type":"item","numeric-id":766669,"id":"Q766669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$7354CF79-74C2-480F-8179-3626CABB97B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c95fad816deca277083731c30914a5c73407a2","datavalue":{"value":{"entity-type":"item","numeric-id":5896367,"id":"Q5896367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$2F842DE0-C181-4B67-A67A-ED1F1950E103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$D2C30FE7-2D9B-4FB2-A5E0-E974C1A07C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac913c59bc63f798e3256ace7ff41f5e40f7db5","datavalue":{"value":{"entity-type":"item","numeric-id":4436025,"id":"Q4436025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$BC18CD1E-376B-4155-9809-7BFD79DA95D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$564D73D5-1118-4780-BA27-AEA59380E897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$BA16563F-1C45-48FB-8F32-0435A3E93233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$FDEA3C41-3EA0-46F1-99EB-26D436C0D516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$39F26640-A485-470C-8B84-7FE7E27363AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa011a834041a527ecea97cb500c12560c9ab895","datavalue":{"value":{"entity-type":"item","numeric-id":3335776,"id":"Q3335776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178471$3F5CA6DA-4D59-414A-A07F-58006914F79E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2bd2e51930c0c383e8f21c7fc913678ee6a1740","datavalue":{"value":"10.1007/S00153-023-00877-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178471$E4B8409C-0B64-491D-81B6-CB959BC23F73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herbrand complexity and the epsilon calculus with equality","badges":[]}}}}}