{"entities":{"Q2566067":{"pageid":2576810,"ns":120,"title":"Item:Q2566067","lastrevid":74231220,"modified":"2026-04-14T19:04:59Z","type":"item","id":"Q2566067","labels":{"en":{"language":"en","value":"Remarks on applicative theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207223"}},"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":"Q2566067$E6DE4872-89E7-42D2-BA56-D66DB5BC2FDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1527b73f42c8db1da33d508dbb44a3b0579ec08","datavalue":{"value":{"text":"Remarks on applicative theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566067$AE1C4199-3615-46ED-A81A-AF59BCB74D6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"884c78d025d67b391bb4e6ea10347f8d7b71f492","datavalue":{"value":"1088.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566067$8F603081-2D78-4E39-8E88-B499AF2F394C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56da7d158017ef8b0b4d01b2f110c77e1c03452f","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$85A82AE0-B194-4026-B05C-2DD1EA5D7313","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$FC9F5C23-5208-490D-B9EA-101A4FB4D23A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566067$90CF055D-97B7-4DC5-986B-F61A16C17A1C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70efbb0ef1c58f50c8f9951d91ffcb7469837245","datavalue":{"value":"\\(\\text{TON}\\) is a first-order predicate calculus with, as basic well-formed formulas, the equations of strong combinatory logic. In addition, basic arithmetical functions over \\(N\\) and definition by cases over \\(\\text{IN}\\), using the same equality, are assumed. The author shows that certain models of the extended untyped \\(\\lambda\\)-calculus are also models of \\(\\text{ TON}\\) together with a number of interesting and surprising extra uniformity, reflection, enumeration and choice principles. Similar results are obtained for some variants and extensions of \\(\\text{ TON}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566067$BAE54292-406C-4A1F-90BB-F53D62EF6901","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$6F13E455-9CDD-4836-B1D7-0DACEFEC5D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566067$DC847D22-8260-4DEA-998B-932AC11C29F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566067$EA146F5C-2419-456E-8BD0-6182F5B4C5B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbd44db84a79c3660ed2886d16b222d811be75e5","datavalue":{"value":"2207223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566067$C146122B-2F4E-48AE-ABC6-4AD35CD5E67F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a250535976c55d0d83f766a663ca018f553759e","datavalue":{"value":"first-order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566067$E2E72C49-7086-46BB-9522-E3B2342B1270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566067$C72F5E9E-92A3-4910-BB97-3DF09F3268DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14e2f3db707b6a727613ed85f9a51af4c8df69b","datavalue":{"value":"untyped \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566067$A19C5991-AE47-4B7E-8DB5-BD9EBF6636F3","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":"Q2566067$2BCB1048-7B67-4081-ABEC-D1BA1871E4BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"007548a876f6ed68674a202db64bb93ccf9c3592","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.05.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566067$613A16C5-AC33-46F8-A8A8-6742E9D717D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0126d29d134b1ea731f0420d38c61899b32b2ee6","datavalue":{"value":"W2014134602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566067$C2CF16AF-79A8-4B94-9BA4-994200F30459","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$D6DB7D95-6DBF-4635-9AE2-E61B15584D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$85121DE9-8428-44DF-BE12-071C45EFDFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e216c4e98afb561f421d131546a12ecf8877df6e","datavalue":{"value":{"entity-type":"item","numeric-id":4395609,"id":"Q4395609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$DE350A97-9622-4115-8ACF-782BD8B491AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58979cea3279fd88e394a900909ebde58c9d2cb","datavalue":{"value":{"entity-type":"item","numeric-id":4511545,"id":"Q4511545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$3BF64A5F-EEA1-445A-8C94-BE76821FFB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"393d8e4708b8ba69e8861193f5071c32d4e881a6","datavalue":{"value":{"entity-type":"item","numeric-id":5702663,"id":"Q5702663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$07E18B05-16FE-4410-9891-FC6B582A6D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a20b645023a8d04cad0a14618e2426e86442be9","datavalue":{"value":{"entity-type":"item","numeric-id":4704759,"id":"Q4704759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$F6E6D6CA-045C-4A70-BEF2-5B09A1655BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$47722BB4-EDF8-4C2C-A8DC-B9C283BD42CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad145d4076568a78b64224b7363c7fe11fcacec","datavalue":{"value":{"entity-type":"item","numeric-id":1765154,"id":"Q1765154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$2566A437-A17B-4850-BF3E-AC740C713843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b209eb909f7b2405120231556d3122ec858afb37","datavalue":{"value":{"entity-type":"item","numeric-id":1896484,"id":"Q1896484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$FF653374-D6E2-49DD-BF9B-FABD4DE67CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3798ecd2352848fc7f05ce377ca3bb7ca030a458","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$319CFEAD-8397-4D19-9649-68884CB326D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$27BEC299-830A-4BBC-BEC5-9C62794FC20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3199afbc552d4b782fb652485d98c16207457f9","datavalue":{"value":{"entity-type":"item","numeric-id":1427856,"id":"Q1427856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$890160E5-3E1A-4E7B-ACFA-17938D2BFA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566067$15FD0623-1A08-4AE0-AA7F-E7C3D9B3CF79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c93fb865300ed9cf075df4ba8fa6ee7130d3db1","datavalue":{"value":"10.1016/J.APAL.2005.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566067$11F22D9E-7FE9-4C06-AC1D-984B44363B2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f73f4390c337f2e0ede50d85c757f7b18d342ff","datavalue":{"value":{"entity-type":"item","numeric-id":4941991,"id":"Q4941991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e629e6292cba6ac7c1c5f97ef7d6f29663283d","datavalue":{"value":{"amount":"+0.95851076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566067$F61AE015-C62C-462D-BD73-8B7878FCC630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d3928d9d4911a9a74e9bcc5fb418bfa5065648","datavalue":{"value":{"entity-type":"item","numeric-id":1896484,"id":"Q1896484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b905bf5508bb5dd2eb1a940e4fa576e0a434a70","datavalue":{"value":{"amount":"+0.86880744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566067$F9D99FD4-683A-4C16-ABAD-B0935C1D8183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9f137d85088d8d4183f84c2927366c2cafcc95","datavalue":{"value":{"entity-type":"item","numeric-id":5951914,"id":"Q5951914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88950400caebb8d980eed8a03468e22c19b46ba1","datavalue":{"value":{"amount":"+0.84905887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566067$16C50DAC-6F6A-4936-86CE-B00C4263A714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0842dcf6bd6825ec0a20b0902806110a04791c6","datavalue":{"value":{"entity-type":"item","numeric-id":5452018,"id":"Q5452018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074850491c1acb9ee509c54c209f0a952c7d4551","datavalue":{"value":{"amount":"+0.8294316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566067$5CA72C81-03B9-4745-8A56-CDC2E2157EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e7bebf1aee7192451926764b7d6438682de6c9","datavalue":{"value":{"entity-type":"item","numeric-id":5430401,"id":"Q5430401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bffa72bdf84e9fe51156b773343096138a02f26","datavalue":{"value":{"amount":"+0.8266951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566067$26F3A1CE-1218-4766-97C5-D58719027A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb68a63db24d710ff35547a66c098d49abed435","datavalue":{"value":{"entity-type":"item","numeric-id":2751812,"id":"Q2751812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dceb69e875ddd54279e2d6fdd51e135d65c9a24","datavalue":{"value":{"amount":"+0.82659626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566067$1337412D-0274-42FC-938F-1A56FC40C601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cd015c45a9a6ebcd59290f54b7c58ebfcb2775","datavalue":{"value":{"entity-type":"item","numeric-id":4934811,"id":"Q4934811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee04a2386c4d31e0a83c4f61e478fcc250117d5b","datavalue":{"value":{"amount":"+0.81823325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566067$BAA86BA4-2F2F-46D7-BAB7-DF28F68A41D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de565a09c3f8c7a51218a5035381ff180a25ed95","datavalue":{"value":{"entity-type":"item","numeric-id":4870067,"id":"Q4870067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cfcadfe1d6af760395f3cfb7e42c634c9798518","datavalue":{"value":{"amount":"+0.815672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566067$2D3E4EFF-C822-40DD-AB01-00F7D50E9577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fba8335d83658462e76c2c90e994d4960d1274","datavalue":{"value":{"entity-type":"item","numeric-id":4964698,"id":"Q4964698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"386a4b063ccc08f8e8f3860b4398353ea90e6d8e","datavalue":{"value":{"amount":"+0.81288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566067$A941E288-7C04-4E10-A07F-77671ACC0E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8afd7e65aee59be5d2e4001b8b0bd9562b811f9","datavalue":{"value":{"entity-type":"item","numeric-id":1976882,"id":"Q1976882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be155deb2950dde6236f5920a0a6d435ccf65d2","datavalue":{"value":{"amount":"+0.81188226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2566067$3EED3695-1B6F-495F-86F3-FC99BB2860BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on applicative theories","badges":[]}}}}}