{"entities":{"Q3878733":{"pageid":5908638,"ns":120,"title":"Item:Q3878733","lastrevid":54603560,"modified":"2026-01-29T07:57:53Z","type":"item","id":"Q3878733","labels":{"en":{"language":"en","value":"The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3683029"}},"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":"Q3878733$C7C613A7-E226-413C-BC4F-C5CCFF270E92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1594b61a72d96b424fde525c0eea3c1d0d31c67c","datavalue":{"value":{"text":"The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3878733$07A696C5-A207-45BE-A71A-87EFAC8CF2CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e248380486e199a704b24b2ef9b000057055ac1b","datavalue":{"value":"0437.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878733$64508F60-3B0E-4B09-A1D8-88DCE219AC7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bd27c628477b699e3ec2261a44a13e2f86eae5e","datavalue":{"value":"10.1137/0209005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878733$A8BA4305-45D0-4A85-BF88-43AA4491184F","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":"Q3878733$D1B3210D-3DA4-4C96-87AC-E290D1A07260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3878733$151CE525-7244-4842-94FA-54B933BF20ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878733$AFE395C7-9097-41C7-9C5B-F2E2E898608C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878733$7D887F15-A39A-47D6-8FB2-BF43805FFC3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49e2f6d5b31d8a7ddc1982d0ce390f4a8f6aabf3","datavalue":{"value":"3683029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878733$325D7F4F-9C50-4CE4-989E-8200F7F56315","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878733$539FEA85-107A-41FE-AFA6-E30578A1E995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878733$CCD56AD6-721F-4D8F-95CB-EFE6CB6B890D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878733$B47DBAA5-D1E0-49C0-A926-DECABDFC0A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878733$48A9CF3B-241C-4D4C-86AC-EB819A1F2A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5950369e3296ba8752027da07ec6b3ab18326cee","datavalue":{"value":"recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878733$40FF12E2-D8C9-4168-8C3E-4E019DE031F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878733$44BD28C9-48BD-4082-A209-A81B44DBB718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"509df812bd7d6cdb3af81a6d3249971093964036","datavalue":{"value":"mathematical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878733$02B2CD27-8F9A-4A27-8051-C029696FA644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce045f1a2a7f5af80434eb89874c288fff9972ea","datavalue":{"value":"computation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878733$EB8455D7-49BF-4144-A18E-6FBF745A8F96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3878733$20122F5D-8F68-42EC-B041-0B8FBA4756AE","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":"Q3878733$458FF828-9278-4BF9-A59F-2FD5F5E62EF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9ab7c778d48afbcb77abac8affbe10866332308","datavalue":{"value":"https://doi.org/10.1137/0209005","type":"string"},"datatype":"url"},"type":"statement","id":"Q3878733$21DE0504-91D8-4937-B198-DE02967C76BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2e5f5a5d19b31b852b7a33517aa4ade169eedc3","datavalue":{"value":"W2037785443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878733$F93A561E-D0AA-42BF-B428-3D5B19D6AA2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3878733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3878733"}}}}}