{"entities":{"Q3978457":{"pageid":6008348,"ns":120,"title":"Item:Q3978457","lastrevid":81316250,"modified":"2026-05-06T18:14:24Z","type":"item","id":"Q3978457","labels":{"en":{"language":"en","value":"REGULAR SYSTEMS OF EQUATIONS IN \u03bb-CALCULUS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 12239"}},"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":"Q3978457$FEDE088F-CBE2-4DD4-90A5-DCF5708A914E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b3e1c413ca836b634a1253244ad7c312efad38d","datavalue":{"value":{"text":"REGULAR SYSTEMS OF EQUATIONS IN \u03bb-CALCULUS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3978457$9D6E7A83-8DC2-4FC9-98A8-32B384A40E26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"182f933284833ed52fa40ebe4df55ff0a2aff4cf","datavalue":{"value":"0758.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978457$B8A057EC-0588-4615-B6FD-AD123D7B6976","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f401b89f47b7053b144ab1becbbb6dfffd119592","datavalue":{"value":"10.1142/S0129054190000230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978457$C2425280-0374-4A6A-ACDD-E9832978FD55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"473a79a2fa6ee140684f220cc4a75611d743f1c6","datavalue":{"value":{"entity-type":"item","numeric-id":672043,"id":"Q672043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3978457$7E6147CB-9345-40AE-ABA7-47B8BC89D2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a357fda3647bc7bd0bed1134727ddfa0047069d","datavalue":{"value":{"entity-type":"item","numeric-id":397406,"id":"Q397406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3978457$B1E941E7-C947-490E-8AB5-BC74B7C502DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3978457$A112F464-9B8E-4B17-B52A-B1949AE90971","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3978457$20E901DD-2E69-49BD-9A1F-F617ED82CCA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978457$CA4F7E88-78B5-4C0C-9054-3E8D98760EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978457$0E979C5A-A873-45C5-BFAB-DB30C749CBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978457$8C9C542A-EC7B-4AA0-B169-1F0C0B18243F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978457$868F814F-E059-4080-AC4F-FDA86A71A0E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb3c6b6ee109ad8fccb5f0d6bca7d063f5902e70","datavalue":{"value":"12239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978457$3E002CA5-9C08-4FCB-895C-FB9194336CC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3978457$6AD933D9-AB9E-4B70-8DC0-7D4FE7E08AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746b9a324dff85503ef24dcbe46e2808c3144d77","datavalue":{"value":"combinatory equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3978457$CEEF3F0E-55A2-4720-A59D-4CEE538EFDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf4bb08843832182e7bbb29c82343a87a108b51","datavalue":{"value":"decidable class","type":"string"},"datatype":"string"},"type":"statement","id":"Q3978457$5032A01E-72B4-4565-B5BD-7A910F4BF555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3978457$AF5AF474-8604-4E0E-A649-3CB3857D55A3","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":"Q3978457$6301095B-630D-46B6-9C72-F26D319DE21A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b045d8cb724ea5c50169abaea653bb5975386127","datavalue":{"value":{"entity-type":"item","numeric-id":1350516,"id":"Q1350516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19582e154a27115d74ba7eca8aa1d73c729a2f47","datavalue":{"value":{"amount":"+0.8363091945648193","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":"Q3978457$30115A9D-44F7-493C-BF65-2E645CFDD034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d940ba90f1f135502b439fef17c3b100c2329b3","datavalue":{"value":{"entity-type":"item","numeric-id":1350518,"id":"Q1350518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511d37c62e9a87a4fed6a196ca4b45295c205ff1","datavalue":{"value":{"amount":"+0.8228562474250793","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":"Q3978457$4B474806-6A80-46BC-A8D7-46C3E04696E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26dc327d7da7284a55d40b2f6fdaba3648ae724","datavalue":{"value":{"entity-type":"item","numeric-id":752684,"id":"Q752684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4b73fdfe9dcf178f5a8973186e90dc7af292c7","datavalue":{"value":{"amount":"+0.7794344425201416","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":"Q3978457$C43DC86E-04B9-47FD-ABE2-768596D6EE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0556a8df04e94717a827b0b48acb533b060bb467","datavalue":{"value":{"entity-type":"item","numeric-id":4204131,"id":"Q4204131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b15837b1aa629cfe3105b4a80dc1128b0ad474","datavalue":{"value":{"amount":"+0.7756934762001038","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":"Q3978457$DB18B5A5-BC26-422A-9E55-14ACF21389D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0baadce94e33045e1554d8e75452c29f55a67f77","datavalue":{"value":{"entity-type":"item","numeric-id":2765372,"id":"Q2765372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160956b546fa10c3817fa2a3c6fe457d944832c4","datavalue":{"value":{"amount":"+0.7341731190681458","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":"Q3978457$D656926E-3BEA-425F-8899-77776155F0C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"REGULAR SYSTEMS OF EQUATIONS IN \u03bb-CALCULUS","badges":[]}}}}}