{"entities":{"Q1100189":{"pageid":1110941,"ns":120,"title":"Item:Q1100189","lastrevid":66683304,"modified":"2026-04-12T11:54:52Z","type":"item","id":"Q1100189","labels":{"en":{"language":"en","value":"Combinatory completeness without classical equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041865"}},"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":"Q1100189$AE286A9E-32CA-418E-A48F-1AB54D12F356","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79dc3904290c7492c4ab9a8c7ce82da19ad6fdb8","datavalue":{"value":{"text":"Combinatory completeness without classical equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1100189$F5C32C3D-B717-4D4E-9521-E0AD327B2079","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad6603bf591fdf77b5fbb67360a33bd081d32358","datavalue":{"value":"0639.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100189$DA9DC34F-CFF6-4A48-8CEE-AB8E20A5F73F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"874e29ca460e992c3e585e9ebcf9ba0cdbe53b62","datavalue":{"value":"10.1007/BF00247907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100189$FA16E5A8-98CC-452E-A0D6-5B8518096B5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cc5427b27d5c56658e244a7658422851c49d871","datavalue":{"value":{"entity-type":"item","numeric-id":1091384,"id":"Q1091384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100189$56211F76-A337-40EA-A7C2-CD068990CFC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100189$6E975289-C8D6-4D0B-BD14-77161C22AFB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1100189$064CA0D6-9062-4556-AA26-BFBE34996323","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6feabf8ea6be08da75a6e0ca7bccd3f1023df44b","datavalue":{"value":"When equality is an applicative system (M,\\(\\cdot)\\) is replaced by an arbitrary equivalence relation \\(\\approx\\), an algebraic structure \\((M,\\cdot,\\approx)\\) results in which it is still possible to discuss combinatory completeness. This structure turns out to be the correct one for unifying such fixed point phenomena as G\u00f6del's diagonal lemma and recursion theorem. The analysis of \\((M,\\cdot,\\approx)\\) is applied to illuminate generalized fixed point phenomena, Tarki's theorem, G\u00f6del- Rosser incompleteness and precomplete numerations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100189$C5E0ADFF-4175-4923-A843-8C0C1F32A7D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100189$0F10767A-0BBB-4FC0-81B1-4E03CD39E699","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"060f39144ad11bc12e6d1d993c956532b628b462","datavalue":{"value":"4041865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100189$6F192E0E-60AE-44C1-A53C-95182310FEE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c653a71f23af399371cd608756125be556080e23","datavalue":{"value":"combinatory completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100189$42D74CA8-27D0-4336-AA3E-94C2D96675F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100189$66652584-32E8-4977-AECF-3A808F7F96FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bc6b26bafa31ed563b989ec08614e2ae5297d31","datavalue":{"value":"diagonal lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100189$5D6AABAC-A57C-4259-8615-0352D2B27269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f58e48ca395ba8ef6f53040a02ed9789c603a5","datavalue":{"value":"recursion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100189$778035E3-5DE5-4227-ACF8-893EFB4ECE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd2f2147ae6905f0277ce5e9f60f4311da891228","datavalue":{"value":"precomplete numerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100189$11B6D43C-72CD-43D7-A6F9-8D853EDE1211","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":"Q1100189$A3E44BE1-5506-41DA-A180-46E4A5F72526","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d42109214a8833c476c12efbc275268c612882","datavalue":{"value":{"entity-type":"item","numeric-id":1879319,"id":"Q1879319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621a5e82baa9d21d663eaa3647670cb1bd45c44f","datavalue":{"value":{"amount":"+0.7463324666023254","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":"Q1100189$25D3D763-0B54-4031-9C6D-36DBE010A4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b7f2177e3470514bd81c308186108724da3ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3333024,"id":"Q3333024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae989b2a1d06f1317e26f272a41e1a07dd841c3f","datavalue":{"value":{"amount":"+0.7273152470588684","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":"Q1100189$0E4715C7-0FA8-474F-8F6C-437E26793C74","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":"fc9d3e663187fdf5deeb5816475091b794cb1a15","datavalue":{"value":{"amount":"+0.7203419208526611","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":"Q1100189$E2748DAD-A0C8-4E78-829D-99D5B8073640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5afe440b07b81f885bbbf035518c32ca61ef38b7","datavalue":{"value":{"entity-type":"item","numeric-id":912587,"id":"Q912587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048bc774abfa6c23a21b215e6dc86d18b9540568","datavalue":{"value":{"amount":"+0.7188786268234253","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":"Q1100189$9483970C-5C58-42E2-B224-16F8DB846F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f29ac738bc845f43739346145856c904feaa6b7","datavalue":{"value":{"entity-type":"item","numeric-id":3741621,"id":"Q3741621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203d5094475a9b0cf73efe1a9c1e5d920cfb3b06","datavalue":{"value":{"amount":"+0.7175150513648987","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":"Q1100189$4C67ED31-5F4F-401F-90F9-B65B8D3BE641","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatory completeness without classical equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinatory_completeness_without_classical_equality"}}}}}