{"entities":{"Q4880706":{"pageid":6910285,"ns":120,"title":"Item:Q4880706","lastrevid":46442595,"modified":"2025-12-24T19:22:18Z","type":"item","id":"Q4880706","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 891219"}},"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":"Q4880706$FF08B10D-F782-4F68-B898-73A68C9E4E43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4de599dab51b8ea5e5793054aad4561e2a15303","datavalue":{"value":"0844.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880706$C3BAC331-436C-458C-B05D-18FDFF1D629F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a9ac108536f3c309e9b3d5701fd44ae212270d9","datavalue":{"value":{"time":"+1996-06-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":"Q4880706$404059C6-7FC7-4CF1-94F9-300CCBE2606C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880706$6B3EFD40-C485-4C6A-8AE2-B533B2DDB3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880706$7E28167B-89D1-43FB-8855-D8CE4CB2D556","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ef83a52cb4ff39152ee957923fa9c72048b2db7","datavalue":{"value":"891219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880706$08D8042F-C75E-40DF-8E60-0E69A4437D2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880706$6BE2F691-E751-45CE-933E-DEBB8910D925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880706$036D96D5-3D0C-4C95-B6C0-6C0D1408BBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcb8a5b3af8770f764873d0eafebd3c934a879d","datavalue":{"value":"typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880706$E463D887-4109-4F89-9F08-3AC5FF36531F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880706$0E321354-B93A-4B41-AD41-E3ABA44D859D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880706$29462BD5-F5ED-4D70-9865-0FAF1715FCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880706$FD84CD2B-E2EC-4526-BC4F-9EA418594F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880706$1F40BACE-C433-4A0E-A356-D339C6476428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880706$7C6BF039-0E26-44E6-BF5B-8A1525230CBE","rank":"normal"},{"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":"Q4880706$EC976006-A81F-4FDB-89B1-70660AB71610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880706$3BE10D7E-0876-49F2-B8EF-BB864C7B5F4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"930ad2c9a29fb2b416d1cd3ed624b6b9cfe42908","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880706$F045E324-F909-4B95-8DB9-565FECBEDC8D","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":"Q4880706$A997A85A-643B-4B23-80B0-268AB898A741","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bc1f4262c020a297002138e11c4f957db4662a","datavalue":{"value":{"entity-type":"item","numeric-id":688729,"id":"Q688729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabecbcdf11981da5d433f8c29b5115bd179ac02","datavalue":{"value":{"amount":"+0.7834556102752686","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":"Q4880706$30C6B2C9-34D9-40B6-84FC-97C6D840BDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4395065d6ac4eb003cc90e7d38e2e174fc684cdc","datavalue":{"value":{"amount":"+0.7793689966201782","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":"Q4880706$65FB28C3-FD32-4AF2-906D-606C72ABE894","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4880706","badges":[]}}}}}