{"entities":{"Q2639839":{"pageid":2650582,"ns":120,"title":"Item:Q2639839","lastrevid":78992597,"modified":"2026-05-06T12:54:23Z","type":"item","id":"Q2639839","labels":{"en":{"language":"en","value":"On axiom schemata applicable to the formulae with \\(\\epsilon\\)-symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4185579"}},"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":"Q2639839$6F981586-F40C-4370-8B7E-414BB0DA6B84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5397574477111ae0469b998b57a1e32263cb4a68","datavalue":{"value":{"text":"On axiom schemata applicable to the formulae with \\(\\epsilon\\)-symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639839$12EDC959-0343-4985-A70F-E706E8D44726","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7b026db3434496b631651764b90b230fdaa44aa","datavalue":{"value":"0719.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639839$66055C18-E0B2-4BEC-AA6B-82F91AFEBAFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bd99720aabea80caac5fa193fc84d7ae48f389c","datavalue":{"value":{"entity-type":"item","numeric-id":799668,"id":"Q799668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639839$A717947F-F4E6-42B3-AD57-CDBCA0475048","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639839$79F41C2F-7B71-4224-9239-62D92BE816D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2639839$E261CD30-65E5-4338-A3C8-1024DA0CDC9D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8331edb821b772d522babd4ba57d563e7aa7cc2","datavalue":{"value":"L is a language for the first order predicate calculus and P is a new predicate symbol not occurring in L. An L(P) formula A(P) is called an L- schema, and for a language \\(L'\\), \\(A(L'\\)-formulae) stands for the set of formulae of the form A(\\(\\lambda\\) xB(x)) where B(a) is an \\(L'\\)-formula. T is a set of L-formulae. The author gives a syntactic condition on A(P) such that if \\(T+A(L\\)-formulae) is consistent and satisfies a condition which the author calls S-rich, then \\(T+A(L(\\epsilon)\\)-formulae) is consistent in the \\(\\epsilon\\)-calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639839$6C460983-9F6F-45CC-8719-F19DD9E09A3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639839$6E4CA8BA-1BF8-49FC-97C3-351CC23744C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639839$87962A39-347E-4AAD-B005-22F89EFC1196","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad0fd4d6300cb43502bd8ace93e81ff6c3c9be38","datavalue":{"value":"4185579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639839$69D5751B-B8F7-44E0-B3B0-D5D48731112E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47d135743eecc604ed225687967cab3d78533c7a","datavalue":{"value":"extra predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639839$FD98D2CC-44F8-424E-AD3F-FCEAB8AB98D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639839$D722A43E-AF62-4099-997B-366A51FD4E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83ca658e07984a95b4ec7cd92ae9dae787927a2","datavalue":{"value":"first order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639839$B9779004-8C36-49E6-B715-1A04E9E06B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caecce6fe776ed4f03528faad9a6c52ac3fab215","datavalue":{"value":"syntactic condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639839$BF7D0FA7-6FAF-4BC0-8110-BB393499DE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0197cfb037f9f0c9f1abd4366873bac32f5149d6","datavalue":{"value":"\\(\\epsilon \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639839$EDABCD09-0F22-4FE5-A1FE-C81C7B1CC51F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639839$D5F51EB2-3CBA-414A-AF44-779227B0A023","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":"Q2639839$9626B809-A00F-4973-B56F-71E60131D893","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25b87f3df973ddb643f49bce18df978e56b203af","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496161321","type":"string"},"datatype":"url"},"type":"statement","id":"Q2639839$AFFA995E-A5FD-4BEE-BDEE-8AD37D2C10AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13ab993ced44a7ef452cb2235c5f2ecb2daed748","datavalue":{"value":"W432755253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639839$AB9FE052-C697-4254-AF45-24A4593DC501","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"607e9ff53c8aa5cb4e175ef0f112ed254c285dc1","datavalue":{"value":"Q114593165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639839$93810432-D5CF-4C22-A065-EC437F1F70DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"398b39dab8136eb62a7af2c5068bb876a9bf3ed6","datavalue":{"value":"10.21099/TKBJM/1496161321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639839$C0C53ACC-72D4-4D19-B294-2A752C03BD68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2def71c43857b10f82848d8b1bfc16980b41e5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3469101,"id":"Q3469101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc86f231e28e8fc518abb5f07a9ef8af22fbead9","datavalue":{"value":{"amount":"+0.7414604425430298","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":"Q2639839$AC070C97-921B-4368-84B3-36094B889DBB","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":"eb99c205c804007325c30effbcf15cfc9d057c3b","datavalue":{"value":{"amount":"+0.7366805672645569","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":"Q2639839$0E9DD158-4E55-49A6-B347-71996FCBCBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cf88dca38a8745200a0d4e0453412dffcafb03","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8fe645ccf76db3b9a5590d5723f88f8e6ae53cb","datavalue":{"value":{"amount":"+0.7361181378364563","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":"Q2639839$3B8F036A-E3DB-4DAF-B607-5E2B76DF67E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70fbec6763aba485458e14e954c2770aba09a551","datavalue":{"value":{"entity-type":"item","numeric-id":1130508,"id":"Q1130508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5018f6db1896e7fa353b54b80cfc4ea1516276","datavalue":{"value":{"amount":"+0.7229081392288208","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":"Q2639839$E9D8EF35-9AA0-46A5-966A-DE8D2A839C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17d9bb7915d81cb4450b046015695692bdc0457","datavalue":{"value":{"entity-type":"item","numeric-id":3469081,"id":"Q3469081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96faf8f3eb333dd4682f2ff898f72fdc71995959","datavalue":{"value":{"amount":"+0.7102131843566895","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":"Q2639839$36E00DEF-D47D-4973-9413-DBE864A105E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On axiom schemata applicable to the formulae with \\(\\epsilon\\)-symbols","badges":[]}}}}}