{"entities":{"Q807612":{"pageid":809460,"ns":120,"title":"Item:Q807612","lastrevid":64484037,"modified":"2026-04-11T20:11:12Z","type":"item","id":"Q807612","labels":{"en":{"language":"en","value":"The absence and the presence of fixed point combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4208055"}},"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":"Q807612$DDBF94F2-553E-46B5-BDC0-854FC38FD07E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bc7587af6141138c8ff81c4a8007606738b098a","datavalue":{"value":{"text":"The absence and the presence of fixed point combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q807612$5EF6FDF8-0B09-4496-B665-5DEB5191CF6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b40db482a9e3db46951f7c9887db3277e614d2d5","datavalue":{"value":"0731.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807612$A75E6BE2-413E-41B3-A5EF-08D82885AF85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01bae58db2cd2e898d6f62956d5e4caf81b73b59","datavalue":{"value":"10.1016/0304-3975(91)90034-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807612$42967D05-A65B-4954-B9F6-609C9FBC95C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807612$E9A15723-9EC8-4E68-9C54-F64EFAA87C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807612$18E18C28-BBD4-4236-8D3A-8814A1CBEC00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807612$3DD411A9-5BB0-41DE-98A4-B96D1092744E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q807612$F686C04A-99C1-4A0D-8B51-5888B3615787","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a90da5fea93d2b33c0bd41f5128fe26527cf4ddc","datavalue":{"value":"The paper grew out of an (unsuccessful) attempt to prove a conjecture of Smullyan concerning failure of the fixed-point property (f.p.p.) for the combinators in the language \\(\\{\\) M,B\\(\\}\\), where \\(Mx=xx\\), \\(Bxyz=x(yz)\\). The absence of the f.p.p. is established instead for many sets of similar combinators. Choice of these sets was made with the help of a theorem- proving program for the logic with equality. This program (together with a special incomplete strategy) turned out to be efficient for finding a fixed-point combinator when it exists in the considered fragment. So its failure to produce such a combinator after long run was considered to be an indication of its absence, and the analysis of the search space helped to prove it.","type":"string"},"datatype":"string"},"type":"statement","id":"Q807612$0A2D6919-2DC0-4578-8EF6-AD6605C0EC71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807612$636439BF-DB43-4437-BB1F-EB0736BA0ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807612$9D61775C-8D17-4F4D-8242-FF6E1742BA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807612$A51169A6-C152-468E-88F0-A143E9C01D6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fb27e7ed174f2bf97575de6af3aef060a1f107b","datavalue":{"value":"4208055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807612$97BD6360-73C4-49C3-B093-4505310A4D8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd097c992914214d854c8a2c3e397b0275f1ea0c","datavalue":{"value":"fixed-point property","type":"string"},"datatype":"string"},"type":"statement","id":"Q807612$2E135FA4-6FD9-4F7E-B62E-735495529180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7893e357e06406a1ab747918b4281635a4030099","datavalue":{"value":"logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q807612$1C53EF03-A3FC-4691-8B74-C928FDE444C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a0f6551bcb23ed41e5369d3fd68ea904341b37d","datavalue":{"value":"fixed-point combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q807612$6FA3E5AE-0A50-47E3-A3CD-968EBC2C053D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"25999fd525e9c58d76694ef6fb0ddc438b38dbe6","datavalue":{"value":"Q114262241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q807612$3B5EA0B1-2495-404E-BA7F-BC67328C73C9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807612$C493DEB1-F735-43A8-B45D-BAD64F4C0E77","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":"Q807612$E206AC0B-76CF-406D-BF04-854C00CDCB15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807612$ED14FA97-B0C6-4F0E-B95D-341A029D615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807612$6D4381BD-3C64-4FC5-B3B9-39E371AD5560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807612$CEFA0E73-D5C8-4AD3-8081-DF0BD7B397B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898575703b1bf05bce9740c9e05d50850cee3315","datavalue":{"value":{"entity-type":"item","numeric-id":1098333,"id":"Q1098333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807612$A3058E4F-4B26-420C-9F60-AFFD70F5E0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q807612$CBB428DB-3F24-473D-AEE0-07E8B3167EB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e817ad8dc837ce10f68b1d24ed037d075a1da14","datavalue":{"value":{"entity-type":"item","numeric-id":1098333,"id":"Q1098333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee18118a90331a75478aa36b315d73040dbe3ba8","datavalue":{"value":{"amount":"+0.7916122078895569","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":"Q807612$6C0BF256-7ED6-4343-A649-0901C24AA1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32767f74df324fe832597e592eed29f750c72739","datavalue":{"value":{"entity-type":"item","numeric-id":1311399,"id":"Q1311399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101a5798f955fe3f77bbff16317ec9a743b83911","datavalue":{"value":{"amount":"+0.7679261565208435","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":"Q807612$C507D2FA-AD56-4C35-BECA-6ACF050D86DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21e13e81d5dd42cfaf73f45f6d4893ce5f8b644","datavalue":{"value":{"entity-type":"item","numeric-id":5213397,"id":"Q5213397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c17509d3bea0969a4701cc5bc3fedeb2c3c831","datavalue":{"value":{"amount":"+0.7628796696662903","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":"Q807612$CFDFD014-589E-4DAC-BB9E-012C07F1E68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e2d735d502385b9c909def59bd585dd876fd9d9","datavalue":{"value":{"entity-type":"item","numeric-id":3501750,"id":"Q3501750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3abb1db3f0ecbe3cda24730d560871f02ebbd05","datavalue":{"value":{"amount":"+0.7596805095672607","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":"Q807612$9F5DC880-8F7F-40D6-AF9B-04AB156BDE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97512b94c56bdd5196304fe787252e3a152be40c","datavalue":{"value":{"entity-type":"item","numeric-id":1368379,"id":"Q1368379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c02014eee38ffc6faf44364b9d276df3eb603d4f","datavalue":{"value":{"amount":"+0.7578931450843811","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":"Q807612$F461E4A6-E481-4FC6-9676-B0AA0F2FAA23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The absence and the presence of fixed point combinators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_absence_and_the_presence_of_fixed_point_combinators"}}}}}