{"entities":{"Q3785895":{"pageid":5815801,"ns":120,"title":"Item:Q3785895","lastrevid":52540307,"modified":"2026-01-22T22:16:51Z","type":"item","id":"Q3785895","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4048999"}},"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":"Q3785895$2E7ED61A-B2DE-4232-99C7-E323749962C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fd3e94b4d436d7ce4dc8f14ea1c6cd87af78aa8","datavalue":{"value":"0643.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785895$BF701939-E194-48F0-8D8B-A7625BA52B47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a49b6fefb133174088f8eb49059f1524f92af16","datavalue":{"value":{"entity-type":"item","numeric-id":688824,"id":"Q688824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3785895$881E8A99-B881-490D-8FB3-0DF11E0E1920","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3785895$3F07B044-EDCC-4BAE-8CD4-F9C077F6837C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785895$6B5F0585-A1DF-4A88-B4F9-3AAFA2656ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785895$10504D66-0B6A-4211-85BB-8D31F2169446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785895$237BD001-64FF-4C6D-88C5-3742E5CA409D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c41435cddf14dcf7d5b48e4614c2bac34ad621d","datavalue":{"value":"4048999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785895$54B17764-03A4-41E2-B29A-9607BF87B975","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785895$CE93B3D6-7465-40D9-9B06-4791DEE51DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785895$D8B0E465-E0BD-4309-B777-ECC5B3ACB23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7e4e0aab34b90f212668a621a76f4a248642b6","datavalue":{"value":"\\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785895$A2B0A148-CFE2-4E3B-BC72-97BD1A55B35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785895$8C7C39E4-C7AD-49B8-972E-BAFEE2CB6702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785895$C8D65F3B-5AD7-4FEA-BB82-5FDAA4709663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaaa0bb98ae24d1ec5df2ad0bd3b4e3eab9986f4","datavalue":{"value":"imperative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785895$453D122A-C74B-41CB-950E-FB3B18AA7753","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":"Q3785895$E2B00DDA-ED2B-4CF9-A24A-7DFDA4401A31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae336951bd8b77091010ee971cf0baac8f009f25","datavalue":{"value":{"entity-type":"item","numeric-id":3773318,"id":"Q3773318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"896f57d540f92b9367e27924a613c574aaec05f1","datavalue":{"value":{"amount":"+0.7003816962242126","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":"Q3785895$EABD9B51-327F-4855-B203-7ED7BB06D215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc38e2ce3f2eb8018e3b1ff5b6d70c3fd81a9f86","datavalue":{"value":{"entity-type":"item","numeric-id":5712544,"id":"Q5712544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0560fb37b17bad9db069d7edf7e901e5a71f8312","datavalue":{"value":{"amount":"+0.690000593662262","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":"Q3785895$6D30AFA7-A869-48CE-8D25-7B23DB3A1AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8eb9cf63c79859ca40cfdb6655812fd1502d503","datavalue":{"value":{"entity-type":"item","numeric-id":3297783,"id":"Q3297783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08c4552dbfbed1092a92bd335bf7a1425b848f3","datavalue":{"value":{"amount":"+0.6857853531837463","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":"Q3785895$67276507-D0CD-497D-A4AF-5891B84512E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a868b94970ae7dbc013be5b7038043599cfc5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4323410,"id":"Q4323410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3936d9dd8247f9df8c948ec4231772265686ba0","datavalue":{"value":{"amount":"+0.6852710247039795","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":"Q3785895$E377F033-92A2-44ED-858D-441D09913D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2c95fdc9d0472d2c9a137aea11bece95ccf53b","datavalue":{"value":{"entity-type":"item","numeric-id":3126757,"id":"Q3126757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cf61455e4042afe237024f1f9206499f02c707","datavalue":{"value":{"amount":"+0.6843964457511902","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":"Q3785895$77672054-F3F6-4D9D-8A26-DA8E8952BAC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3785895","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3785895"}}}}}