{"entities":{"Q4038661":{"pageid":6068379,"ns":120,"title":"Item:Q4038661","lastrevid":55251505,"modified":"2026-02-05T08:22:53Z","type":"item","id":"Q4038661","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177784"}},"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":"Q4038661$D84CC1C8-6002-4B6B-BE59-0CFBFA037432","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e7ffb700d91e9ef01d59f6600de2856577261f6","datavalue":{"value":"0765.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038661$4A85AE36-2BEE-43C3-B196-401FEED55EB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfc5486de2c266afacf34e894fbfa155f1460354","datavalue":{"value":{"entity-type":"item","numeric-id":1183554,"id":"Q1183554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038661$C36D51C7-20FB-4860-B862-81E1EF39EE65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4038661$9A85B540-B811-4C31-958E-E393C4E26124","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038661$E05A45F9-258D-49DC-AE37-09C003F75D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038661$788389D2-D8CB-4D53-B358-100B93037330","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67a27cae2993be4afd5181d5486492766a8dddce","datavalue":{"value":"177784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038661$39AF6808-5E52-446F-A3F5-1136EBD92694","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038661$5BC72C40-AE49-4B30-BAD3-8B78D5F93B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038661$C48E023F-CBF4-4BA4-ACA1-4A90045C8DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038661$D898882F-4196-4071-916F-F0FF65DC6DA0","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":"Q4038661$88703BB7-249B-4C0E-9408-FD96B702561D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4038661","badges":[]}}}}}