{"entities":{"Q3525844":{"pageid":5555748,"ns":120,"title":"Item:Q3525844","lastrevid":49095550,"modified":"2026-01-06T14:23:47Z","type":"item","id":"Q3525844","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5345348"}},"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":"Q3525844$462710E6-2F54-4404-83C6-77A6B7B16579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7ef6b15e20ea596b516b59632abd794f91f4ed4","datavalue":{"value":"1144.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525844$98D4574A-9774-4F39-B176-C3EEC8905C43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525844$63BBB3A6-7F60-4B64-AE08-7635968C3C99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-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":"Q3525844$D8CE4FCD-0831-468F-AFA5-0C9510CF2C1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525844$FBD8A9D9-B81C-4C34-BB0E-99E99B1DF152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525844$59276F01-3178-47F3-9A29-C54504015185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525844$7C336FE1-6681-446B-8C3A-0416B3DED571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525844$9FF524F2-84D0-4841-A0F9-9A96C829ADE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9974537cb3a72c2b0b8a0576a9576330ea359af1","datavalue":{"value":"5345348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525844$599BFFA1-54B6-4EE7-B5A4-3DE6C444162B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525844$9A6FD7F0-D3BE-4352-A5E7-0378D0D7846A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5da0d197c46f0f302fa33274e6091d33f17a26f","datavalue":{"value":"Abramski's applicative bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525844$50E6370D-068F-44AA-839F-3BEEF1CDB8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525844$35AD47A7-BBF5-4B5E-A31F-72A4FC81EAE7","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":"Q3525844$A4617278-26BE-4BBB-A73B-90FD57DAA5DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525844"}}}}}