{"entities":{"Q6061875":{"pageid":13196030,"ns":120,"title":"Item:Q6061875","lastrevid":55527154,"modified":"2026-02-17T18:15:50Z","type":"item","id":"Q6061875","labels":{"en":{"language":"en","value":"A user's friendly syntax to define recursive functions as typed \u03bb-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774800"}},"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":"Q6061875$86D8F234-28E6-4237-950B-DF66EADCE2FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c18b63f7eec588732eb63f35236b879c40c3017f","datavalue":{"value":{"text":"A user's friendly syntax to define recursive functions as typed \u03bb-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6061875$2CEB13D8-1B51-4C22-A209-3FB18AC19F63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33cea11bfd3039ef109585b7fd4fd9be538489ec","datavalue":{"value":"1530.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061875$68896439-9AAD-41AB-A652-16247E084ECB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a9b46c2746691f76abc5c3af728e7ba0a2e8dda","datavalue":{"value":"10.1007/3-540-60579-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061875$7E9210E4-8D68-49A8-B17D-FC2B91CF3BEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7794179ac5635c4dcfb87684524dbc09b9cd8e30","datavalue":{"value":{"entity-type":"item","numeric-id":1346627,"id":"Q1346627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061875$12E370E7-6A3F-4168-BE69-86868B22ACC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061875$71EF5F67-B884-4853-A999-BF07870270BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6061875$8A6CE125-1B63-4549-98D1-670334A29C88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061875$487AE579-3C99-4333-BD16-12AA48FFFD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061875$F5C24CCC-C1FA-4016-AD72-9D317D798604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061875$E8594442-129F-40A7-8AFE-5A2942B9ECDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4089b6393492707f1db3aa26b5b4146295aa4bd","datavalue":{"value":"7774800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061875$DEA70568-55D4-4B70-A501-8A1FEF112DD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2444da0282f3c15bb118f9be04f6022ecaf9f9c","datavalue":{"value":"data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061875$5BB022B4-B1E8-42D5-8FF1-6DF19FA5ED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5389f846c6ee70f3ad2438379b2781469fa68ad","datavalue":{"value":"induction hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061875$3D4BF6CB-DA88-4B06-93B2-6FB5172DC634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061875$030DD7F1-3018-4EAC-B06B-4B3CE49D1BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab9f3fbeaa288fbfd489f405f06ee3c08ec3b956","datavalue":{"value":"introduction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061875$6D1B3A71-CE0E-48F5-A590-0E483C79A1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"202e5bf22041348eb136add5075f37905c16a476","datavalue":{"value":"inductive variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061875$87107FDC-1952-400C-AD6B-F89E2346EAEB","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":"Q6061875$867E112D-84CE-4EFB-A22F-1E825169FDEE","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":"Q6061875$832991D4-1E3F-4714-93A7-4BDFD84EB092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061875$24FCF656-89EB-43BC-BD7C-4FD8D8C112EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061875$F4179507-7D89-4E64-BE2E-DA12590EE4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061875$5608DE68-840C-495B-AF3F-9FF945EC2C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b67f62053c0da9e304f60e65a89efe6ab3bb050","datavalue":{"value":{"entity-type":"item","numeric-id":1346629,"id":"Q1346629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061875$0047647F-9879-4E48-9474-B8AE77BC09BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a0291d6b416afdf61c3b8456fe8639369f4a5","datavalue":{"value":{"entity-type":"item","numeric-id":1190480,"id":"Q1190480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061875$AF864F9A-8CBD-4C0D-858D-911746B0B9FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d97806b501a6680b73f96c77eb5c3ffb588d78b","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1de8fc12ed2625dab7f06d26b97909cbadb3c6","datavalue":{"value":{"amount":"+0.7586951851844788","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":"Q6061875$C0BEB385-31B4-41D8-8EB2-DE191CC791AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84d0c0513e8d7d92c4ca5d0c323570ac39f7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2757815,"id":"Q2757815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4222262ddc16782043da0b908c9fd70bd86d9f7","datavalue":{"value":{"amount":"+0.7540314793586731","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":"Q6061875$7C6C3C01-DE1A-4661-8F50-F838C3F333F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e7b04aa841b66f5fe62d00ae09530613b561e0","datavalue":{"value":{"entity-type":"item","numeric-id":3434629,"id":"Q3434629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeeb9515b42812f5b8fa2e57146af75c5056a085","datavalue":{"value":{"amount":"+0.7460600137710571","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":"Q6061875$CD5F0E74-2020-4964-B1C8-D1AF17C2789C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b400db7f0493ae4017b7b62a2ed6376ec704a0d","datavalue":{"value":{"entity-type":"item","numeric-id":1687755,"id":"Q1687755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac12be60c58cf8ca291bb50336d6d1f499e14f1b","datavalue":{"value":{"amount":"+0.7373729348182678","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":"Q6061875$62517CF8-94D9-450C-B986-F9E9AE2B53E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c440f872a09a2fe148e2f7280c7e73406360281","datavalue":{"value":{"entity-type":"item","numeric-id":2566066,"id":"Q2566066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3afbe4f97738118b9e98386968a8179e96d215d8","datavalue":{"value":{"amount":"+0.7331608533859253","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":"Q6061875$0E08D117-CB18-4BB3-82F8-248A7E5B41BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6061875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6061875"}}}}}