{"entities":{"Q3184752":{"pageid":3195460,"ns":120,"title":"Item:Q3184752","lastrevid":50792903,"modified":"2026-01-15T04:57:26Z","type":"item","id":"Q3184752","labels":{"en":{"language":"en","value":"Converting between Combinatory Reduction Systems and Big Step Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619463"}},"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":"Q3184752$104C1F71-B858-4A63-9A6E-15BD2EBEA3D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cff36baec42fd88a37942536ddbdcde7627bc830","datavalue":{"value":{"text":"Converting between Combinatory Reduction Systems and Big Step Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184752$7F2E9D36-2C04-43A0-8F4B-2AF6FD228349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"059be9877016de93ef741c04d08c4e61dcc18b3f","datavalue":{"value":"1253.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184752$F3D2BCFF-6F1F-4D80-8CC8-FF976E8854A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aedf3c6e6afeb9d510d6a08d1ebac0944af7b33","datavalue":{"value":"10.1007/978-3-642-04164-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184752$0A63174E-D274-4E66-A1F5-D60B2B0F2BC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb9b93568be1c0bebeae1e5d93b7237313ba15d","datavalue":{"value":{"entity-type":"item","numeric-id":469364,"id":"Q469364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184752$35939DD8-6C00-4ECF-870E-E4B6AF9B99F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9038323ffa8acf7be95b9ea658ac54ec4060a74c","datavalue":{"value":{"entity-type":"item","numeric-id":2392485,"id":"Q2392485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184752$8D1D57EF-8482-423C-8315-189DA41EA484","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f68de200051ddc204944a1b4a2f7383ced46a4e","datavalue":{"value":{"entity-type":"item","numeric-id":3184741,"id":"Q3184741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184752$E1D00A67-B7B6-43E6-9A47-46CD513D0372","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3184752$CC274466-972D-4D79-BA79-E0FE9A0BAB15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184752$AF852290-106A-4AE8-9BF1-13A432C38420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184752$80BA6587-9C28-4621-947B-DF1BE8B84E19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ed248325495f2b2bf081b6303dfe3321d7072ff","datavalue":{"value":"5619463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184752$1E5916DA-A48E-4574-829C-C065C31285A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33a5cb73b92771d886fcc5e7bd63326648ec7fa3","datavalue":{"value":{"entity-type":"item","numeric-id":35401,"id":"Q35401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184752$527F2588-7026-4A24-AB0A-BF9BB92E9EF9","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":"Q3184752$49E48B2F-E470-4325-95D4-666BB6D82184","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3d7c481d9ccb7c28c096a02f67ae72d0bba12bc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04164-8_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184752$56B3C45C-234E-472B-89CC-EC90D16370A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"478608fe0dec3a8c25aef801efc2b810dc98004c","datavalue":{"value":"W1583887781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184752$98CBA532-EC4F-40F1-BF6F-44169C190E15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184752$B73A0EC6-DF4E-4C48-803E-A8604AA7A828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184752$DDA0AC6E-70F0-40FB-88FA-59A1ADF4618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f718ae81c5198383ae84ab6ee4ade36eb6a1365","datavalue":{"value":{"entity-type":"item","numeric-id":4922540,"id":"Q4922540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184752$7B0E93C5-D547-4DF1-AA60-B5EB630D9295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184752$B716BA55-2FF2-4C45-AAB9-78FD629D5B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f05d370e742db25d8daf3b0874c29af265906af6","datavalue":{"value":{"entity-type":"item","numeric-id":4023578,"id":"Q4023578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184752$578E491F-2161-4D14-ACDA-FBBB63476E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2804ae255a2472c079846d22da95346d6597532","datavalue":{"value":{"entity-type":"item","numeric-id":5703990,"id":"Q5703990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184752$8D54FC45-0F62-4D61-8358-CA15BDA76AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3fbcaeb90e2237225f0fbcbddb29c893ca5fed","datavalue":{"value":{"entity-type":"item","numeric-id":1012130,"id":"Q1012130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184752$24DDC113-B24B-4A11-968A-6DA9DDFA3894","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb9403571a6dc3e95960e96e8bd313232891ec2","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257f2ad0264489bbe70420600d0cbe526a723be9","datavalue":{"value":{"amount":"+0.7691102623939514","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":"Q3184752$AA117CA7-5300-42AC-A395-9051068B74C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c463528397fd96999c11150ea4cda806549a18","datavalue":{"value":{"entity-type":"item","numeric-id":3460411,"id":"Q3460411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4676f028370fd994f720cb5c2f2028c6f8c313","datavalue":{"value":{"amount":"+0.765273928642273","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":"Q3184752$266888E7-57A4-4FC9-AC13-CEA09ED7329A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0e562696013e9e4f1b71877454f42a7fe76a55","datavalue":{"value":{"entity-type":"item","numeric-id":857913,"id":"Q857913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a606a1bba892c1543298c0b2f27ce636a408d4ea","datavalue":{"value":{"amount":"+0.7539249062538147","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":"Q3184752$C22146A2-C57A-490A-BF0D-4245C54B0898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2f17e7b41024f72a0383c39ae3e08e9cbe0d31","datavalue":{"value":{"entity-type":"item","numeric-id":5758041,"id":"Q5758041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53e98d88d83ba0f73e5ac86a12e96a0f3efb909","datavalue":{"value":{"amount":"+0.7501165866851807","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":"Q3184752$FDBC1B5B-2882-46AF-8157-0EA48D852724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee561427aa7aded16a11026a7d5dc7fd736c9a8","datavalue":{"value":{"entity-type":"item","numeric-id":2922019,"id":"Q2922019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24524a9ab0e0cbcbf488dbad6e7ad76363b691eb","datavalue":{"value":{"amount":"+0.7446210384368896","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":"Q3184752$E593F608-E3F3-420D-9723-F16C151A46A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3184752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3184752"}}}}}