{"entities":{"Q1131833":{"pageid":1142582,"ns":120,"title":"Item:Q1131833","lastrevid":66876786,"modified":"2026-04-12T13:27:54Z","type":"item","id":"Q1131833","labels":{"en":{"language":"en","value":"Parameter passing in nondeterministic recursive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3651715"}},"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":"Q1131833$C25A7CD0-26A3-4D21-B4D0-C673A3541BCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3295e194a5cc4490839686fe9d815f4cdab80ecc","datavalue":{"value":{"text":"Parameter passing in nondeterministic recursive programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1131833$804381C3-2A6F-43FF-87B5-6ECBA681AAC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d36923041e8c3d99ee1f671ef4aea29633f25df","datavalue":{"value":"0418.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1131833$EF2B15F7-B02B-4C07-88AD-DAAAAC8B4BC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"675f69aec52fc1e3ae6228fa5bf3ad00cd6c6295","datavalue":{"value":"10.1016/0022-0000(79)90013-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1131833$38117773-B20D-4D8C-81F5-9D989775EC68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9007d07ab954fc61394bb80b532af63dfe5081","datavalue":{"value":{"entity-type":"item","numeric-id":595764,"id":"Q595764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$FF8AAF7D-C0EB-423C-A23C-7EEA98C1942C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$0BD48949-1736-4B2C-806D-0140CEFB44C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1131833$E2585652-7441-4D5A-8103-1FAF2DFD84E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1131833$935CD81E-75C4-4D0E-9BD5-294678307162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1131833$CD6D55B3-4A07-4932-B9E1-BB142F12967C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89bb5144223b2265ef41958174b42b64c0a6606c","datavalue":{"value":"3651715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1131833$593A806D-4EC3-415B-B6A0-83331D00D9CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dfb3a27ce8e713a3a19c7fd161107a8af15bde","datavalue":{"value":"parameter passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1131833$3AD20011-5492-4BF2-9D85-92335C26A2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43678f7d0e351507f6d2945dcd022df33c91eb34","datavalue":{"value":"nondeterministic recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1131833$6DABAF52-6A60-449A-8161-AECD7DAEB0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1131833$C9FEAE6B-AAE6-4845-8283-1AA3FE4BD7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303afe991d391f67ae0a4a00a37565afef089e83","datavalue":{"value":"least fixed point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1131833$804875B4-D828-42B6-85C1-4862C277B11D","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":"Q1131833$97A5CA96-3491-4E9E-ABD0-72E60F650B5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49b82487be83feb34aa270a800297e11b40b9fba","datavalue":{"value":"https://doi.org/10.1016/0022-0000(79)90013-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1131833$05827FB7-CE6A-4F8B-9FA1-073D8EC056F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de7ac322dfbe9add3156105ced261c516d72fbfb","datavalue":{"value":"W2025620809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1131833$002DC9EF-0315-431A-8E2F-8A81D836BEEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$9209E3C8-462E-4748-8ED1-656C0EA38420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912eef190988de0cc5af613dc27f0c7249868025","datavalue":{"value":{"entity-type":"item","numeric-id":5736455,"id":"Q5736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$23BE87C1-DA0F-4528-A67B-7C04E0072E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726054eb080cce02aeede690f7345dc64ec1af05","datavalue":{"value":{"entity-type":"item","numeric-id":1239362,"id":"Q1239362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$082BB6FE-1EBD-4970-9668-6C57DFD98277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b7535936022f5c60af89f9e74af92a70ed79f3","datavalue":{"value":{"entity-type":"item","numeric-id":3878733,"id":"Q3878733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$AD71DA7D-262F-48E3-86DC-E500E3296306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67dcc2c4572fa2102c218c9860d413453b282542","datavalue":{"value":{"entity-type":"item","numeric-id":4159365,"id":"Q4159365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$CB379ED5-909B-4B4E-89A9-36A81540FA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8716b1148a9dbe24a05ad0d0a2835c92db37f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3277720,"id":"Q3277720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$FE5BF33F-1244-4C29-AEBA-7981E27E1B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$53EFDD7E-228C-46AC-998D-0C3CC6406B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$6D5A392D-F3B4-4089-919D-493EB51B0837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef59288e8ae143f2788a20643ea25026e43834d8","datavalue":{"value":{"entity-type":"item","numeric-id":4058102,"id":"Q4058102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$BDD7E680-8BB7-4AE8-85EC-61651BD61F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1131833$9EF004F5-5172-4FA6-A7B1-09CDC5F04CFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameter passing in nondeterministic recursive programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameter_passing_in_nondeterministic_recursive_programs"}}}}}