{"entities":{"Q5082060":{"pageid":7111636,"ns":120,"title":"Item:Q5082060","lastrevid":94250723,"modified":"2026-06-05T06:20:39Z","type":"item","id":"Q5082060","labels":{"en":{"language":"en","value":"EPSILON THEOREMS IN INTERMEDIATE LOGICS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7541918"}},"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":"Q5082060$9A953280-6176-4DC4-B7AF-9429170A1722","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"992673b5319f35b7006858dd9ebe42ff95c0c764","datavalue":{"value":{"text":"EPSILON THEOREMS IN INTERMEDIATE LOGICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5082060$53771A90-360F-475C-B5AF-CCF0A560FADB","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":"Q5082060$2F24D4D5-4A62-4EBF-A9D6-901A97073D12","rank":"normal"},{"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":"Q5082060$01B881CE-B34B-4ECF-A594-ABD4FCBBB3F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b034a322f1ddd26cbad4d23fbb21c53158db6544","datavalue":{"value":{"time":"+2022-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5082060$266159BC-3FEF-45DB-9C61-3DDB637D2F2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fce9fee2507fe145256711e273d9da3ecd66e643","datavalue":{"value":"https://arxiv.org/abs/1907.04477","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082060$8A2CCC6A-A5AF-49F5-82AC-04F5B4636D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ce96b55ddc2f251fa33df5545092eec043f71e0","datavalue":{"value":"https://philarchive.org/rec/BAAETI","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082060$686777CA-5EBC-4E67-BB80-FFBCC91EC87B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082060$61E8277C-8042-432F-B0E9-C996498B55FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082060$6F82E20C-54F2-4079-A403-7FA08B7E3766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082060$11712C8A-C7FC-46C4-8164-EA6676A14488","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e025b35a3f8e580f084f393dbb2685f3f8dcb292","datavalue":{"value":"7541918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082060$ACCFB2A1-EB27-4E6A-8A8D-6AC913E9E000","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a613dd81fe2942e8dc7f7f0de6dd8290657e9fd","datavalue":{"value":"epsilon calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082060$F7EC4FAE-5F35-4219-9EF7-85E1BAD452B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082060$EA96F6AC-9596-400B-A890-756E141DF70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082060$893BA522-A1FF-401B-ADA5-92A76746AE21","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":"Q5082060$8482F04A-101E-49BB-9EA7-A29339752841","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f08d54cdc1a4b1828566a51738a9ab2809854350","datavalue":{"value":"W4206500272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082060$09879F44-02C5-4821-85A6-9E1B5CA24A88","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fa48e1ae3be6b29ea05abf9db5ee17fc2d2f6ff5","datavalue":{"value":"Q113858287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082060$7D3622E0-9ACD-4609-9C10-85E89CCB1DA5","rank":"normal"}],"P223":[{"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":"Q5082060$6FA57BC6-EBDF-4D6B-B133-A4873ABFDF4D","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":"Q5082060$575764E2-1194-4702-A4DB-99BE710CFE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f4f413a75ddc6c90e76ea9ad5b4723d8e1e7e0","datavalue":{"value":{"entity-type":"item","numeric-id":2974784,"id":"Q2974784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$F286A416-E0E4-4538-A38B-A9AA8D4497E8","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":"Q5082060$BFAC395B-A2CD-4BCE-917D-F38CC8ADFE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a8e7aa3826057e8a68a04faafb879ca50e3653","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$7F762903-0AED-44AC-B4E8-418596ADF6E3","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":"Q5082060$966B9BBF-5E5E-4829-BEB2-D86A7254CB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138c882dc8322de73cbd6fa897c558a0217d005e","datavalue":{"value":{"entity-type":"item","numeric-id":1219803,"id":"Q1219803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$30976ACE-DED4-4C00-B40E-9E5371DEBE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dca0ae1025642432ff78eab317d494163fb9e74","datavalue":{"value":{"entity-type":"item","numeric-id":1207344,"id":"Q1207344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$97C940B1-16BB-499A-A8D1-876047DBF40D","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":"Q5082060$AD16C7E5-197F-4075-9366-8DBA224E4B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$74E7AD0F-579F-4A30-8726-D816CCA9F618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$408472C2-C96E-4D87-B527-567B54AFD2FE","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":"Q5082060$EEEDD469-B4DE-4B14-B760-88644900678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3e515340606ae45d58314f0c72b73f8af74a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5537356,"id":"Q5537356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$DD62623F-27D3-47B4-9C23-609FFA9DB9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1583acb2b9353fcb03f8b0420b193966affeb10c","datavalue":{"value":{"entity-type":"item","numeric-id":5582306,"id":"Q5582306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$EFD86FF8-2033-4147-B3EB-CD7BF91E824F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b64e5ffcf7c61ac3ecc586aa1975b9c542bac6","datavalue":{"value":{"entity-type":"item","numeric-id":1740611,"id":"Q1740611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$50558697-05E3-4189-9901-9185365582B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58bcd6186558a372ee5a60748dadd758d337f40","datavalue":{"value":{"entity-type":"item","numeric-id":5579000,"id":"Q5579000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$75C25728-8AF5-4B89-A0B8-834A9A557424","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":"Q5082060$3EAFF03D-1E96-4C93-8D2F-3F84526513F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5440f416ccddd29f912187be8e54ab7229f47462","datavalue":{"value":{"entity-type":"item","numeric-id":4694212,"id":"Q4694212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$023970CE-9CC3-4882-842B-CC22C75C556D","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":"Q5082060$756DFB77-D3C5-4223-BDCF-7F2E72A55530","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":"Q5082060$C5A64466-019C-4449-B802-4FE092582740","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":"Q5082060$7D40EDFE-BFF3-4F3A-AEFB-614D094A198D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb27b6f456fc6c7e2cea8df7d80a3b4165ebb37","datavalue":{"value":{"entity-type":"item","numeric-id":817691,"id":"Q817691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$6B752018-1F5E-40A8-B10F-693B56E6DEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4eb314cfbdbddb961d91ce373505c93914e5cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3431969,"id":"Q3431969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$E67CDCF9-4729-4FC2-8A43-758F3473C146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$84A3B081-017F-4CD6-9E34-E1B171C8D352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96157fa35335ae4ad319eb4d7d23c47b53f2e98","datavalue":{"value":{"entity-type":"item","numeric-id":3160441,"id":"Q3160441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$674A2B2C-0D4C-4C21-827B-F6A157A20276","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":"Q5082060$6149AF86-64E2-414E-9283-C78BC3C13D68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33195df49f037b8a507f5a96620bfc6c7be608bf","datavalue":{"value":"10.1017/JSL.2021.103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082060$8AE6CCE7-F420-4A44-943F-71BAA3DD4A9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$314840A6-A04F-4067-9174-A19456340B64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99812f8f0d789d7b3463f66b2fe06509e8e5177b","datavalue":{"value":{"entity-type":"item","numeric-id":4857864,"id":"Q4857864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22097b3bfd839c1a5b17b9cf158a5978f09b1ef1","datavalue":{"value":{"amount":"+0.8253346681594849","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":"Q5082060$775FA8A1-C9C8-4689-9AB1-D46F455908D0","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":"7971c88f9092097b840ceb142318f9290d699f33","datavalue":{"value":{"amount":"+0.7862961292266846","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":"Q5082060$1EC6D0E2-216E-4912-88E2-A654990932EE","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":"84b27a144b0f3c8ebaa38d87a00f3d76a9128496","datavalue":{"value":{"amount":"+0.7764284610748291","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":"Q5082060$76197669-CC7A-4599-9201-B4AEBBDEDD39","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":"c1d1d29bd72f700eb0c13a9895bb4e723ddd6c31","datavalue":{"value":{"amount":"+0.7761021852493286","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":"Q5082060$20682365-2CD4-4DD3-AA88-3F19732E2D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cccd438d39cc1f94c8fe0921eecb52797bc7e925","datavalue":{"value":{"entity-type":"item","numeric-id":5224489,"id":"Q5224489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a38c698b71efaf2803005b0ac773269fceff8e5","datavalue":{"value":{"amount":"+0.7711080312728882","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":"Q5082060$1DC25E0B-5E89-4AC1-A212-9250041FA0D6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082060$82412C8C-325D-4358-B1C5-76A125068DD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"EPSILON THEOREMS IN INTERMEDIATE LOGICS","badges":[]}}}}}