{"entities":{"Q3793765":{"pageid":5823671,"ns":120,"title":"Item:Q3793765","lastrevid":52828934,"modified":"2026-01-23T14:32:07Z","type":"item","id":"Q3793765","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058907"}},"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":"Q3793765$DC26D878-9301-49EF-9D7A-8D86E98C8DE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53d24615d6561562e0dcfaa0889b35ca9a49846b","datavalue":{"value":"0648.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793765$E568DF01-0D32-44B2-8DD4-3632070A65B6","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":"Q3793765$252F9F74-2B22-4106-BFAE-46DF167C56DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793765$F59F3CCF-3FBE-4313-99DC-7AF268A6A98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793765$10859331-E1E1-4A75-9920-EB5145D26462","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83645c5861e48441970c3558d2448c9345f4e328","datavalue":{"value":"4058907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3793765$30D52BD8-3ED2-48E8-876B-B9F5791B8A14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1582c907ea0572c08a4712ab782332cafade342","datavalue":{"value":"lambda-typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793765$AD4A1B9E-58B2-4E96-A229-87E54E0C3048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca1d3dd56a01b6e12a67c585638e14217f0f166","datavalue":{"value":"correctness of lambda trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793765$6AE7100F-D4E5-42E1-A378-E8AF8479E9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e10659ec0ab4c1636b61cba98e7ea0e00939e8","datavalue":{"value":"Automath","type":"string"},"datatype":"string"},"type":"statement","id":"Q3793765$21444DDA-7902-4758-9CBA-28D4029231AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3793765$FC213FC8-F713-449C-8706-8C942A4ADCD1","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":"Q3793765$5A8033AB-445A-43FB-9356-787A3780B527","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f12f07dfbc6376d967dfe9c5176f0772f411cbb","datavalue":{"value":{"entity-type":"item","numeric-id":6481711,"id":"Q6481711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3793765$185B8CF1-CC56-4AA3-B608-9D49F0FF17E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79f9f5dde2744a8ff68feff1bf3c92886eaf880","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba467a8b8681920fd0293d13a261f539ebeccdb6","datavalue":{"value":{"amount":"+0.8009282946586609","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":"Q3793765$2A5D7E11-B725-4119-9C9D-1D075EC0FEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f21bdba063a65cb2f18ae2cd345c7cf617a551","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1768fbcee2bb093f1bb1de38d515febd07ac73","datavalue":{"value":{"amount":"+0.7985411882400513","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":"Q3793765$42623EE6-1B5D-4B33-8E0F-BD770F4A81DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9ad9b761e90089702a113a38f2a9717e02490b2","datavalue":{"value":{"entity-type":"item","numeric-id":674399,"id":"Q674399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f13634dfbbfb51ba970d9b692c25a70730419c8d","datavalue":{"value":{"amount":"+0.7540187239646912","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":"Q3793765$449EC371-4956-4ADA-8784-C14ED4C0BD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f8ddf71b2d5cd28cd251b780e95170840ac8ba","datavalue":{"value":{"entity-type":"item","numeric-id":1408657,"id":"Q1408657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f41cc95f9bfeed21628d26b4b901091d48e0b0","datavalue":{"value":{"amount":"+0.7458419799804688","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":"Q3793765$627C44CC-5C53-4B67-B563-1E288FB98275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e8c1dceea20d5bd28a5edda639da0c349c0790","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737900849dae557c7818680d0994d9885d723510","datavalue":{"value":{"amount":"+0.743671178817749","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":"Q3793765$0C372DC3-26FB-490F-8DE8-F05C739DB1DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3793765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3793765"}}}}}