{"entities":{"Q6602500":{"pageid":14213657,"ns":120,"title":"Item:Q6602500","lastrevid":55748827,"modified":"2026-02-17T22:07:51Z","type":"item","id":"Q6602500","labels":{"en":{"language":"en","value":"A formalisation of Core Erlang, a concurrent actor language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7911137"}},"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":"Q6602500$688C396F-2090-4D82-BE3F-311897E74C91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a24b87a4364bf669051bec293977f52019c6544","datavalue":{"value":{"text":"A formalisation of Core Erlang, a concurrent actor language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6602500$B1795846-9FF4-4EFD-BD95-A2000FA96934","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b740dd8881beb166ac7c32c4e6dae758d77bcbcd","datavalue":{"value":{"entity-type":"item","numeric-id":6602499,"id":"Q6602499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602500$C836CBEA-593A-4A6E-8271-FDC46C0F2675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59b56adc04b62a038d6426734b5c0bfd3f33f42d","datavalue":{"value":{"entity-type":"item","numeric-id":2898830,"id":"Q2898830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602500$20DD3FC0-759D-4CFD-8EE8-89D7C52EEEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d621ae714d9ebf86952ba3492185c54e860b09a","datavalue":{"value":{"entity-type":"item","numeric-id":909442,"id":"Q909442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602500$F4A4AAA5-3C16-4F34-B95A-701A268C20A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602500$864DCD65-E2EF-4525-A29C-C65256590AA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984357184e36bd48b60e905848ca8fb15ede5c75","datavalue":{"value":{"time":"+2024-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6602500$BBE52825-14D4-4B5E-A2B7-CE383B3D38AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602500$48B9C9C4-BA2E-4CA2-B297-0F5D1528EE18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ef5b372ea4c45f253e4bcda216d21173a49f24a","datavalue":{"value":"7911137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602500$DD9A1F1D-7452-48F3-AE06-88F760658F89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602500$6AA2DB9A-A6F5-4E57-9802-3F517991DFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602500$59D9EA13-3B99-475A-B81E-EDB3EA4EC491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602500$153ACC7F-2910-4028-A6C5-19BD57912992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806afa0fa9f1814cac178f71cc9ce4ce098aa735","datavalue":{"value":"actor model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602500$E9D4416F-8FB7-4997-BD24-6C7DE7928BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602500$2494EB61-23A7-4960-9A5F-8D1EDDDE7F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602500$4C6B8A54-0429-431F-813A-E225F1526C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40119052f3f3d9c0011b2219c60ece7472002e1f","datavalue":{"value":"Erlang","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602500$9D6F6EB6-D173-4458-9097-BA890BE69F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f6c491828e40411dfbfa984a133b0e6a233b19","datavalue":{"value":"Core Erlang","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602500$DC53488A-EC36-4955-827A-B3EA6C05BE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602500$FB5A3FFB-97D3-4C1D-83E6-FBFE16EC05F6","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":"Q6602500$84F2E43D-2F1A-4D8F-9B1B-C74B1AA0644D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a08440f9cf17d3e0991de9b96f8122dce0254cf","datavalue":{"value":"10.14232/ACTACYB.298977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602500$4B38190D-47BB-43E1-A38C-78FD0DFCF824","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79778a34e3f1a8e33421ae10a25b57b7339105a","datavalue":{"value":{"entity-type":"item","numeric-id":2037429,"id":"Q2037429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f0d8e768279793afdc8a4e1fb1f9ed8a893b0a","datavalue":{"value":{"amount":"+0.8348740935325623","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":"Q6602500$1647095A-8F6C-4060-ABB0-60DFF055C637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0245c41ff55e3359cbb4e4959dbf45e9198789d","datavalue":{"value":{"entity-type":"item","numeric-id":2873779,"id":"Q2873779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a669f34fb1348aad073d42c23837f22eb8293bdb","datavalue":{"value":{"amount":"+0.7905628681182861","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":"Q6602500$DFE07724-DEB7-4EBA-95BD-C20699D19B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c6815af5bbfc8062ba53753a4d419eed15c445","datavalue":{"value":{"entity-type":"item","numeric-id":2693299,"id":"Q2693299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154d9de510a911cd9ec86f760fef7e85422b3e83","datavalue":{"value":{"amount":"+0.7783612012863159","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":"Q6602500$E73B5523-DD82-4603-96A6-0D969AFEF1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b971e51432af326f44adf1253fdf168b6a2bca","datavalue":{"value":{"entity-type":"item","numeric-id":2849558,"id":"Q2849558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c6aec93b238a99f3282ea45bdab750d6156ff2","datavalue":{"value":{"amount":"+0.7481899261474609","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":"Q6602500$0E436482-ED93-4847-A2F4-479747753C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dac353e0c073c41841b2dd96dde4bcca87104aa","datavalue":{"value":{"entity-type":"item","numeric-id":1575845,"id":"Q1575845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822ae9f68452e541b7901011574e1e0332ea6fd3","datavalue":{"value":{"amount":"+0.7227222919464111","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":"Q6602500$785E2E14-F0AB-419D-AF8D-8E15523C1409","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6602500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6602500"}}}}}