{"entities":{"Q1577481":{"pageid":1588221,"ns":120,"title":"Item:Q1577481","lastrevid":72234573,"modified":"2026-04-14T03:31:28Z","type":"item","id":"Q1577481","labels":{"en":{"language":"en","value":"Safe recursion with higher types and BCK-algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501504"}},"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":"Q1577481$93B6B33D-0215-4501-905C-CD75A1577235","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbdd8a9466e90e7edc450ec4106f3ca6f8069624","datavalue":{"value":{"text":"Safe recursion with higher types and BCK-algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577481$D3083B9D-A4C7-4FD3-BA90-BBA767B7BCF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c415e22fb526624932ba88100d5eb2ab21429d20","datavalue":{"value":"0959.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577481$D8CB667B-D21A-4A12-B15B-4DDB83653EC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7484bfa31c0fcb1a895c578d27286eeca3933768","datavalue":{"value":"10.1016/S0168-0072(00)00010-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577481$21E0340A-2334-4BC9-89F0-6F645FE2F068","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$807ED185-70D6-4AF9-9F37-8430561170B9","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":"Q1577481$721AF684-24E2-454B-AD5D-26F9EB4839E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577481$146A171D-CB1F-4226-97EA-3E3DC46E301E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577481$9E3203B6-753A-45B4-9CFF-2018D02057D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577481$BED0DFB7-B12C-4A23-B884-D471FD7DA8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577481$2F30F52E-4F8C-4195-A69F-8147E788EC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577481$8BA27EAF-7830-44C1-839A-F18929C798AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577481$A3B72A85-142F-4B3D-8A0B-D5483DE896A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91989789428911304427f3d1247b928c91952d90","datavalue":{"value":"1501504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577481$DD41FAC7-2475-4310-9011-BC1AF2E04D98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05123ad33efb918a7d5607e298c729995a2cebff","datavalue":{"value":"Bellantoni-Cook's function algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577481$97A6CA86-1F6D-42E4-BD8A-19EB890350DB","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":"Q1577481$8A39A6C7-A7EC-4A74-AF8B-A8F9A81D50F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$2A54053E-6612-4F86-BD64-AA29FCC3AA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1937be61d8b5e0b9b7d996e8fbe4ac24597510ee","datavalue":{"value":{"entity-type":"item","numeric-id":4934292,"id":"Q4934292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$BC2CA242-D291-4994-AD7B-4DEF0AC200AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0909c5baebe8e5f5a9e964f05c720f232deade69","datavalue":{"value":{"entity-type":"item","numeric-id":5586401,"id":"Q5586401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$0DC70B8A-154D-4585-8639-4F9F4C79B593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"387ee51290294bfca1aa47ce45ebff34bfe7f231","datavalue":{"value":{"entity-type":"item","numeric-id":4382502,"id":"Q4382502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$6659890F-5928-4638-830E-FAA02974305E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb467bed52119c0876cb47453b6db6d9b6c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$3BD4EC8C-C3BC-43EF-911E-9F2822A99067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$37EF5929-9E3F-4B9D-94B3-8537CF2BFB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cbf1fc2616a90273e8d3db1d96fae28ad400e1","datavalue":{"value":{"entity-type":"item","numeric-id":4218937,"id":"Q4218937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$A3C766E6-782D-4364-A3A6-B697FFB6F256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e084ad9abeccfbf2211a84972bf6d0e667fa436","datavalue":{"value":{"entity-type":"item","numeric-id":4934238,"id":"Q4934238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$F4303068-E2E2-489D-8EAE-7623E0BFF89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$E8AE894A-3E76-468F-8514-748727A33DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb12e3baba400e4eba712a0627891a5f4e28a07","datavalue":{"value":{"entity-type":"item","numeric-id":3142166,"id":"Q3142166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$144D32AA-2C45-4A07-A638-4457301DDA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca67479bb278acd288bf9b6ae95d144af849c33f","datavalue":{"value":{"entity-type":"item","numeric-id":4474861,"id":"Q4474861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$F9B51319-870F-4169-84B1-03FA1276411A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$BF649EF0-E2E9-4A26-805E-B61D09E8679E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b4386780d936c0f81519e2931efa7025f3ef92","datavalue":{"value":{"entity-type":"item","numeric-id":4222777,"id":"Q4222777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$0B9D59B4-03E7-425B-B380-C3CEA6A4B679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577481$63CB00B9-D06B-481F-9EBF-0C2FBFA9F7B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c312afb58db3e4587934add2849e1edc4f215a","datavalue":{"value":{"entity-type":"item","numeric-id":4218937,"id":"Q4218937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ed9bfd75134512fbe4d6551fbbe977c2f97ae7","datavalue":{"value":{"amount":"+0.8046445250511169","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":"Q1577481$2492B8E4-646E-4DA1-AC59-35071FFEC26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65474d4e4b6e3f33d2bad3708187db1cb078cdbe","datavalue":{"value":{"entity-type":"item","numeric-id":1577477,"id":"Q1577477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09177cbfe194f059e60e18697f68834a7836cca","datavalue":{"value":{"amount":"+0.7667046785354614","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":"Q1577481$3AFAFD4C-281B-4788-B5F5-71E812E29E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3bbd71e7cfd351da60e595e1ef3fa6222ef6892","datavalue":{"value":{"entity-type":"item","numeric-id":4934238,"id":"Q4934238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd6d5790e00cd6346921aa7655f6210644f1c67","datavalue":{"value":{"amount":"+0.7541388273239136","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":"Q1577481$D3A15D5C-D5F2-41FF-B77B-5CC28A6B2FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab0e589bb87427f14a3ba48f52a7f5e48773af9","datavalue":{"value":{"entity-type":"item","numeric-id":4513587,"id":"Q4513587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74fbbf71d5cff2ab96ae8230ed979a30ffa795af","datavalue":{"value":{"amount":"+0.750029981136322","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":"Q1577481$656D5C25-F800-402C-A714-52F030601338","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safe recursion with higher types and BCK-algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safe_recursion_with_higher_types_and_BCK-algebra"}}}}}