{"entities":{"Q6830457":{"pageid":15122629,"ns":120,"title":"Item:Q6830457","lastrevid":56027167,"modified":"2026-02-26T16:50:31Z","type":"item","id":"Q6830457","labels":{"en":{"language":"en","value":"Non-deterministic functions as non-deterministic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700626"}},"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":"Q6830457$CC4CC213-CE37-4F9F-B889-E01F9AF71B0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f5ff146c2385c041e7ca94636bc102527390642","datavalue":{"value":{"text":"Non-deterministic functions as non-deterministic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6830457$35C6A177-0AC2-42F6-A19B-0BCB183FEF0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc11c2ec60ba8417c9667031930c582cb7142a3f","datavalue":{"value":"1541.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830457$1EB48A42-A901-4B87-9F89-2906051CB904","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bdfa73c6f4162a6e5dea136f65f5338940f1dbd","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830457$DC964D7B-29DF-41A2-BFE8-6A63D8FF19CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"306930bffed1b5ccd1ec639bca9b1a6b027dde2c","datavalue":{"value":{"entity-type":"item","numeric-id":6076173,"id":"Q6076173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6830457$36E1A720-E664-49CF-9CB9-8E296F177F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780894b40753623b223e1278bb24d0df726e149","datavalue":{"value":{"entity-type":"item","numeric-id":683745,"id":"Q683745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6830457$CD095EA3-EC0C-44C4-83D1-1FBE194BC501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bf2daf37619b5f51c5968e7e6d35980ea99e46","datavalue":{"value":{"entity-type":"item","numeric-id":315278,"id":"Q315278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6830457$6AC8A125-D327-46D9-AFE6-D065660267AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6830457$047D2E03-F3B6-42C8-89E8-C53E1A6B1171","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830457$F6BB5142-4D8E-453E-9171-22765550F4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830457$A8E11FAD-3E1D-4C72-8DE9-382BA3FBE7EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"936fac20324c39dbfc021d598c1d5af730734a2b","datavalue":{"value":"7700626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830457$5629315C-10A1-4BC7-857C-114F8898BF2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b77bb859bffa917c6357817cf7fc300dc739dc1","datavalue":{"value":"resource calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6830457$BD7E1CC2-0588-44BD-B2A1-B098490224B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6830457$9D2CB4DC-78A5-4BE5-8158-2B567756F74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6830457$7A94BFA5-8040-47C3-BFF9-D96E5A8B18E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6830457$E49B390C-28E0-4253-BE8C-7460E09CAB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6830457$83FB71CE-9B12-4DC6-9B69-4AC36C49CA07","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":"Q6830457$812EDE05-7847-46C7-868D-313FCE00C9E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-deterministic functions as non-deterministic processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-deterministic_functions_as_non-deterministic_processes"}}}}}