{"entities":{"Q4524793":{"pageid":6554385,"ns":120,"title":"Item:Q4524793","lastrevid":47558992,"modified":"2026-01-02T02:05:26Z","type":"item","id":"Q4524793","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1552533"}},"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":"Q4524793$47D23E6E-E8C8-4DDB-B404-562083B2271D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de92fb44046314de20c8112fa5d4e65af726a34b","datavalue":{"value":"0970.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524793$838AD7BD-38DF-4695-892E-3CA8E23E8FC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524793$A31EAF32-AA52-4947-9BE0-9E145FBA41D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"223489511b64196527b95b35561ffff391885c10","datavalue":{"value":{"entity-type":"item","numeric-id":4229810,"id":"Q4229810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524793$2E2BA2D6-377B-4776-BB4D-F6C28B57E55E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df6a2e2d83cd24c9e72d2bfe0bf7d46179db7fd5","datavalue":{"value":{"time":"+2001-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4524793$B6F97DC7-1B10-45E6-BC8F-C34D86A54074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524793$497EDCB9-8444-4980-A50A-D89B34E20136","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77f0271edb29cfdc6342c945891538dcfb8febfe","datavalue":{"value":"1552533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524793$1393DE25-A8A5-4959-AA77-9CC3AADCFC2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cb73a196f288816b2323e6b141f990d504f58c","datavalue":{"value":"higher-order rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524793$B59A9E5B-8725-4899-B5E7-915163D18324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0e161090e7afea7f72e2198c7625190793c456","datavalue":{"value":"pattern rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524793$1B92A0F2-69EB-4114-8809-DF1B7C9734AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524793$29B91D25-97EA-469D-AEF9-F9EED74D22CA","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":"Q4524793$DF9B8269-48A9-4872-9DB1-C70960129AF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf9500bdb0c351e71dae538f51dcde914dd88a5","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4245412ba849fbb0bd7b41f473067715df9d56fd","datavalue":{"value":{"amount":"+0.9035364389419556","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":"Q4524793$2136CD6A-99D7-49B9-B70C-7DF68D7D877B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237588a6fe4edd6b90ac6a947a7aeb658914a7b6","datavalue":{"value":{"entity-type":"item","numeric-id":4281481,"id":"Q4281481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81fe0821785918d511e30e09718cf1bb1386832","datavalue":{"value":{"amount":"+0.8473682403564453","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":"Q4524793$086A4C9D-A8F7-4B17-BFAB-4C06DE20038E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67d873e834f796860dab8da2a6f3b69c1a3c836d","datavalue":{"value":{"entity-type":"item","numeric-id":4249893,"id":"Q4249893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973cb6f8443e9b33241159507b1dfc9ee9dd8db3","datavalue":{"value":{"amount":"+0.8457651734352112","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":"Q4524793$04647055-34AC-439D-B693-1C1DB7EB770E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360dbedb9dd24a67268fcb921e9f350f4d5d54a2","datavalue":{"value":{"entity-type":"item","numeric-id":5055746,"id":"Q5055746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f51e1fbc9b5d083fd4f4c30f3b5f03dc39acbf8","datavalue":{"value":{"amount":"+0.8432844877243042","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":"Q4524793$EC57DC33-55E2-4FB4-879E-1E18BA8705DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18dbe47618768eb312adb549a9ce9f62147f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":5898159,"id":"Q5898159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23dbf1a4f397d2bdcd47d7ce31cafeb8031bb0ab","datavalue":{"value":{"amount":"+0.8404656648635864","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":"Q4524793$53AA968A-E5C6-423A-916B-8906216601A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4524793","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4524793"}}}}}