{"entities":{"Q3783516":{"pageid":5813422,"ns":120,"title":"Item:Q3783516","lastrevid":52536689,"modified":"2026-01-22T22:01:11Z","type":"item","id":"Q3783516","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047059"}},"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":"Q3783516$6F4587ED-AF7F-47E9-8128-5B4B80B81B6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a433cc60c9b4f6122620a3cbe53f4e794ae289b","datavalue":{"value":"0642.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783516$05EDDC69-20B6-4763-AEB0-13AEF8C54501","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3783516$F7F10A33-6D20-458A-AC43-F96959EC6DED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783516$ABC60AAC-62AE-4E0D-9DB2-F004C5C80778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783516$9E0676FB-2445-44A8-9883-BE860EFA3E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783516$B0EDE421-63D6-420C-89A6-610E399BACD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b29d15ccd45843cbc175065a5c53c846fd5d5647","datavalue":{"value":"4047059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783516$25EF54E8-069E-45FE-B4EA-0BD0BE8DE3AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783516$7ECD5D45-D50F-4760-BDB1-147A8530CCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783516$8D580B58-67FF-4A31-B943-9D8D35EF02FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783516$DA0E5F83-27AE-43AB-A8CB-6D1309F9EC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f0c25ac876dc905c2e468a0c4baa6985c93e46d","datavalue":{"value":"typed \\(\\lambda \\)- calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783516$FF8BB2F2-82B2-4503-BD62-1CEA82C6226E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc63158e3b5900e98ad83cfdeb445f4fa3b66d97","datavalue":{"value":"categorical combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783516$AD50CC33-5EF4-4039-8731-4FCA06E00ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783516$6473995A-E975-45AF-9215-8D8D3BBEFF00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89e75a3a2c10c891164d6bca42b3194ae9efdc95","datavalue":{"value":{"entity-type":"item","numeric-id":975530,"id":"Q975530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783516$115062E9-1E9A-4BA4-9C5F-077B1E22AC6C","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":"Q3783516$8AC2CBD1-90A4-4BAD-87BE-B541199347EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2fbfb83d3e8408fa54849faffb5f2878692a3cc","datavalue":{"value":{"entity-type":"item","numeric-id":3782744,"id":"Q3782744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f01655002805e2377b7dc4d6185e38d61e9d565","datavalue":{"value":{"amount":"+0.8219454884529114","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":"Q3783516$CD6AEE5E-7C13-46F5-8AEE-C2E66D692A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524f9716c9ea354754b7582b2fcfaa4966c88236","datavalue":{"value":{"entity-type":"item","numeric-id":3474271,"id":"Q3474271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3202f742b42cf38544b1b3d35f87f7614bacce04","datavalue":{"value":{"amount":"+0.8099638223648071","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":"Q3783516$F361C963-2121-4556-BCF8-5CABD9E783BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd61c7dca6f04275027a1d1efbc76ff2ff8e33fe","datavalue":{"value":{"entity-type":"item","numeric-id":3714049,"id":"Q3714049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce3299c937e11ca10160f8b6702de3be4aee5d72","datavalue":{"value":{"amount":"+0.7960696220397949","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":"Q3783516$76CC79A8-903D-40AB-B7F6-735EBFEB0044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daeb79aa0e1d1f8fcc034c5bd741470fdee51410","datavalue":{"value":{"entity-type":"item","numeric-id":3805878,"id":"Q3805878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bb43dec95ea451df1f40f6a7a2bf88bf2246ab","datavalue":{"value":{"amount":"+0.785291850566864","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":"Q3783516$E1BEE5A5-4C16-4E30-BB5F-0D4EC8B52422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e86a7f5cb63c7ffc1e66391f948c2be18ad344","datavalue":{"value":{"entity-type":"item","numeric-id":3801523,"id":"Q3801523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497b79c55928910b9c35bafdfe02c2968ba86ff8","datavalue":{"value":{"amount":"+0.771060585975647","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":"Q3783516$1ED208C3-16D3-44C9-8598-926B6807E43F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3783516"}}}}}