{"entities":{"Q3768897":{"pageid":5798803,"ns":120,"title":"Item:Q3768897","lastrevid":51866594,"modified":"2026-01-20T10:29:42Z","type":"item","id":"Q3768897","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027461"}},"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":"Q3768897$6E1ED6ED-1EAE-4650-B16F-083B3ECDA7CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1048cd5cbf0801530cbf5915f60e872a00e606a","datavalue":{"value":"0632.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768897$B39183AB-259B-475F-A813-A5DFE7631A56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e0e90be1d62f1335a9628c9fff612cad845dead","datavalue":{"value":{"entity-type":"item","numeric-id":897486,"id":"Q897486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768897$ADB191C4-857A-41A1-9536-505FAFF137C7","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":"Q3768897$25176E46-C670-47FA-B037-5FD5D03CFF37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768897$7484ADF4-FD50-4F54-A763-4162A68E0C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768897$F5487BDF-3525-44FE-9A7A-1E68AF3980DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7eeba9833d59ef3bf53044a2069d9463c31d3c6","datavalue":{"value":"4027461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768897$A1882631-465B-4030-AC5A-2F4891990397","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a97dfc4cdbefd3f57d99769e73315eb8add0b3f","datavalue":{"value":"Martin-L\u00f6f's constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768897$C453A28C-3EA5-44E2-A7E9-39B752E0BDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21482f96773c8851259e30609ebff6d6c0dfbfce","datavalue":{"value":"Plotkin's graph model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768897$60DF014C-BE9E-4DB1-8089-E6EDB29AE165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe58e1bcaa4116f16220b2c4328452c14cc920ac","datavalue":{"value":"lambda- calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768897$37898684-210E-43C6-A80F-287A02B2BB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb558832f2ed83ba725dc4f14854d41c0da4f46c","datavalue":{"value":"polymorphic typed languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768897$94434881-B363-49A0-BD6B-692FB016D2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a66ea781d3709ffb20a27b16388dc83dd87d947","datavalue":{"value":"strict closure semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768897$856A94AB-E373-4582-9A33-A731C2633BCA","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":"Q3768897$BB3C991A-2889-470B-A472-754FAD2B18FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4cc4e163d96ec665e22b90913b2f57598d1d5d","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73faa6ac151b7b0fb941d863d2c45e5b6bc82b94","datavalue":{"value":{"amount":"+0.762416422367096","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":"Q3768897$C3B7FFBE-0305-4DD2-9C0B-3CC750776E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8936e2a9e79821aa70feaac1c48a084c0b32335","datavalue":{"value":{"entity-type":"item","numeric-id":3985097,"id":"Q3985097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6bb00ac91c7781248084d24e0cdd712fc762a84","datavalue":{"value":{"amount":"+0.7623564004898071","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":"Q3768897$6D12C723-419B-47F6-8DB6-A46F393433E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3722808259257067adc4e3890595504a77d4fda1","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75674f2ec4b4d6e23725993491ca78f50ae6cb78","datavalue":{"value":{"amount":"+0.7574993968009949","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":"Q3768897$44217F5C-E6D8-4BE5-BE9B-B793E4080B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f30f07aaea45924d52c3e40f5fba1a1ad77e105","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75674f2ec4b4d6e23725993491ca78f50ae6cb78","datavalue":{"value":{"amount":"+0.7574993968009949","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":"Q3768897$5BA92157-931B-43D3-A876-29793649C50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5fd2eb7196f81280ad58ece249f9ac5f6ed863","datavalue":{"value":{"entity-type":"item","numeric-id":3754617,"id":"Q3754617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc97a0ca5628a7f6f7f8bc129308883b4a079aa","datavalue":{"value":{"amount":"+0.7565529942512512","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":"Q3768897$21988DC0-C7FC-473B-8FCD-83E714984E29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3768897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3768897"}}}}}