{"entities":{"Q736798":{"pageid":738647,"ns":120,"title":"Item:Q736798","lastrevid":42666674,"modified":"2025-07-07T20:48:09Z","type":"item","id":"Q736798","labels":{"en":{"language":"en","value":"The essence of Reynolds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609444"}},"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":"Q736798$426826DE-BBE8-4AB9-9429-EE8DD2D8BC21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6916244f838c747b7c52dce95242ca3ce95b5bb","datavalue":{"value":{"text":"The essence of Reynolds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q736798$E5574FCB-5D7D-46A7-82E5-FDCD75828FC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ee70c53f717d14a6d49778ed37698d3afed02be","datavalue":{"value":"1342.01029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736798$66C1E21D-997B-4DE7-9C4A-6EDA52E5934E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736798$B1B12FE3-4D27-4A79-B9E8-AB3AE0D598A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736798$B3365150-6715-4E08-9AE1-994F8ED84CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd8979e1a685765dc1198ac350f0841f1b80717","datavalue":{"value":{"entity-type":"item","numeric-id":265825,"id":"Q265825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736798$187897EE-AAC3-4BFD-BA9F-75596E529ACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736798$8CFF3D6D-686A-4489-8C27-9D5AF59FC7FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q736798$93A993FD-1C20-4B95-9049-6697C6864153","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736798$0DC410C7-BB93-4321-BA55-0DB7AEFB4A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736798$5C8F1A0B-BB4A-4DF6-B1FB-174AF63BAD03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b943e9acdebc77c2a381329731cc31ed13076b2f","datavalue":{"value":"6609444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736798$FF6533C6-97E1-4188-B2F5-6684B7BF6E09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ef5ba4a59e08e0aa1e9616906d7caa64f6f47b","datavalue":{"value":"polymorphic \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q736798$70DBF6CE-FD82-4F4E-8314-3A2DCCDC3AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q736798$4D0AA71D-02DD-4DC2-AA8B-223DF6B41476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q736798$11D62C1F-942F-4360-AA16-C63E9D648391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q736798$B9EE575D-ADF3-4487-8770-7265F7C3BE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5934bfe488ad6ac441a2d887e283b8ccc7bca59","datavalue":{"value":"subtypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q736798$01F39EC4-B722-4601-B72D-A2FDBF6EEA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74261be4e8c8ef6eee96e7062b95918b27cb1d7","datavalue":{"value":"defunctionalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q736798$F729393D-32B4-4B3C-B84B-9A1AC9003DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad2e8e4a33140f634477f7754297ab0570ad61d","datavalue":{"value":"substructural logic and typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q736798$9BC31974-7B62-4B77-ADD4-A6E85E13EDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f1f60cf51a9bbaa8c7535bb288b74f59430855","datavalue":{"value":"possible world semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q736798$062A5C6D-7ED1-443A-8E21-095E68F2AC81","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":"Q736798$F1361746-E597-4B6B-BFFB-54DB821CF850","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbbb36ead63d60757fdeed874bcaa66175654907","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0295-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q736798$16EDF87E-687A-46D8-9808-2D562DEFA7F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"054e407cac1ca3615decd83e381673f42df94e00","datavalue":{"value":"W1985469701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736798$F47CBDB2-6354-4C42-BC35-DE4B34912ACF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecff2f0b559c21eab8bbcf2c884a0c921a26f398","datavalue":{"value":"10.1007/S00165-014-0295-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736798$BF5FF15B-2A1C-4FC5-B89D-87168F56DBB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:736798","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:736798"}}}}}