{"entities":{"Q3787978":{"pageid":5817884,"ns":120,"title":"Item:Q3787978","lastrevid":52813715,"modified":"2026-01-23T13:43:11Z","type":"item","id":"Q3787978","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051568"}},"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":"Q3787978$6980CFCF-5A51-42B5-A564-3B4F3E272B47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbde4a0d7ce1ddb4baf79020fd4021723812698b","datavalue":{"value":"0645.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787978$88899CAB-2ECD-4790-9BFE-763DE9F99E34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787978$A7863B8F-E4C9-4D80-926D-456F07375E06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3787978$CE7DCC3D-5DE6-434C-819D-40615659D4FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"595b5c041fe0211c8b3effa56faab8e5e1ebf2d4","datavalue":{"value":"http://www.numdam.org/item?id=SB_1986-1987__29__173_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q3787978$A906FAFD-2D33-49DA-896F-28EA6A0537C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"38213bd42c509fcc670330ac35e7c6605b32125b","datavalue":{"value":"https://eudml.org/doc/110077","type":"string"},"datatype":"url"},"type":"statement","id":"Q3787978$587A92DF-7DE3-4F50-A369-E3964EF49160","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787978$E6EBAC62-5359-4672-9048-50128E4CE159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787978$587DE3CA-D4AA-44CA-94A0-08A42650CB5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8c03b9fce7d01881a4d0487abeae4c5eab7c74d","datavalue":{"value":"4051568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787978$693CBB7A-004B-4EED-941B-7EA415C2249C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c94e0e5e9635edbab684bb87e21548292f90eade","datavalue":{"value":"second-order lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787978$313C9879-259B-4800-8A1D-B0E34F448DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2fcdabc34faec2b0acf7add19f8dba3e97fa0c0","datavalue":{"value":"typed \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787978$0A30243C-2945-4889-8F6A-71211ED3F912","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":"Q3787978$3B5C7E60-6A48-4254-920D-0D8773302134","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2d0b5daa9213419ffc84806953b4e747a2b4e3","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457bfeb4397e8296aaefbfc015e6d6296a9750cf","datavalue":{"value":{"amount":"+0.8128024935722351","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":"Q3787978$C97E9F7A-AC15-423F-8327-319257A84908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfe8faeb7c5e632c37904d2120e62e56925732d","datavalue":{"value":{"entity-type":"item","numeric-id":3216628,"id":"Q3216628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf89c43efec5a1d884cdd16b4d503b04658f853","datavalue":{"value":{"amount":"+0.8114311099052429","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":"Q3787978$CBF6D25E-F76F-43FF-B1FF-AECC7F191483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ddf68208fec3d1423a51d071151463ca40b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4764610,"id":"Q4764610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b4cf50ed494d686114ce14ad3d2fb3868eb574","datavalue":{"value":{"amount":"+0.7760337591171265","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":"Q3787978$E8B6990F-334C-41B0-86CC-85E4514B3BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601b4c2de1b862cd4004936095a4ff27f5861535","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2128ef1c2cbaf75e36350e05b45ffae4a8614f8","datavalue":{"value":{"amount":"+0.7740963697433472","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":"Q3787978$69687906-6688-4B55-9498-80B6993EFDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4100a26ede17f3cee25ab86916e0babdd41f8e","datavalue":{"value":{"entity-type":"item","numeric-id":4006235,"id":"Q4006235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e4b48267ef1b930f09878ebc7dd3c47ac6f679","datavalue":{"value":{"amount":"+0.7689453363418579","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":"Q3787978$433738F5-75E9-4730-83B3-BE3FCA822EB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787978"}}}}}