{"entities":{"Q4193435":{"pageid":6223036,"ns":120,"title":"Item:Q4193435","lastrevid":32513338,"modified":"2024-03-19T23:04:44Z","type":"item","id":"Q4193435","labels":{"en":{"language":"en","value":"Approximate Reduction and Lambda Calculus Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3632438"}},"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":"Q4193435$87677894-0456-409E-8D04-BB76A8AF6D2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8efa89a8dd54f27b60ec93a3e6109b0c1ff54c4f","datavalue":{"value":{"text":"Approximate Reduction and Lambda Calculus Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4193435$DBC3285C-87DD-40DA-8AD2-0199641B6520","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab3847a2c01a10b87695bead711c78839065247e","datavalue":{"value":"0407.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193435$B1217C6B-ACCD-433A-B23B-51BC50B5C0E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"870ce7d8a0290184b4aa537a6b60e13a8993a49a","datavalue":{"value":"10.1137/0207028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193435$42D43EB0-1E48-404D-868B-68C31557C293","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eabea82d32d013a0b8462021cf0c8dfae37aad7","datavalue":{"value":{"entity-type":"item","numeric-id":1566884,"id":"Q1566884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4193435$1039B19D-3566-4B44-B456-DFC3637D2B8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4193435$D29E3FD9-11DD-4CB1-B253-ABDCAEBD0A03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4193435$57B7CD92-8838-4554-B833-8AC1EC44B234","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193435$2A8B1765-38B1-410B-B935-1E47135C185D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193435$6EE1D3C9-C679-4892-A62B-5DC0C9627099","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a69288f1d424d02c53d54b1ec009c499b787d748","datavalue":{"value":"3632438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193435$0662BDE1-99D6-4524-9E7F-9013CD5CD89B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"257ba32abfe9cb75d44c346d2c7359ac0ed5762d","datavalue":{"value":"Approximate Reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193435$D657C10F-034C-4DCA-9A10-CD07B0B80ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e458cd05925974b30a6bfadcbacae8f122aad7f8","datavalue":{"value":"Approximate Normal Forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193435$766E5E19-DA3A-4F7D-AD69-7AAB004948AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8c21388f0b8f1c26998acc38833ea7392f3d5d","datavalue":{"value":"Programming Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193435$9CBD7EB0-D67A-4CAC-BCDF-224658D68B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63b5f6a57a2de6b19db2d07f46f0dbf4caed6a2","datavalue":{"value":"Models of Lambda Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193435$69B6A0E4-B87F-41C4-9ACB-9F2191A4E967","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":"Q4193435$A2FF5D75-9F4B-4E7D-858B-AEE17B5C2E63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dab993983b749cef5bac50a1ea40195fff1f4c34","datavalue":{"value":"https://doi.org/10.1137/0207028","type":"string"},"datatype":"url"},"type":"statement","id":"Q4193435$B708671A-3838-4CD7-8043-ACF12388A76D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a6d3416bd7de0a0e112b9b37fcfb4fce73e73a7","datavalue":{"value":"W2022438838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193435$A3C686F8-2C45-4818-90BE-6EF4A1A705D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4193435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4193435"}}}}}