{"entities":{"Q5224489":{"pageid":7254058,"ns":120,"title":"Item:Q5224489","lastrevid":58482129,"modified":"2026-04-05T10:09:22Z","type":"item","id":"Q5224489","labels":{"en":{"language":"en","value":"Semantics and proof theory of the epsilon calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084728"}},"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":"Q5224489$B9DA8C0F-4336-453B-8820-9D25DF732441","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e35e55796e9b8689ed6308b3c45851e4eae4d52","datavalue":{"value":{"text":"Semantics and Proof Theory of the Epsilon Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5224489$48ED2E7C-843B-44BC-A1F4-58882F73CF27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0536a75af659e9b8a8fef334ec56508866d8c553","datavalue":{"value":"1432.03114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224489$D616EC86-3C6F-48DD-B149-ECB12E8EA694","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7327c0d9d1a4461d97d2f3a7d32e3057b85427f","datavalue":{"value":"10.1007/978-3-662-54069-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224489$436A8D33-C31E-4AD5-9608-D65F8F5D89BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$7EA516EA-D6F8-4A7F-9916-F67A58CCB9AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$E41AE397-9002-4695-8CF7-18B917BD3F87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-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":"Q5224489$B8CAAE87-7629-4436-9865-84C1A869AAF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38d9a6e078c1f7b71b9eb9a5bab79368bbce1894","datavalue":{"value":"https://arxiv.org/abs/1610.06289","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224489$B911C79C-6D1A-466C-8F98-2787332904F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224489$B23BAEF8-4ED9-497D-999C-01C36E4AEC00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d11976a4a8f3b7d925b89bc35a2510aac374b5f5","datavalue":{"value":"7084728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224489$162D9327-D5B3-4B1B-97E3-02E1E32B2F92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0edbdfa281825cdce2cef338d46b99c5e8d066","datavalue":{"value":"choice function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224489$C64CFDE8-7933-40DA-A885-E4BB0AF7DF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224489$F01F6F94-D115-4E56-9A32-BA64623B3690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224489$2C7FF97D-E18A-4177-B1E0-49A336F2BA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224489$35A415B6-1E88-46BA-8725-259C44EBC7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224489$4ADA13EE-4D5E-42B4-BDB4-17DB27FB891F","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":"Q5224489$C8D2216C-0E3E-47C0-B673-3933F9B63FA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9ffa24c83a2bf6564588e5b91a2dcc3a5189de2","datavalue":{"value":"W2533162327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224489$96E35B08-6516-4223-A627-3FE694CEF3EF","rank":"normal"}],"P223":[{"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":"Q5224489$3FD6C4D7-B643-46C8-AF00-72551AF7846D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d843204ce21ea0c560244beb34d1f7e271ef81","datavalue":{"value":{"entity-type":"item","numeric-id":1360676,"id":"Q1360676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$9F952354-AE02-4C22-BE73-7EA766C790E8","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":"Q5224489$B9F59455-BD49-40CD-99A9-5E9EC4A07E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7171dd6ac8ecaf332e9d8025ffeb15c581fd89","datavalue":{"value":{"entity-type":"item","numeric-id":1208146,"id":"Q1208146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$185E3722-A26D-4FDF-803B-7186C1889F7D","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":"Q5224489$8E567DBB-B754-4E9E-8CCA-EDB04CF0BC0F","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":"Q5224489$3E80366F-BCE8-458B-8BBF-3A30B51AAF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6565e5086024942e679c8306286a7afe6dcb166a","datavalue":{"value":{"entity-type":"item","numeric-id":704019,"id":"Q704019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$4E73BE29-AEA9-42F0-A7D5-AA017B30F143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14e6969de02cf5a19417906c0c5f01258599367","datavalue":{"value":{"entity-type":"item","numeric-id":5772177,"id":"Q5772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$D57C3E01-B794-47BA-A6C5-8B3C6A9B06D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5721c69a1fea95591b2353c2a947c998df08d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$3A59ADA8-86A9-4ED9-B480-89DEE5B2218C","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":"Q5224489$C840EF0E-8FB3-467B-B303-2E547149B6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52dc5fdfa0359123382c77e68dad83a5cb805e4","datavalue":{"value":{"entity-type":"item","numeric-id":4388951,"id":"Q4388951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$51398084-16CC-4351-BAB5-617343D5D933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c6feafdeef9c95fc75f9a02344ae82b42320ca","datavalue":{"value":{"entity-type":"item","numeric-id":1411658,"id":"Q1411658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$02E7FEDD-C8B2-4C71-8269-F0E88D616542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a9345f55b07abcc48c3a4176c64845a3b9c2b66","datavalue":{"value":{"entity-type":"item","numeric-id":1256460,"id":"Q1256460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$007D4684-9438-4E7D-90FF-06B57BC45713","rank":"normal"},{"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":"Q5224489$1EACDC6A-C0C3-4028-ABD9-28493B967A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecb09acd903c5f4a759d5c1c0b0f41d5884db489","datavalue":{"value":{"entity-type":"item","numeric-id":2710605,"id":"Q2710605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$D7184121-C428-472B-B9CF-22285E842DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0a9488ae63a9263a81ce24a7c74b15a704be04","datavalue":{"value":{"entity-type":"item","numeric-id":4159053,"id":"Q4159053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$7199EBB0-5366-45B9-90EA-4E5B3F3C31FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7307594af40217459ceaf051a66a6e28ffb59306","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224489$E13E130D-E938-46B3-9112-0771A1BA3381","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfb2791dfa5bd53f1670ff04e0457115dc8a041","datavalue":{"value":{"entity-type":"item","numeric-id":5292657,"id":"Q5292657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f594fcfeaac839a6da2ff5188f2933e61f1354f9","datavalue":{"value":{"amount":"+0.8620076179504395","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":"Q5224489$AD381E78-7F99-4E57-B1E2-9E15DE876BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62af7952db77171eb5bc4a1101e7491e683c67b7","datavalue":{"value":{"entity-type":"item","numeric-id":3433105,"id":"Q3433105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feaea7c5781efa1769ec2d7c01658f619a227c0d","datavalue":{"value":{"amount":"+0.8322247266769409","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":"Q5224489$028D6162-F331-4430-9936-AC404C4125F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e133aa05dc614ab9c21ee1684985d382ecae01","datavalue":{"value":{"entity-type":"item","numeric-id":4204130,"id":"Q4204130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9530c15e7a4b195434e89050051b6fe007debd54","datavalue":{"value":{"amount":"+0.8222958445549011","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":"Q5224489$F34E73C9-3CED-4EB1-88B1-3E8F03E9FD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d982448dc96e8c77f91ea59f0666b2630af1483","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3c48509007bca87487618efebcf3f6e31f8b95","datavalue":{"value":{"amount":"+0.8080911636352539","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":"Q5224489$724D147B-E179-4163-B36C-E5487066E49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4067558db175ae0ba1f0064f09a3954efbcde1f","datavalue":{"value":{"amount":"+0.7996262907981873","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":"Q5224489$8034DAF6-AEC5-41C8-9CDE-2505E055D927","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224489"}}}}}