{"entities":{"Q4283231":{"pageid":6312832,"ns":120,"title":"Item:Q4283231","lastrevid":47232004,"modified":"2026-01-01T02:09:37Z","type":"item","id":"Q4283231","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 515729"}},"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":"Q4283231$B044F703-1C58-4657-83B4-E60DA5C09672","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15a5cc63aae43a76cf6158b063c90085db0bc854","datavalue":{"value":"0796.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283231$7184310C-9055-4BCD-95BE-034E62877D84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73be4ca9840fbd728ecb0cefdb65f88a9f13d68b","datavalue":{"value":{"entity-type":"item","numeric-id":361790,"id":"Q361790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283231$1E0984A9-F6EF-4654-99A1-F6A53FD177F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3348006dd4c039634399729cde3f47a728910fce","datavalue":{"value":{"entity-type":"item","numeric-id":6481522,"id":"Q6481522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283231$8BD2AD03-8988-453D-B70A-5C650CD023F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c738d73bef3f81bc2de3a0b0a93ed80833dc961a","datavalue":{"value":{"time":"+1994-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4283231$1EF5512C-D02B-447D-9F18-C34FC5BA9839","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283231$7C7D28A8-FACF-46C7-AFBC-B221225ED203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283231$38A027F8-3DE2-4AC5-918D-B1EF68059463","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64f5c35d940eb7836ef15b75cb813f34052bba34","datavalue":{"value":"515729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283231$79FB6CFA-E611-4FB5-98C6-622B3D83FE2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d916c282bad3fc4de21677159239cd8e48664288","datavalue":{"value":"recursive equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283231$38F35BC5-F64D-49C4-8EF3-003760A744D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283231$5131612C-EB2F-49CA-B21B-B0695771BC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe437af9a7b0bfbc2828cf366448c6dadb9b21b","datavalue":{"value":"functions with recursive calls","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283231$635E75E6-E9F4-443C-9611-ED5413241900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283231$BAD8A7F7-DB66-4C65-A9BB-6ED2A175E329","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":"Q4283231$C1E85041-C4CA-45D0-BB1B-0C0C4EE72F48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5f7ae112aea78562134222f9a19bd2a85e3aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4764616,"id":"Q4764616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fe11e561a756ad07bb755a2249c5b04a4081f1","datavalue":{"value":{"amount":"+0.7672181725502014","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":"Q4283231$77C1D4DC-6A1B-4633-AC53-EC2156691537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8652aabe168b05cfd243a3e3c30b22fdfa12b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4511267,"id":"Q4511267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d421f0027e17d2268efab6a1d6de9b6208834f71","datavalue":{"value":{"amount":"+0.7655787467956543","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":"Q4283231$FB26C354-F752-44E5-83D3-59141471C9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf30f9d9f708ac7faf4ca7f3a30a6355b3c3ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4265612,"id":"Q4265612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7add6c9795e471a6ac703bc6b9d629909d8202","datavalue":{"value":{"amount":"+0.7414647936820984","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":"Q4283231$B4009C92-01E6-4046-92B9-FDE18D618683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"212262fbb8f0bb6582f2227c8282019d3091622d","datavalue":{"value":{"entity-type":"item","numeric-id":1978706,"id":"Q1978706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f42222b9acadbf481e71140953f0e4d849a36c4","datavalue":{"value":{"amount":"+0.7321975827217102","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":"Q4283231$89ADAA21-D6DB-4852-B350-A752DD589CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736ab822be0a24f0f683b2110da38dad39c10ac5","datavalue":{"value":{"entity-type":"item","numeric-id":2828238,"id":"Q2828238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05af8e14681d95c43e39a515da25790ecfcd2bc","datavalue":{"value":{"amount":"+0.7147121429443359","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":"Q4283231$3E238D78-E5FC-440E-95E5-3168E0E9EF8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4283231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4283231"}}}}}