{"entities":{"Q3204025":{"pageid":3214733,"ns":120,"title":"Item:Q3204025","lastrevid":49449706,"modified":"2026-01-07T04:31:12Z","type":"item","id":"Q3204025","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4180772"}},"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":"Q3204025$0BFCADC7-8835-47FA-B3EA-2502C676A4A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"430cee3ea70c8959809e457acd71aa10d428de73","datavalue":{"value":"0716.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204025$D94D0AAC-9B94-4994-84A6-75450E1BED7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d9747839bcddbd973b100af1b34777607177c4","datavalue":{"value":{"entity-type":"item","numeric-id":801664,"id":"Q801664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204025$02FBEF53-4AC2-42EB-915E-804393208FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204025$7AB876F2-F9F7-48E5-8C43-5D1422EC9993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204025$E585813F-3D4D-452E-ABF9-C1F0110CB8E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3204025$2FA6FBF0-C2F0-4EE4-8D9F-A5F0FE733A9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204025$96A6F30B-552E-44E2-8952-3CE9FFDE361A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204025$35CA2C13-CFB2-4BD5-88F3-215EFE12E63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204025$38950021-8C8B-46CA-8737-164100CABA07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbcfcac57b39eedd624dafe49b78825c1b4f780c","datavalue":{"value":"4180772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204025$26B97C4B-3885-4AE6-9C8C-3B7F32C750BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d90200d6275680b08dd1574737ccbef35792bd4e","datavalue":{"value":"first-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204025$7247AD86-CC4B-4DA2-B45D-F3479F693B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23668a157bc330de28433291a558fe144310c66","datavalue":{"value":"Type-check functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204025$37FFAC57-CFA0-4FA5-8543-1E7FFB752885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c414a800da09651f0185791015391a06b931415b","datavalue":{"value":"polymorphic \\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204025$B15A7F26-DB54-40C0-B51E-AAC67D4F918F","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":"Q3204025$6271C0EE-9AA9-4D88-A1C7-6B1ABB258B71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f1c24fc18247147d1212af21efe683e6efa0e0","datavalue":{"value":{"entity-type":"item","numeric-id":808713,"id":"Q808713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21292008bed55f73edc616ab78d570db349ab5c6","datavalue":{"value":{"amount":"+0.8263707160949707","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":"Q3204025$407FFD88-40ED-405F-B970-56143BDDCAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e0c9d7eb391dc19d080e6ba053dcab2f39fdaa","datavalue":{"value":{"entity-type":"item","numeric-id":3819992,"id":"Q3819992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d6bdf3463cd94a915f10d8cbf4fbabd62011a7","datavalue":{"value":{"amount":"+0.8247748613357544","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":"Q3204025$C0314E02-B0C0-4FAE-BEA1-DB69EE6B307D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345a23c3869bfafb8eed5d17b432ae196016e837","datavalue":{"value":{"entity-type":"item","numeric-id":1207950,"id":"Q1207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183234ea3072b8e9b7b96af9407db10435dc70fb","datavalue":{"value":{"amount":"+0.8004447817802429","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":"Q3204025$17389A10-44B6-48E9-9396-9B08A75CCF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d739a45496c0d9aee1201097085368a39e937648","datavalue":{"value":{"entity-type":"item","numeric-id":4016518,"id":"Q4016518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65cd244f552999d88e053cd9ec77bb047dfbef3","datavalue":{"value":{"amount":"+0.7982702255249023","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":"Q3204025$6A78E334-9DA0-4FD7-A8E4-A2ECF2B6C805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20c207fbae33f7c0feab7340c348a30fb6a9d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4035254,"id":"Q4035254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa754f68e2b68901ac51a4d8454a79c98f1c335","datavalue":{"value":{"amount":"+0.7978160977363586","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":"Q3204025$7101619E-B066-41FC-8534-95A0594A7D5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3204025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3204025"}}}}}